( en | de | ru )

 

Disambiguation of "Heymans, Stijn"

Author of the publication

copydeleteadd this publication to your clipboard
The DReW System for Nonmonotonic DL-Programs.

, , and . CSWS, page 383-390. Springer, (2012)

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

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)Open answer set programming for the semantic web., , and . J. Appl. Log., 5 (1): 144-169 (2007)Semantic Web Services Fundamentals., , , , and . Handbook of Service Description, Springer, (2012)The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)., , , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 256-275. Springer, (2014)Guarded Hybrid Knowledge Bases, , , , and . Theory and Practice of Logic Programming (TPLP), special issue Logic Programming and the Web, 8 (3): 411-429 (May 2008)Open Answer Set Programming with Guarded Programs, , and . Transactions on Computational Logic, 9 (4): 1-53 (August 2008)ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Transactions on Computational Logic, VOL 9, ISS 4, (August 2008) http://doi.acm.org/10.1145/1380572.1380575.Automatic Strengthening of Graph-Structured Knowledge Bases, , , and . Proc. of 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR), Beijing, China, (August 2013)Integrating Description Logics and Answer Set Programming., and . PPSWR, volume 2901 of Lecture Notes in Computer Science, page 146-159. Springer, (2003)An Ordered Logic Program Solver., , and . PADL, volume 3350 of Lecture Notes in Computer Science, page 128-142. Springer, (2005)