Searching for authors named "Paolo Ferraris" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Logic Programs with Propositional Connectives and Aggregates
- …Logic Programs with Propositional Connectives and Aggregates Paolo Ferraris Google Inc 1600…
- Add To MetaCart
-
A logic program characterization of causal theories
- … of causal rules of the form Paolo Ferraris Department of Computer Sciences University of Texas at Austin 1…
- Cited by 1 (1 self) – Add To MetaCart
-
On Modular Translations and Strong Equivalence
- …On Modular Translations and Strong Equivalence Paolo Ferraris University of Texas at Austin…
- Cited by 1 (0 self) – Add To MetaCart
-
Answer Sets for Propositional Theories
- …Answer Sets for Propositional Theories Paolo Ferraris University of Texas at Austin, Austin TX…
- Cited by 27 (4 self) – Add To MetaCart
-
Weight Constraints as Nested Expressions
- …Weight Constraints as Nested Expressions Paolo Ferraris and Vladimir Lifschitz Department…
- Cited by 5 (1 self) – Add To MetaCart
-
Mathematical foundations of answer set programming
- … Mathematical Foundations of Answer Set Programming Paolo Ferraris and Vladimir Lifschitz 1…
- Cited by 13 (2 self) – Add To MetaCart
-
A new perspective on stable models
- …A New Perspective on Stable Models ∗ Paolo Ferraris 1 , Joohyung Lee 2 and Vladimir Lifschitz 1 1…
- Cited by 18 (4 self) – Add To MetaCart
-
Why the monkey needs the box: A serious look at a toy domain. Submitted for review. 6
- …Why the Monkey Needs the Box: A Serious Look at a Toy Domain Selim T. Erdo˘gan, Paolo Ferraris…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 8.
