dblp.uni-trier.dewww.uni-trier.de

Paolo Ferraris

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15EEPaolo Ferraris: Logic programs with propositional connectives and aggregates CoRR abs/0812.1462: (2008)
2007
14 Esra Erdem, Paolo Ferraris: Forgetting Actions in Domain Descriptions. AAAI 2007: 409-414
13EEPaolo Ferraris: A Logic Program Characterization of Causal Theories. IJCAI 2007: 366-371
12EEPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A New Perspective on Stable Models. IJCAI 2007: 372-379
11EEPedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs CoRR abs/cs/0701095: (2007)
10EEPedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
2006
9EEPaolo Ferraris: Causal Theories as Logic Programs. WLP 2006: 35-44
8EEPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz: A generalization of the Lin-Zhao theorem. Ann. Math. Artif. Intell. 47(1-2): 79-101 (2006)
2005
7EEPaolo Ferraris: Answer Sets for Propositional Theories. LPNMR 2005: 119-131
6EEPaolo Ferraris: On Modular Translations and Strong Equivalence. LPNMR 2005: 79-91
5 Paolo Ferraris, Vladimir Lifschitz: Mathematical Foundations of Answer Set Programming. We Will Show Them! (1) 2005: 615-664
4EEPaolo Ferraris, Vladimir Lifschitz: Weight constraints as nested expressions. TPLP 5(1-2): 45-74 (2005)
2004
3EESemra Dogandag, Paolo Ferraris, Vladimir Lifschitz: Almost Definite Causal Theories. LPNMR 2004: 74-86
2003
2EEPaolo Ferraris, Vladimir Lifschitz: Weight Constraints as Nested Expressions CoRR cs.AI/0312045: (2003)
2000
1 Paolo Ferraris, Enrico Giunchiglia: Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI 2000: 748-753

Coauthor Index

1Pedro Cabalar [10] [11]
2Semra Dogandag [3]
3Esra Erdem [14]
4Enrico Giunchiglia [1]
5Joohyung Lee [8] [12]
6Vladimir Lifschitz [2] [3] [4] [5] [8] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)