Anastasia Analyti, Sakti Pramanik  Home/Search
Context
Related
| ics.forth.gr/~analyti/ISMIS.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: ics.forth.gr/~anal...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A complex reasoning system can be designed as an interaction between reasoning modules. A module consists of a declaration of exported/imported predicates and a set of rules containing both negation by default and classical negation. A prioritized modular logic program (PMP) consists of a set of modules and a partial order < on the predicate definitions (M, p), where M is a module and p is a predicate exported by M. Because of the classical negation, conflicts may arise within and among... (Update)
Active bibliography (related documents): More All
1.4: Semantics for Reasoning with Contradictory Extended Logic.. - Analyti, Pramanik (1994) (Correct)
0.9: Reliable Semantics for Extended Logic Programs with Rule.. - Analyti, Pramanik (2004) (Correct)
0.1: On the Declarative and Procedural Semantics of Deductive.. - Dobbie, Topor (1995) (Correct)
Similar documents based on text: More All
0.2: The ND-Tree: A Dynamic Indexing Technique for.. - Qian, Zhu, Xue, Pramanik (2003) (Correct)
0.2: Inferring Relatedness of a Macromolecule to a Sequence Database.. - Jin Kim (1996) (Correct)
0.2: Querying Contextualized Information Bases - Theodorakis, Analyti.. (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ analyti94declarative,
author = "Anastasia Analyti and Sakti Pramanik",
title = "Declarative Semantics for Contradictory Modular Logic Programs",
booktitle = "International Syposium on Methodologies for Intelligent Systems",
pages = "245-254",
year = "1994",
url = "citeseer.ist.psu.edu/696039.html" }
Citations (may not include all citations):858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
234 The Well-Founded Semantics for General Logic Programs - van Gelder, Ross et al. - 1991
125 Well-Founded Semantics Coincides with the Three-Valued Stabl.. - Przymusinski - 1990
110 Well-founded Semantics for Logic Programs with Explicit Nega.. (context) - Pereira, Alferes - 1992
64 Amalgamating Knowledge Bases (context) - Subrahmanian - 1994
46 Nonmonotonic Reasoning with Logic Programming - Pereira, Aparicio et al. - 1993
39 DATMS: A Framework for Distributed Assumption Based Reasonin.. (context) - Mason, Johnson - 1989
36 Contributions to the Semantics of Open Logic Programs (context) - Bossi, Gabbrielli et al. - 1992
20 Semantics of Inheritance in Logical Object Specifications - Brass, Lipeck - 1991
19 Reasoning with Inconsistency in Extended Deductive Databases (context) - Wagner - 1993
11 Assumption-free Semantics for Ordered Logic Programs: On the.. (context) - Laenens, Vermeir - 1992
3 An Argumentation Semantics for Logic Programs with Explicit .. (context) - Dung - 1993
3 Expanding Logic Programs (context) - Witteveen - 1992
2 Credulous vs. Sceptical Semantics for Ordered Logic Programs (context) - Gabbay, Laenens et al. - 1991
Documents on the same site (http://www.ics.forth.gr/~analyti/publications.html): More
Semantics for Reasoning with Contradictory Extended Logic.. - Analyti, Pramanik (1994) (Correct)
Multimedia Object Modelling and Content-Based Querying - Analyti, Christodoulakis (1995) (Correct)
Reliable Semantics for Extended Logic Programs with Rule.. - Analyti, Pramanik (2004) (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