Autor der Publikation

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

, , und . J. Autom. Reason., 10 (3): 345-370 (1993)

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

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)Intrinsic Support for Metadata Integration in Relation Federations., , , und . EFIS, Seite 117-. aka / IOS Press / infix, (2003)Inference for Annotated Logics over Distributive Lattices., , , , und . ISMIS, Volume 2366 von Lecture Notes in Computer Science, Seite 285-293. Springer, (2002)A Foundation for Hybrid Knowledge Bases., , und . FSTTCS, Volume 1738 von Lecture Notes in Computer Science, Seite 155-167. Springer, (1999)A case study in the meta-reasoning procedure ND., , und . J. Exp. Theor. Artif. Intell., 15 (1): 47-71 (2003)Propositional reasoning by dimensional reduction: a preliminary report., und . ACM Southeast Regional Conference, Seite 525-526. ACM, (2007)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , und . J. Autom. Reason., 10 (3): 345-370 (1993)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)Signed Formulas and Annotated Logics., , und . ISMVL, Seite 48-53. IEEE Computer Society, (1993)