Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,147,094 papers from all fields of science
Search
Sign In
Create Free Account
Computational logic
Known as:
Logical computation
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
ACM Transactions on Computational Logic
Action model learning
Artur d'Avila Garcez
Computation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Towards a Framework for Policy-Oriented Enterprise Management
M. Kaiser
,
Jens Lemcke
AAAI Spring Symposium: AI Meets Business Rules…
2008
Corpus ID: 2105073
Service-oriented architectures have brought significant progress for more flexible realization of business processes integrating…
Expand
2007
2007
Lossless Data Hiding of Color Images Using Pixel Decomposition and Phase Difference
Chang-Lung Tsai
,
Kuo-Chin Fan
,
Thomas C. Chuang
,
Char-Dir Chung
Journal of information science and engineering
2007
Corpus ID: 16106968
Recently, the use of data hiding in hiding annotations, confidential data, or side information into multimedia attracts the…
Expand
2006
2006
The Characterisation and Role of Mighty during Myogenesis
Todd R. Davies
2006
Corpus ID: 86010671
............................................................................................................... i…
Expand
2005
2005
Protocol Specification and Verification by Using Computational Logic
F. Chesani
,
A. Ciampolini
,
+4 authors
S. Storari
Workshop From Objects to Agents
2005
Corpus ID: 1018033
The aim of this paper is to report on some prelim- inary results obtained in the context of the MASSIVE research project (http…
Expand
2004
2004
The CIFF Proof Procedure: Definition and Soundness Results
U. Endriss
,
P. Mancarella
,
F. Sadri
,
G. Terreni
,
Francesca Toni
2004
Corpus ID: 16503442
We introduce a new proof procedure for abductive logic programming and prove two soundness results. Our procedure extends that of…
Expand
2004
2004
CMPT 880 - Computational Logic Linear-time vs. Branching-time Logics
M. Memon
2004
Corpus ID: 16646131
The relative merits of the linear-time temporal logics versus branching-time temporal logics have been discussed for the past 25…
Expand
2003
2003
A Proposal of Diagnosis for an ITS for Computational Logic
J. A. Maestro
,
María Aránzazu Simón Hurtado
,
Mario López
,
A. Martínez-Monés
,
C. Alonso
Conferencia de la Asociación Española para la…
2003
Corpus ID: 45732268
We describe in this paper an ITS called SIAL that supports the learning of problem solving skills in computational logic from…
Expand
1997
1997
An Actor-Based Framework for Real-Time Coordination
Shangping Ren
1997
Corpus ID: 57470498
Programming language research should be driven by the needs of specific application domains, such as real-time embedded systems…
Expand
1993
1993
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
A. Zanardo
,
J. Carmo
Journal of Logic and Computation
1993
Corpus ID: 28719111
The framework underlying CTL* is extended in order to include past operators Recent developments in areas related to concurrent…
Expand
1991
1991
Verifiable Computer Security and Hardware: Issues
W. Young
1991
Corpus ID: 26684371
This report explores the influences of hardware on verifiable secure system design and envisions a mutually beneficial…
Expand