scispace - formally typeset
Open AccessProceedings Article

Logic programs with classical negation

Michael Gelfond, +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
Proceedings Article

Packing graphs with ASP for landscape simulation

Thomas Guyet, +3 more
TL;DR: This paper describes an application of Answer Set Programming to crop allocation for generating realistic landscapes with particular attention to the treatment of symmetries, especially due to sub-graph isomorphism issues.

Preferences using Answer Sets.

Mauricio Osorio, +1 more
TL;DR: The semantics for preference logic programs are introduced in terms of preference rules and Answer Set Programming is used as the formalism to develop the work.
Journal Article

Construction of belief sets for logic programs and default theories

Jia-Huai You, +2 more
- 01 Jan 1994 - 
TL;DR: A unified approach to the construction of belief sets for logic programs with the classical connective of negation, disjunctive logic programs, and what the authors call arbitrary logic programs that contain an arbitrary formula in the head and arbitrary formulas in the premises of a program rule is presented.
Posted ContentDOI

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Dov M. Gabbay, +2 more
- 16 Jan 2014 - 
TL;DR: In this paper, the authors study the interpolation property of the non-monotonic system of equilibrium logic, and establish weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation.

Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas

Pablo Rubén Fillottrani, +1 more
TL;DR: In this article, a caracterización of the semantica de conjuntos de respuestas for programas logicos extendidos is presented, based on the interpretación de sistemas de razonamiento no monotono tri valuados.