2152 search results - page 36 / 431 » On Automating the Calculus of Relations |
101
Voted
AI
2010
Springer
15 years 21 days ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
107
click to vote
CADE
2007
Springer
16 years 26 days ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
102
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
104
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
125
Voted
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...