• Publications
  • Influence
Dynamic Logic Programming
TLDR
This paper introduces the notion of an update P U of a logic program P by another logic program U and provides a precise semantic characterization of P U and study some ba sic properties of program updates. Expand
Reasoning with Logic Programming
TLDR
WFSX is a new semantics for extended logic programs that combines LP semantics with two negations, and autoepistemic logics to deal with contradiction. Expand
Dynamic updates of non-monotonic knowledge bases
TLDR
This paper introduces the paradigm of dynamic logic programming by introducing the notion of an update P U of one logic program P by another logic program U, and provides a precise semantic characterization of P U , and studies some basic properties of program updates. Expand
On Indicative Conditionals
TLDR
This paper presents a new approach to evaluate indicative conditionals with respect to some background information specified by a logic program and outlines an experiment to better understand how humans handle those cases. Expand
LUPS - A Language for Updating Logic Programs
TLDR
This paper defines a language designed for specifying changes to logic programs (LUPS - "Language for dynamic updates"), and provides a translation of the sequence of update statements sets into a single generalized logic program written in a meta-language, so that the stable models of the resulting program correspond to the previously defined declarative semantics. Expand
Prolog - the language and its implementation compared with Lisp
TLDR
It is argued that pattern matching is a better method for expressing operations on structured data than conventional selectors and constructors - both for the user and for the implementor. Expand
Programming Machine Ethics
Evolving Logic Programs
TLDR
This paper describes a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP (after EVOlving Logic Programs). Expand
Abduction in well-founded semantics and generalized stable models via tabled dual programs
TLDR
ABDUAL is sound and complete for evaluating queries to abductive frameworks whose entailment method is based on either the well-founded semantics with explicit negation, or on answer sets, and is asymptotically as efficient as any known method for either class of problems. Expand
...
1
2
3
4
5
...