Krishnaprasad Thirunarayan, Michael Kifer  Home/Search
Context Related
| sunysb.edu/pub/TechRep...inheritance.ps wright.edu/people/faculty/t...aij.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: sunysb.edu/~kifer/papers (more) From: wright.edu/people/facul...default (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a logical language for representing networks with nonmonotonic multiple inheritance. The language is based on a variant of annotated logic studied in [5, 6, 17, 18, 19, 20, 21]. The use of annotated logic provides a rich setting that allows to disambiguate networks whose topology does not provide enough information to decide how properties are to be inherited. The proposed formalism handles inheritance via strict as well as defeasible links. We provide a formal account of the... (Update)
Context of citations to this paper: More
...information than property p are similar. However, observe that the preferential networks cannot represent complementary inheritance [22] . 2.3.2 Minimal Models We may select preferred models, by capturing the idea of minimality, by replacing if with iff in (1) and (2) Note...
...but, rather, just one of two possibilities. Nonmonotonic inheritance has been a subject of intensive research (e.g. [41, 100, 101, 50, 25, 99, 65, 45, 64, 88]) for many years. The main difference between our approach and the above works is that we are developing an inheritance...
Cited by: More
A Non-monotonic ATMS Based on Annotated Logic Programs with.. - Kazumi Nakamatsu (Correct)
Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (Correct)
Local Theories of Inheritance - Thirunarayan (Correct)
Active bibliography (related documents): More All
1.6: Clarifying Mixed Bipolar Multiple Inheritance with Exceptions - Eklund (Correct)
0.8: Reasoning With Exceptions: An Inheritance Based Approach - Al-Asady (1993) (Correct)
0.3: A Semantical Framework for Supporting Subjective and.. - Ng, Subrahmanian (1991) (Correct)
Similar documents based on text: More All
0.2: Toward a Comprehensive Supplement for Language Courses - Krishnaprasad Thirunarayan .. (Correct)
0.2: Switching between Reasoning and Search - Gibbon, Aisbett (Correct)
0.1: Simulating multiple inheritance and generics in Java - Thirunarayan, Kniesel.. (2001) (Correct)
Related documents from co-citation: More All
2: Foundations of Logic Programming (context) - Lloyd - 1987
2: On inheritance hierarchies with exceptions (context) - Etherington, Reiter - 1983
2: the declarative semantics of inheritance networks (context) - Krishnaprasad, Kifer et al. - 1989
BibTeX entry: (Update)
K. Thirunarayan and M. Kifer, A theory of nonmonotonic inheritance based on annotated logic, Artificial Intelligence, 60, 23-50 (1993). http://citeseer.ist.psu.edu/thirunarayan92theory.html More
@article{ thirunarayan93theory,
author = "Krishnaprasad Thirunarayan and Michael Kifer",
title = "A Theory of Nonmonotonic Inheritance Based on Annotated Logic",
journal = "Artificial Intelligence",
volume = "60",
number = "1",
pages = "23-50",
year = "1993",
url = "citeseer.ist.psu.edu/thirunarayan92theory.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1987
379 The complexity of relational query languages (context) - Vardi - 1982
312 The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1988
253 A logical framework for default reasoning (context) - Poole - 1988
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
183 A useful four-valued logic (context) - Belnap - 1977
134 Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
120 Bilattices and the semantics of logic programming - Fitting - 1991
107 The Mathematics of Inheritance Systems (context) - Touretzky - 1986
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1987
99 Multi-valued logics: A Uniform Approach to Reasoning in Arti.. (context) - Ginsberg - 1988
74 A skeptical theory of inheritance in nonmonotonic semantic n.. (context) - Horty, Thomason et al. - 1987
73 A clash of intuitions: the current state of nonmonotonic mul.. (context) - Touretzky, Horty et al. - 1987
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992
52 the Declarative Semantics of Logic Programs with Negation (context) - Lifschitz - 1988
46 An approach to default reasoning based on a first-order cond.. (context) - Delgrande - 1988
46 On inheritance hierarchies with exceptions (context) - Etherington, Reiter - 1983
40 the semantics of Rule based expert systems with uncertaintie.. (context) - Kifer, Li - 1988
30 How a computer should think (context) - Belnap - 1977
22 The tractability of path-based inheritance (context) - Selman, Levesque - 1989
22 RI: A logic for reasoning with inconsistency (context) - Kifer, Lozinskii - 1989
18 Default reasoning in semantic networks : a formalization of .. (context) - Shastri - 1989
17 Mixing strict and defeasible inheritance (context) - Horty, Thomason et al. - 1988
15 Skeptical inheritance: Computing the intersection of credulo.. (context) - Stein - 1989
14 Modeling Class hierarchies with contradictions (context) - Borgida - 1988
13 A framework for reasoning with defaults (context) - Geffner, Pearl - 1988
11 the expressive power of annotated logic programs (context) - Kifer, Subrahmanian - 1989
10 A calculus for inheritance in monotonic semantic nets (context) - Thomason, Horty et al. - 1987
9 but semantically well-founded (context) - Bacchus, modest - 1989
9 An evidence-based framework for a theory of inheritance (context) - Krishnaprasad, Kifer - 1989
9 the declarative semantics of inheritance networks (context) - Krishnaprasad, Kifer et al. - 1989
8 Logics for inheritance theory (context) - Thomason, Horty - 1989
7 Tractable theories of multiple defeasible inheritance in ord.. (context) - Haugh - 1988
5 Negative reasoning using inheritance (context) - Padgham - 1989
4 A model and representation for type information and its use .. (context) - Padgham - 1988
3 the circumscriptive semantics of inheritance networks (context) - Krishnaprasad, Kifer et al. - 1989
2 The Semantics of Inheritance Networks (context) - Krishnaprasad - 1989
2 Inheritance hierarchies and autoepistemic logic (context) - Przymusinska, Gelfond - 1989
1 Locality in Inheritance Networks (context) - Thirunarayan - 1991
1 A local formalization of inheritance (context) - Ginsberg - 1988
Documents on the same site (http://www.cs.sunysb.edu/~kifer/papers.html): More
Theory of Generalized Annotated Logic Programming and its.. - Kifer, Subrahmanian (1992) (Correct)
On the Decidability and Axiomatization of Query Finiteness in.. - Kifer (1998) (Correct)
A First-Order Theory of Types and Polymorphism in Logic.. - Kifer, Wu (1990) (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