1083 search results - page 57 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
114
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
148
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
139
click to vote
LOPSTR
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
FM
2009
Springer
15 years 8 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...