Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Memristors are novel devices, useful as memory at all hierarchies. These devices can also behave as logic circuits. In this paper… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 5
Highly Cited
2012
Highly Cited
2012
Reconfigurable manufacturing systems (RMSs) has emerged as an advanced system for applying Enterprise Systems (ES) in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Highly Cited
2002
Highly Cited
2002
The theory and applications of rewriting logic have been vigorously developed by researchers all over the world during the past… Expand
Highly Cited
2002
Highly Cited
2002
  • D. Pym
  • Applied logic series
  • 2002
  • Corpus ID: 117269100
List of Figures. List of Tables. Preface. Acknowledgments. Foreword. Introduction David J. Pym. Part I: Propositional BI. 1… Expand
Highly Cited
2002
Highly Cited
2002
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with… Expand
  • figure 1
Highly Cited
1990
Highly Cited
1990
• Constraint domains in which the possible values that a variable can take are restricted to a finite set. • Examples: Boolean… Expand
  • figure 4.1
  • figure 4.2
Highly Cited
1989
Highly Cited
1989
Formal reasoning about computer programs can be based directly on the semantics of the programming language, or done in a special… Expand
Highly Cited
1986
Highly Cited
1986
From the Publisher: The third edition of Peter Jackson's book, Introduction to Expert Systems, updates the technological base of… Expand
Highly Cited
1980
Highly Cited
1980
  • C. Hoare
  • On the Construction of Programs
  • 1980
  • Corpus ID: 44518465
This thesis describes tile construction and mathematical properties of a model for communicating sequential processes. We define… Expand
Highly Cited
1979
Highly Cited
1979
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference… Expand