Paolo Ferraris
Titel
Citeras av
Citeras av
År
Answer sets for propositional theories
P Ferraris
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
2352005
Stable models and circumscription
P Ferraris, J Lee, V Lifschitz
Artificial Intelligence 175 (1), 236-263, 2011
1752011
Weight constraints as nested expressions
P Ferraris, V Lifschitz
arXiv preprint cs/0312045, 2003
1622003
A New Perspective on Stable Models.
P Ferraris, J Lee, V Lifschitz
IJCAI 7, 372-379, 2007
1542007
Propositional theories are strongly equivalent to logic programs
P Cabalar, P Ferraris
arXiv preprint cs/0701095, 2007
852007
Planning as satisfiability in nondeterministic domains
P Ferraris, E Giunchiglia
AAAI/IAAI, 748-753, 2000
732000
Symmetric splitting in the general theory of stable models
P Ferraris, J Lee, V Lifschitz, R Palla
622009
Mathematical Foundations of Answer Set Programming.
P Ferraris, V Lifschitz
We Will Show Them!(1), 615-664, 2005
622005
A generalization of the Lin-Zhao theorem
P Ferraris, J Lee, V Lifschitz
Annals of Mathematics and Artificial Intelligence 47 (1-2), 79-101, 2006
562006
Logic programs with propositional connectives and aggregates
P Ferraris
ACM Transactions on Computational Logic (TOCL) 12 (4), 1-40, 2011
552011
On the stable model semantics of first-order formulas with aggregates
P Ferraris, V Lifschitz
Proceedings of International Workshop on Nonmonotonic Reasoning (NMR), 2010
262010
Representing first-order causal theories by logic programs
P Ferraris, J Lee, Y Lierler, V Lifschitz, F Yang
arXiv preprint arXiv:1103.4558, 2011
222011
Forgetting actions in domain descriptions
E Erdem, P Ferraris
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 409, 2007
142007
Almost definite causal theories
S Doğandağ, P Ferraris, V Lifschitz
International Conference on Logic Programming and Nonmonotonic Reasoning, 74-86, 2004
142004
A Logic Program Characterization of Causal Theories.
P Ferraris
IJCAI 7, 366-371, 2007
132007
On the minimality of stable models
P Ferraris, V Lifschitz
Logic programming, knowledge representation, and nonmonotonic reasoning, 64-73, 2011
62011
On modular translations and strong equivalence
P Ferraris
International Conference on Logic Programming and Nonmonotonic Reasoning, 79-91, 2005
52005
Causal Theories as Logic Programs.
P Ferraris
WLP, 35-44, 2006
32006
Planning as satisfiability in simple nondeterministc domains
P Ferraris, E Guinchiglia
AIPS-Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000
32000
Expressiveness of answer set languages
P Ferraris
12007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20