( en | de | ru )

 

Disambiguierung von "Ferraris, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Representing first-order causal theories by logic programs.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Luis Ferraris

Christine Ferraris

Davide Ferraris

Giordano Paolo

Paolo Molteni

 

Weitere Publikationen von Autoren mit dem selben Namen

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