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
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System
TL;DR: ERASP is described, an add-on to existing recommender systems which uses dynamic logic programming --- an extension of answer set programming --- as a means for users to specify and update their models, with the purpose of enhancing recommendations.
Artificial intelligence tools for student learning assessment in professional schools
TL;DR: This paper presents an approach to design a Diagnosis Module for a Student Assessment System, which is, in fact, a reasoner, in the sense that, presented with a new problem description (a student outline) it produces a solved problem, i.e., a diagnostic of the student learning state.
Book ChapterDOI
The Near-Horn Approach to Disjunctive Logic Programming
TL;DR: The Inheritance near-Horn Prolog (InH-Prolog) as discussed by the authors is a variant of Prolog that combines Prolog with case analysis reasoning, and it has been used to extend Prolog to disjunctive logic programs while retaining as much of the clarity and procedural simplicity as possible.
Book ChapterDOI
An Abductive Framework for Extended Logic Programming
TL;DR: This work provides a simple formulation of a framework where three main extensions of logic programming for non-monotonic reasoning are treated uniformly: Negation-by-default, explicit negation and abduction, which gives meaning to any consistent abductive logic program.
Proceedings Article
Well-founded argumentation semantics for extended logic programming.
TL;DR: The authors defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation, and sets up a general framework in which they extensively compare this semantics to Dung, and Prakken and Sartor.