An argumentation theoretic semantics based on non-refutable falsity
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Default theory for Well Founded Semantics with explicit negationPublished by Springer Nature ,2005
- A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIESFundamenta Informaticae, 1995
- Formalizing a logic for logic programmingAnnals of Mathematics and Artificial Intelligence, 1992
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Semantics of disjunctive logic programs and deductive databasesPublished by Springer Nature ,1991
- A database needs two kinds of negationPublished by Springer Nature ,1991