Autor der Publikation

Integrating knowledge representation and reasoning in Geographical Information Systems.

, , , und . Int. J. Geogr. Inf. Sci., 18 (4): 417-447 (2004)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Logic Programs with Domain-Closure Axiom., , und . J. Log. Program., 5 (3): 263-276 (1988)Towards a Logical Semantics for Pure Prolog., , , und . Sci. Comput. Program., 32 (1-3): 145-176 (1998)MuTACLP: A Language for Declarative GIS Analysis., , , und . Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 1002-1016. Springer, (2000)An Abductive Framework for Extended Logic Programming., , , und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 330-343. Springer, (1995)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)The KGP Model of Agency., , , , und . ECAI, Seite 33-37. IOS Press, (2004)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)Theory Construction in Computational Logic., , , und . ICLP Workshop on Construction of Logic Programs, Seite 241-250. Wiley, (1991)