#### Filter Results:

- Full text PDF available (113)

#### Publication Year

1990

2017

- This year (2)
- Last 5 years (32)
- Last 10 years (70)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Nicola Leone, Gerald Pfeifer, +4 authors Francesco Scarcello
- ACM Trans. Comput. Log.
- 2006

Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows one to express <i>every</i> property of finite structures that is decidable in the complexity class Σ<sup><i>P</i></sup><sub>2</sub> (NP<sup>NP</sup>). Thus, under widely believed… (More)

- Wolfgang Faber, Nicola Leone, Gerald Pfeifer
- JELIA
- 2004

The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). They strengthen the modeling power of ASP, in terms of concise problem representations. While many important problems can be encoded using nonrecursive aggregates, some relevant examples lend themselves for the use of recursive… (More)

- Wolfgang Faber, Gerald Pfeifer, Nicola Leone
- Artif. Intell.
- 2011

The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). They strengthen the modelling power of ASP in terms of natural and concise problem representations. Previous semantic definitions typically agree in the case of nonrecursive aggregates, but the picture is less clear for aggregates… (More)

- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
- Artif. Intell.
- 2003

We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge can be described, rather than transitions between completely described states of the world, which makes the language well-suited for planning under incomplete knowledge.… (More)

- Francesco Buccafurri, Wolfgang Faber, Nicola Leone
- ICLP
- 1999

The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP… (More)

- Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
- IJCAI
- 2003

Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class E^ (NP H ) . Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Among… (More)

Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures that is decidable in the complexity class Σ2(=NP ). Despite this high expressiveness, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Especially… (More)

- Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
- ICLP
- 2004

We present a new technique for the optimization of (partially) bound queries over disjunctive datalog programs. The technique exploits the propagation of query bindings, and extends the Magic-Set optimization technique (originally defined for non-disjunctive programs) to the disjunctive case, substantially improving on previously defined approaches.… (More)

- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
- ACM Trans. Comput. Log.
- 2004

We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge can be described, rather than transitions between completely described states of the world, which makes the language well suited for planning under incomplete knowledge.… (More)

- Nicola Leone, Gerald Pfeifer, +9 authors Axel Polleres
- JELIA
- 2002