( en | de | ru )

 

Disambiguation of "Ferraris, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Representing first-order causal theories by logic programs.

, , , , and . Theory Pract. Log. Program., 12 (3): 383-412 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luis Ferraris

Christine Ferraris

Davide Ferraris

Giordano Paolo

Paolo Molteni

 

Other publications of authors with the same name

Logic programs with propositional connectives and aggregates. CoRR, (2008)Almost Definite Causal Theories., , and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 74-86. Springer, (2004)Answer Sets for Propositional Theories.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 119-131. Springer, (2005)Mathematical Foundations of Answer Set Programming., and . We Will Show Them! (1), page 615-664. College Publications, (2005)A generalization of the Lin-Zhao theorem., , and . Ann. Math. Artif. Intell., 47 (1-2): 79-101 (2006)Weight Constraints as Nested Expressions, and . CoRR, (2003)Propositional theories are strongly equivalent to logic programs., and . Theory Pract. Log. Program., 7 (6): 745-759 (2007)Evaluation of the magnetization direction effects on ferrite PM brushless fractional machines., , , and . IECON, page 6194-6199. IEEE, (2012)Logic programs with propositional connectives and aggregates.. ACM Trans. Comput. Log., 12 (4): 25:1-25:40 (2011)On Modular Translations and Strong Equivalence.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 79-91. Springer, (2005)