Searching for "Reasoning About the Past." – sorted by Relevance.
66 documents found, showing 1 through 10.
Next 10 →
-
Reasoning about The Past with Two-Way Automata
- …Reasoning about The Past with Two-Way Automata Moshe Y. Vardi 1? Rice University, Department…
- Cited by 79 (10 self) – Add To MetaCart
-
Reasoning about Actions with SLG
- … reasoning about the past and counterfactual reasoning, SLG is found to terminate without floundering…
- Add To MetaCart
-
Reasoning about Actions with SLG
- … reasoning about the past and counterfactual reasoning, SLG is found to terminate without floundering…
- Add To MetaCart
-
Representing Action and Change by Logic Programs
- … to represent reasoning about the past is to treat it as fundamentally different from temporal projection…
- Cited by 341 (23 self) – Add To MetaCart
-
Temporal Reasoning with Abductive Logic Programming
- … problem with incomplete information, as well as to reasoning about the past. 1 INTRODUCTION In [11…
- Cited by 7 (5 self) – Add To MetaCart
-
Computing Change and Specificity with Equational Logic Programs
- … discuss how the approach can be extended to reasoning about the past in the context of incompletely…
- Cited by 39 (28 self) – Add To MetaCart
-
Using Dynamic Logic Programming to Model Cooperative Dialogues
- … to reason about past events and to represent non-monotonic behavior rules. The system has to represent four…
- Add To MetaCart
-
Temporal Agent Programs
- … code that can reason about the past and about the future, and that can make temporal commitments…
- Cited by 4 (2 self) – Add To MetaCart
-
Distinguishing Different Roles in Normative Reasoning
- …. In particular, it reasons about the past with incomplete knowledge (if everything is known than a diagnosis…
- Cited by 3 (3 self) – Add To MetaCart
-
Soundness and Completeness Theorems for Three Formalizations of Action
- … Introduction Most of the past work in reasoning about action has been done using nonmonotonic logics. Several…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
