( en | de | ru )

 

Disambiguierung von "Bundy, Alan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ABC Repair System for Datalog-like Theories.

, , und . KEOD, Seite 333-340. SciTePress, (2018)

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.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Weitere Publikationen von Autoren mit dem selben Namen

Harnessing the power of folksonomies for formal ontology matching on-the-fly., , und . OM, Volume 689 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Combining Knowledge and Search to Solve Single-Suit Bridge., , und . AAAI/IAAI, Seite 195-200. AAAI Press / The MIT Press, (2000)Concurrent-distributed programming techniques for SAT using DPLL-stålmarck., , und . HPCS, Seite 168-175. IEEE, (2009)Psychological Validity of Schematic Proofs., und . Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 321-341. Springer, (2005)Topics for Circumscription., und . NMR, Seite 355-362. American Association for Artificial Intelligence (AAAI), (1984)Higher-order Representation and Reasoning for Automated Ontology Evolution., , und . KEOD, Seite 84-93. SciTePress, (2010)Calculating Error Bars on Inferences from Web Data., und . IntelliSys (2), Volume 869 von Advances in Intelligent Systems and Computing, Seite 618-640. Springer, (2018)MECHO, Year one., , , und . AISB (ECAI), Seite 94-103. (1976)An Intelligent Front End for Ecological Modelling., , , und . ECAI, Seite 13-22. North-Holland, (1984)Analysing Mathematical Proofs (Or Reading Between the Lines).. IJCAI, Seite 22-28. (1975)