( en | de | ru )

 

Disambiguierung von "Heymans, Stijn"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
KB_Bio_101: A Challenge for TPTP First-Order Reasoners

, , und . In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (Juni 2013)

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.

Lothar Heymans

Stijn Cleemput

Ulrike Heymans

Dieter Heymans

Gisela Heymans

 

Weitere Publikationen von Autoren mit dem selben Namen

KB_Bio_101: A Challenge for TPTP First-Order Reasoners, , und . In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (Juni 2013)Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents, , und . Journal of Biomedical Semantics, (Juli 2011)Large-Scale Analogical Reasoning., , , , und . AAAI, Seite 359-365. AAAI Press, (2014)Guarded Open Answer Set Programming with Generalized Literals., , und . FoIKS, Volume 3861 von Lecture Notes in Computer Science, Seite 179-200. Springer, (2006)Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming., , , und . CLIMA, Volume 4371 von Lecture Notes in Computer Science, Seite 20-40. Springer, (2006)Guarded Open Answer Set Programming., , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 92-104. Springer, (2005)Extending Conceptual Logic Programs with Arbitrary Rules., , und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)Intelligence Analysis Using Quantitative Preferences., , und . Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)KB_Bio_101: a repository of graph-structured knowledge., , und . E-LKR, Volume 882 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)The DReW System for Nonmonotonic DL-Programs., , und . CSWS, Seite 383-390. Springer, (2012)