Joeri Engelfriet, Jan Treur  Home/Search
Context Related
| cs.vu.nl/~wai/Paper...JANCL00specNMR.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.vu.nl/~wai/Papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a... (Update)
Similar documents based on text: More All
2.1: Specification of Nonmonotonic Reasoning - Engelfriet, Treur (Correct)
0.6: Infinitary Default Logic for Specification of.. - Engelfriet, Marek, .. (1996) (Correct)
0.5: A Compositional Reasoning System for Executing Nonmonotonic.. - Engelfriet, Treur (1997) (Correct)
BibTeX entry: (Update)
Engelfriet, J., and J. Treur (1996a). Specification of Nonmonotonic Reasoning. Proc. International Conference on Formal and Applied Practical Reasoning, FAPR'96, Springer-Verlag, Lecture Notes in Artificial Intelligence, vol. 1085, pp. 111-125. http://citeseer.ist.psu.edu/532323.html More
@article{ engelfriet96specification,
author = "J. Engelfriet and J. Treur",
title = "Specification of Nonmonotonic Reasoning",
journal = "Lecture Notes in Computer Science",
volume = "1085",
pages = "111--??",
year = "1996",
url = "citeseer.ist.psu.edu/532323.html" }
Citations (may not include all citations):850 A Logic for Default Reasoning (context) - Reiter - 1980
105 Theoretical Foundations for Non-Monotonic Reasoning in Exper.. (context) - Gabbay - 1985
94 General Patterns in Nonmonotonic Reasoning (context) - Makinson - 1994
87 General Theory of Cumulative Inference (context) - Makinson - 1989
55 Nonmonotonic Logic (context) - Marek, Truszczynski - 1993
54 Multiagent Systems: A Theoretical Framework for Intentions (context) - Singh - 1994
44 Compositional Verification of Multi-Agent Systems in Tempora.. - Engelfriet, Jonker et al. - 1999
44 Nonmonotonic Logics: Meaning and Utility (context) - Shoham - 1987
37 Non-monotonic Temporal Reasoning (context) - Sandewall, Shoham - 1995
27 the Formal Specification and Verification of Multi-Agent Sys.. (context) - Fisher, Wooldridge - 1997
25 Nonmonotonic Reasoning, Preferential Models and Cumulative L.. - Kraus, Lehmann et al. - 1990
20 Temporal Theories of Reasoning - Engelfriet, Treur - 1995
18 Reasoning Situated in Time I: Basic Concepts (context) - Elgot-Drapkin, Perlis - 1990
15 Preference-based Semantics for Nonmonotonic Logics (context) - Voorbraak - 1993
13 Specification of Nonmonotonic Reasoning - Engelfriet, Treur - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.vu.nl/~wai/Papers/): More
Integration of Behavioural Requirements.. - Herlea, Jonker.. (Correct)
Temporal Theories of Reasoning - Engelfriet, Treur (1995) (Correct)
Deliberative Normative Agents: Principles and.. - Castelfranchi, Dignum.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC