Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Generalized well-founded semantics for logic programs
CADE-10 Proceedings of the tenth international conference on Automated deduction
General logical databases and programs: default logic semantics and stratification
Information and Computation
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Three-valued formalizations of non-monotonic reasoning and logic programming
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Implementing semantics of disjunctive logic programs using fringes and abstract properties
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
An axiomatic approach to semantics of disjunctive programs
Proceedings of the eleventh international conference on Logic programming
Adding closed world assumptions to well-founded semantics
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Partial Evaluation and Relevance for Approximations of Stable Semantics
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
The Strong Semantics for Logic Programs
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
The Stable Semantics and its Variants: A Comparison of Recent Approaches
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Cumulativity and Rationality in Semantics of Normal Logic Programs
Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Logic
Two Simple Characterizations of Well-Founded Semantics
MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Coherence Approach to Logic Program Revision
IEEE Transactions on Knowledge and Data Engineering
Computing Stable Models: Worst-Case Performance Estimates
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
ACM Transactions on Computational Logic (TOCL)
Computing stable models: worst-case performance estimates
Theory and Practice of Logic Programming
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
Reasoning with infinite stable models
Artificial Intelligence
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Annals of Mathematics and Artificial Intelligence
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
An Implementation of Extended P-Log Using XASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Layer Supported Models of Logic Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Possibilistic Well-Founded Semantics
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Decidability under the well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Approved models for normal logic programs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
A generalization of the folding rule for the Clark-Kunen semantics
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Logic-based knowledge representation
Artificial intelligence today
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
On Semantic Update Operators for Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Logic programming, knowledge representation, and nonmonotonic reasoning
Stable model implementation of layer supported models by program transformation
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Revised stable models – a semantics for logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Predicate introduction under stable and well-founded semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Fundamenta Informaticae - Logic, Language, Information and Computation
A Possibilistic Argumentation Decision Making Framework with Default Reasoning
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
Goal-directed execution of answer set programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Fundamenta Informaticae
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A selective semantics for logic programs with preferences
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
Our aim in this article is to supplement the set of strong properties introduced in the preceding article ([Dix94]) with a set of weak principles in order to characterize semantics of logic programs. In [Dix94] we introduced our point of view: we observed that all semantics induce in a natural way a sceptical non-monotonic entailment relation SEM scept. We ask for the properties of these sceptical relations and use them to describe all possible semantics. We collect in this paper serious shortcomings of some semantics proposed recently. Their strange behaviour led us to formulate in a natural way certain principles to avoid these problems. We argue that any well-behaved semantics should satisfy these principles. The main results state that our list of weak principles is complete in the following sense: any well-behaved-semantics is an extension of the well-founded semantics WFS and coincides for stratified programs with Apt, Blair, and Walker's supported model M supp P. We also claim that two extensions of the well-founded semantics (introduced in the preceding article) are uniquely characterized by their strong and weak properties.