3446 search results - page 17 / 690 » A Reasoning Algorithm for pD* |
AAAI
1994
15 years 2 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
106
click to vote
JCIT
2007
15 years 1 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
The main purpose of this work is to explore the application of Memory Based Reasoning (MBR) to adaptive behavior in agents. We discuss the design of an interface agent for e-mail m...
DLOG
2006
15 years 2 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
