W. Rounds, G. Q. Zhang  Home/Search
Context Related
Links: DBLP | uky.edu/cs/lpnmr/d...defaultlogic.ps.gz umich.edu/people/r...maindefault.ps.gz uga.edu/~gqz/paper...defaultlogic.ps.gz 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: uky.edu/~lpnmr/papers (more) From: uga.edu/~gqz/research (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferred partial models. Using domain-theoretical notions, we improve the standard definition of extensions in default ... (Update)
Context of citations to this paper: More
.... et al. 1991] computational linguistics [Pereira and Shieber, 1984, Pollard and Moshier, 1990] artificial intelligence [Rounds and Zhang, 1994]; fractal image generation [Edalat, 1993b] and foundations of analysis [Edalat, 1993a] Finally, the central importance of...
...y) Upsilon z: Proof. The original proofs for these, in terms of information systems (a representation of Scott domains) are given in [23]. For completeness, we give the proof of the existence of extensions, exactly like the proof of Reiter, but generalized to domains. We...
Cited by: More
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
Nonmonotonity in Linguistics - Is Ti Cs (Correct)
A Critical Reexamination of Default Logic, Autoepistemic Logic.. - Halpern (Correct)
Active bibliography (related documents): More All
0.4: Logical Considerations On Default Semantics - Rounds, Zhang (1994) (Correct)
0.4: Defaults in Domain Theory - Guo-Qiang Zhang (Correct)
0.3: A Modal Logic for Reasoning about Belief - Zhang, Huang, Rounds (Correct)
Similar documents based on text: More All
0.1: Clausal Logic and Logic Programming in Coherent Domains - Rounds, Zhang (Correct)
0.1: Experimenting with Power Default Reasoning - Klavins, Rounds, Zhang (1998) (Correct)
0.1: Periodic Functions for Finite Semigroups - Guo-Qiang Zhang (1998) (Correct)
Related documents from co-citation: More All
8: Domains for denotational semantics (context) - Scott - 1982
7: A Logic for Default Reasoning (context) - Reiter - 1980
6: Information and Computation (context) - Hrbacek - 1987
BibTeX entry: (Update)
William Rounds and Guo-Qiang Zhang. Domain theory meets default logic. Logic and Computation, 5:1--25, 1995. http://citeseer.ist.psu.edu/rounds95domain.html More
@article{ rounds95domain,
author = "William C. Rounds and Guo-Qiang Zhang",
title = "Domain Theory Meets Default Logic",
journal = "Journal of Logic and Computation",
volume = "5",
number = "1",
pages = "1-25",
year = "1995",
url = "citeseer.ist.psu.edu/rounds95domain.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
214 Domains for denotational semantics (context) - Scott - 1982 ACM DBLP
146 Introduction to logic programming (context) - Apt - 1988 ACM DBLP
87 General theory of cumulative inference (context) - Makinson - 1989 ACM DBLP
82 Reasoning with incomplete information (context) - Etherington - 1988 ACM
64 On interacting defaults (context) - Reiter, Criscuolo - 1981 ACM
46 Relations between the logic of theory change and non-monoton.. (context) - Makinson, Gardenfors - 1991
45 Cumulative default logic: In defense of nonmonotonic inferen.. (context) - Brewka - 1991 ACM DBLP
41 Using information systems to solve recursive domain equation.. (context) - Larsen, Winskel - 1984 DBLP
27 Center for Study of Language and Information (context) - Barwise, in - 1989
21 Default logic revisited (context) - Delgrande, Jackson - 1991 DBLP
17 and cumulative logics (context) - Kraus, Lehmann et al. - 1990
14 A theory of nonmonotonic rule systems - Marek, Nerode et al. - 1990 DBLP
10 Logic of Domains (context) - Zhang - 1991 ACM
7 Considerations on default logic (context) - Lukaszewicz - 1988 DBLP
4 Modal logics for default domains (context) - Rounds, Zhang
1 Applications of default domain logics (context) - Rounds, Young et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.engr.uky.edu/~lpnmr/papers.html): More
Logic Programs as Definitions: a framework for and an.. - Denecker, De Schreye (Correct)
How to Progress a Database (and Why) I. Logical Foundations - Fangzhen Lin (1994) (Correct)
Solving the Steamroller, and Other Puzzles, with Extended.. - Wagner (1994) (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