Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
ACM Transactions on Computational LogicAction model learningArtur d'Avila GarcezComputation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Predicting and allocating bandwidth in the optical access architecture XG-PON
2011
2011
Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem
Unbreakable encryption is theoretically possible but perfect operation is difficult. It is expected that DNA-based cryptography… 
2006
2006
Finding Polynomial Invariants for Imperative Loops in the Theorema System
We present an algorithm for finding valid polynomial relations (i. e. invariants) among program variables for imperative loops… 
2004
2004
Reversible and lossless data hiding with application in digital library
Recently, the development of data hiding techniques to hide annotations, confidential data, or side information into multimedia… 
1997
1997
An Actor-Based Framework for Real-Time Coordination
Programming language research should be driven by the needs of specific application domains, such as real-time embedded systems… 
1995
1995
A Ramsey theorem in Boyer-Moore logic
We use the Boyer-Moore Prover, Nqthm, to verify the Paris-Harrington version of Ramsey's theorem. The proof we verify is a… 
1994
1994
Deriving Partial Correctness Logics From Evolving Algebras
This extended abstract gives an introduction into the development of partial correctness logics for programming languages speci… 
1993
1993
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
The framework underlying CTL* is extended in order to include past operators Recent developments in areas related to concurrent… 
Review
1985
Review
1985
Tutorial on the Warren abstract machine for computational logic
Tutorial description of the Warren machine with a basic introduction to the motivation of the machine and the instructions that… 
1974
1974
Introducing AHPL
AHPL (A Hardware-Programming language) is a hardware description language based on the notational conventions of APL. AHPL makes… 
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)