( en | de | ru )

 

Disambiguation of "Heymans, Stijn"

Author of the publication

copydeleteadd this publication to your clipboard
Guarded Open Answer Set Programming with Generalized Literals.

, , and . FoIKS, volume 3861 of Lecture Notes in Computer Science, page 179-200. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lothar Heymans

Stijn Cleemput

Ulrike Heymans

Dieter Heymans

Gisela Heymans

 

Other publications of authors with the same name

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