Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,444 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.
2013
2013
Category Theory Foundation For Engineering Modelling
Algos Associates
,
W. C. Street
2013
Corpus ID: 48624368
Category theory provides a formal foundation for engineering modelling, as well as, mathematics and science. Both structure and…
Expand
2012
2012
Generalized Decision Diagrams: The game is not over yet!
Adnan Darwiche
European Conference on Artificial Intelligence
2012
Corpus ID: 27304804
Decision diagrams have played an influential role in computer science and AI over the past few decades, with OBDDs (Ordered…
Expand
2011
2011
Throughput Optimization by Software Pipelining of Conditional Reservation Tables
T. Carle
,
D. Potop-Butucaru
2011
Corpus ID: 12477864
In the world of embedded real-time applications, the optimization of schedules has been since long a major concern. Indeed such…
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
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
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