Open AccessProceedings Article
Logic programs with classical negation
Michael Gelfond,Vladimir Lifschitz +1 more
- pp 579-597
Reads0
Chats0
About:
This article is published in International Conference on Lightning Protection.The article was published on 1990-05-01 and is currently open access. It has received 602 citations till now. The article focuses on the topics: Negation & Predicate functor logic.read more
Citations
More filters
Book ChapterDOI
Representing defaults and negative information without negation-as-failure
TL;DR: This paper argues that negation-as-failure is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, and proposes a new logic programming approach in which negation and default inference are independent, orthogonal concepts.
Book ChapterDOI
Lindenbaum-Algebraic Semantics of Logic Programs
TL;DR: Although the authors have double negation elimination and the DeMorgan rules they do not obtain a DeMorgan algebra as the Lindenbaum algebra of a program with strong negation as one could have expected.
Formalizing Implicatures Using Extended Logic Programming
TL;DR: The main conclusion is the difference in complexity between ‘exhaustivity’ and scalarimplicatures, the latter type is harder to compute, evidence in favor of the psycholinguistic theory that (scalar) implicatures are only computed in the right context, since they require extra processing.
Book ChapterDOI
On the development of a formal methodology for knowledge representation in defeasible logic programming
TL;DR: A formal methodology for knowledge representation in DeLP is proposed, that defines a set of guidelines to be used during this phase of knowledge representation, and results in an key tool to improve DeLP's applicability to concrete domains.
Book ChapterDOI
Debate Games in Logic Programming
TL;DR: The result of this paper provides a new formulation of debate games in a non-abstract argumentation framework associated with logic programming that provides a novel application of logic programming to modelling social debates which involve argumentative reasoning, belief update and dishonest reasoning.