Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,115,639 papers from all fields of science
Search
Sign In
Create Free Account
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic (TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Computational logic
Logic in computer science
Symposium on Logic in Computer Science
Vladimir Lifschitz
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya
,
Patricia Johann
arXiv.org
2015
Corpus ID: 18108315
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…
Expand
2010
2010
Extending OWL with Integrity Constraints
Jiao Tao
,
E. Sirin
,
J. Bao
,
D. McGuinness
Description Logics
2010
Corpus ID: 9621977
Since m1 and m2 are not explicitly defined to be different from each other, they will be inferred to be same due to the…
Expand
2009
2009
On the complexity of identifying head-elementary-set-free programs
Fabio Fassetti
,
L. Palopoli
Theory and Practice of Logic Programming
2009
Corpus ID: 10069360
Abstract Head-elementary-set-free (HEF) programs were proposed in (Gebser et al. 2007) and shown to generalize over head-cycle…
Expand
2009
2009
Collective vs Independent Classification in Statistical Relational Learning
Amit Dhurandhar
2009
Corpus ID: 15443795
Statistical Relational Learning (SRL) addresses the problem of performing probabilistic inference on data instances that are…
Expand
2008
2008
A Sound and Complete Algorithm for Simple Conceptual Logic Programs
C. Feier
,
S. Heymans
2008
Corpus ID: 14705579
Open Answer Set Programming (OASP) is a knowledge representation paradigm that allows for a tight integration of Logic…
Expand
2008
2008
Preloading policies for the Virtual Computing Lab
Keerthana Boloor Ece
,
N. C. State
,
Aaron Peeler
,
Josh Thompson
,
Y. Viniotis
2008
Corpus ID: 14419363
In the Virtual Computing Laboratory (VCL) users request a computing resource (e.g., a blade) and customized software (an “image…
Expand
Review
2007
Review
2007
Application of Identity-Based Cryptography in Mobile Ad Hoc Networks
Shushan Zhao
2007
Corpus ID: 16870254
This is a survey on application of Identity-Based Cryptography in mobile ad hoc networks. In this survey, we review all papers…
Expand
2007
2007
General default logic
Yi Zhou
,
Fangzhen Lin
,
Yan Zhang
Annals of Mathematics and Artificial Intelligence
2007
Corpus ID: 2418655
In this paper, we propose a new nonmonotonic logic called general default logic. On the one hand, it generalizes Reiter’s default…
Expand
2005
2005
Infinitary Rewriting: From Syntax to Semantics
R. Kennaway
,
P. Severi
,
R. Sleep
,
F. D. Vries
Processes, Terms and Cycles
2005
Corpus ID: 7166000
Rewriting is the repeated transformation of a structured object according to a set of rules. This simple concept has turned out…
Expand
2001
2001
Editorial: ACM Transactions on computational logic
K. Apt
,
A. Kakas
,
F. Sadri
2001
Corpus ID: 60581411
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE