Autor der Publikation

Computing Non-Ground Representations of Stable Models.

, , und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 198-217. Springer, (1997)

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

A Foundation for Hybrid Knowledge Bases., , und . FSTTCS, Volume 1738 von Lecture Notes in Computer Science, Seite 155-167. Springer, (1999)Inference for Annotated Logics over Distributive Lattices., , , , und . ISMIS, Volume 2366 von Lecture Notes in Computer Science, Seite 285-293. Springer, (2002)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , und . J. Autom. Reason., 10 (3): 345-370 (1993)Intrinsic Support for Metadata Integration in Relation Federations., , , und . EFIS, Seite 117-. aka / IOS Press / infix, (2003)Classification of Resting State fMRI Datasets Using Dynamic Network Clusters., , , und . AAAI Workshop: Modern Artificial Intelligence for Health Analytics, Volume WS-14-08 von AAAI Workshops, AAAI, (2014)Efficient Maintenance of Materialized Mediated Views., , , und . SIGMOD Conference, Seite 340-351. ACM Press, (1995)An Extensible Framework for Query Optimization on TripleT-based RDF Stores., , und . EDBT/ICDT Workshops, Volume 1330 von CEUR Workshop Proceedings, Seite 190-196. CEUR-WS.org, (2015)Propositional reasoning by dimensional reduction: a preliminary report., und . ACM Southeast Regional Conference, Seite 525-526. ACM, (2007)A case study in the meta-reasoning procedure ND., , und . J. Exp. Theor. Artif. Intell., 15 (1): 47-71 (2003)Key-Based Problem Decomposition for Relational Constraint Satisfaction Problems., und . ICTAI, Seite 90-95. IEEE Computer Society, (2011)