A Syntax-Independent Approach ZHANG Dongmo (y,)), ZHU Zhaohui (;jl),2 and...  Home/Search
Context
Related
| uws.edu.au/~dongmo/JCST_1555.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: unsw.edu.au/~dongmo/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As an important variant of Reiter's default logic, Poole (1988) de- veloped a nonmonotonic reasoning framework in the classical first-order language. (Update)
Similar documents (at the sentence level):
29.4%: Default Reasoning and Belief Revision: A Syntax-Independent.. - Zhang, al. (Correct)
28.1%: Default Reasoning and Belief Revision: A Syntax-Independent.. - Zhang, Zhu, Chen (Correct)
Active bibliography (related documents): More All
0.8: Nonmonotonic Reasoning and Multiple Belief Revision - Zhang, Chen, Zhu, Li (Correct)
0.3: Toward a Logic for Qualitative Decision Theory - Boutilier (1992) (Correct)
0.3: Representation Theorems for Multiple Belief Changes - Zhang, Chen, Zhu, Chen (1997) (Correct)
Similar documents based on text: More All
0.5: Mining Typhoon Knowledge with Neural Networks - Zhou, Chen, Chen (1999) (Correct)
0.4: An Argument-Based Approach to Reasoning with Specificity - Dung, Son (2001) (Correct)
0.3: Ensembling Neural Networks: Many Could Be Better Than All - Zhou, Wu, Tang (2002) (Correct)
BibTeX entry: (Update)
@misc{ zhang-vol,
author = "Syntax-Independent Approach Zhang",
title = "Vol.15 No.5 J. Cornput. Sci. Technol. Sept. 2000 Default Reasoning and
Belief Revision:",
url = "citeseer.ist.psu.edu/594711.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
253 A logical framework for default reasoning (context) - Poole - 1988 ACM DBLP
149 the logic of theory change: Partial meet contraction and rev.. (context) - Alchourr, Peter et al. - 1985
117 Preferred subtheories: An extended logical framework for def.. (context) - Brewka - 1989 DBLP
72 Belief revision and default reasoning: Syntax-based approach.. - Nebel - 1991
48 Syntax based approaches to belief revision - Nebel - 1992
30 A unified view of propositional knowledge base updates (context) - Katsuno, Mendelzon - 1989
24 Nonmonotonic inference based on expectations - Girdenfors, Makinson - 1994 ACM DBLP
18 Defaults and revision in structured theories - Ryan - 1991
17 Belief revision in a framework for default reasoning (context) - Brewka - 1991
11 Belief revision by sets of sentences (context) - Dongmo - 1996
7 Nonmonotonic reasoning and multiple belief revi- sion - Dongmo, Shifu et al.
4 A unified approach to default reasoning and belief revision (context) - Cravo, Martins - 1993 ACM DBLP
3 Representational theorems for multiple belief changes (context) - Dongmo, Shifu et al. - 1997
3 Unifying default reasoning and belief revision in a modal fr.. (context) - Boutilier - 1994 ACM DBLP
Documents on the same site (http://www.cse.unsw.edu.au/~dongmo/): More
Default Reasoning and Belief Revision: A Syntax-Independent.. - Zhang, al. (Correct)
Reasoning with Extra Frame Axioms and Qualification Axioms.. - Foo, Zhang (Correct)
Extended Propositional Dynamic Logic for Reasoning about.. - Zhang, Foo (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