( en | de | ru )

 

Disambiguierung von "Mancarella, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MuTACLP: A Language for Declarative GIS Analysis.

, , , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 1002-1016. Springer, (2000)

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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pierobon

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Logic Programs with Domain-Closure Axiom., , und . J. Log. Program., 5 (3): 263-276 (1988)The KGP Model of Agency., , , , und . ECAI, Seite 33-37. IOS Press, (2004)An Abductive Framework for Extended Logic Programming., , , und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 330-343. Springer, (1995)MuTACLP: A Language for Declarative GIS Analysis., , , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 1002-1016. Springer, (2000)Knowledge Assimilation and Abduction., und . Truth Maintenance Systems (ECAI Workshop), Volume 515 von Lecture Notes in Computer Science, Seite 54-70. Springer, (1990)Universal Quantification by Case Analysis., , , und . ECAI, Seite 111-116. (1990)Towards a Logical Semantics for Pure Prolog., , , und . Sci. Comput. Program., 32 (1-3): 145-176 (1998)Web Sites Verification: An Abductive Logic Programming Tool., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 434-435. Springer, (2007)Intensional Negation of Logic Programs: Examples and Implementation Techniques., , , und . TAPSOFT, Vol.2, Volume 250 von Lecture Notes in Computer Science, Seite 96-110. Springer, (1987)A Unifying View for Logic Programming with Non-Monotonic Reasoning., , , und . Theor. Comput. Sci., 184 (1-2): 1-5 (1997)