4401 search results - page 32 / 881 » Computing with Default Logic |
105
click to vote
JAR
2010
14 years 4 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
AAAI
1996
14 years 11 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
ECEASST
2010
14 years 7 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
ECAI
1992
Springer
15 years 2 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
116
click to vote
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...