3773 search results - page 484 / 755 » Logical Reasoning |
153
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
181
click to vote
AAAI
1994
15 years 8 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
169
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
174
click to vote
DLOG
1998
15 years 8 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
284
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...