Autor der Publikation

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

Managing Disjunction for Practical Temporal Reasoning., , und . KR, Seite 36-46. Morgan Kaufmann, (1992)Exploiting Inference to Improve Temporal RDF Annotations and Queries for Machine Reading.. STIDS, Volume 966 von CEUR Workshop Proceedings, Seite 104-111. CEUR-WS.org, (2012)Implicates and Prime Implicates in Random 3-SAT., und . Artif. Intell., 81 (1-2): 199-222 (1996)Compilation for Critically Constrained Knowledge Bases.. AAAI/IAAI, Vol. 1, Seite 510-515. AAAI Press / The MIT Press, (1996)Evaluating expert-authored rules for military reasoning., , , , , , , , , und 1 andere Autor(en). K-CAP, Seite 96-104. ACM, (2003)Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?, , , und . AAAI/IAAI, Seite 221-226. AAAI Press / The MIT Press, (1999)Performance Evaluation for Automated Threat Detection., , , und . J. Adv. Inf. Fusion, 2 (2): 77-98 (2007)The DARPA High-Performance Knowledge Bases Project., , , , , , , und . AI Magazine, 19 (4): 25-49 (1998)Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances., und . CP, Volume 1118 von Lecture Notes in Computer Science, Seite 46-60. Springer, (1996)Best-practice Time Point Ontology for Event Calculus-based Temporal Reasoning.. STIDS, Volume 966 von CEUR Workshop Proceedings, Seite 28-34. CEUR-WS.org, (2012)