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)
Context of citations to this paper: More
...semantics and default logic (cf. ETH 87] VOO 93] as a special case. Part of the material in this paper was previously published in [ET 96] Apart from the two levels of abstraction considered here, EHT 95] distinguishes three more levels of abstraction. Sections 2, 3...
...a general execution mechanism for this class. In this paper we studied the class of nonmonotonic reasoning processes (see also [EHT95] [ET95]) These processes can be described semantically by the reasoning traces they produce. Viewing these traces as temporal models, they can...
Cited by: More
Compositional Verification of Multi-Agent Systems - In Temporal Multi-Epistemic (Correct)
Formal Semantics of Meta-Level Architectures: Dynamic Control of.. - Treur (Correct)
Semantic Formalisation of Interactive Reasoning Functionality - Treur (2002) (Correct)
Similar documents (at the sentence level):
54.8%: Specification of Nonmonotonic Reasoning - Engelfriet, Treur (Correct)
9.0%: Executable Temporal Logic for Nonmonotonic Reasoning - Engelfriet, Treur (1996) (Correct)
8.7%: Nonmonotonic Belief State Frames and Reasoning Frames.. - Engelfriet, Herre, Treur (1995) (Correct)
Active bibliography (related documents): More All
0.6: Nonmonotonic Reasoning with Multiple Belief Sets - Engelfriet, Herre, Treur (1996) (Correct)
0.4: Analysis of Multi-Interpretable Ecological Monitoring.. - Brazier, Engelfriet, Treur (1998) (Correct)
0.2: Only Persistence Makes Nonmonotonicity Monotonous (Extended.. - Engelfriet (1996) (Correct)
Similar documents based on text: More All
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)
0.5: Linear, Branching Time and Joint Closure Semantics for.. - Engelfriet, Treur (Correct)
Related documents from co-citation: More All
7: Minimal Temporal Epistemic Logic - Engelfriet - 1996
6: A Temporal Model Theory for Default Logic - Engelfriet, Treur - 1993
6: Reasoning about Change (context) - Shoham - 1988
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
12 Minimal Temporal Epistemic Logic - Engelfriet - 1996
12 A Semantics for Default Logic (context) - Etherington - 1988
8 Rules as Actions: A Situation Calculus Semantics for Logic P.. - Lin, Reiter - 1996
6 Representation Theory for Default Logic - Marek, Treur et al. - 1997
6 Nonmonotonic Belief State Frames and Reasoning Frames - Engelfriet, Herre et al. - 1995
4 Infinitary Default Logic for Specification of Nonmonotonic R.. - Engelfriet, Marek et al. - 1996
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