( en | de | ru )

 

Disambiguation of "Heymans, Stijn"

Author of the publication

copydeleteadd this publication to your clipboard
An Optimization for Reasoning with Forest Logic Programs

, and . Proc. of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), CoRR, (2010)

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

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)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)An Ordered Logic Program Solver., , and . PADL, volume 3350 of Lecture Notes in Computer Science, page 128-142. Springer, (2005)Integrating Description Logics and Answer Set Programming., and . PPSWR, volume 2901 of Lecture Notes in Computer Science, page 146-159. Springer, (2003)Ranking Services Using Fuzzy HEXPrograms., and . RR, volume 5341 of Lecture Notes in Computer Science, page 181-196. Springer, (2008)Semantic Web Reasoning with Conceptual Logic Programs., , and . RuleML, volume 3323 of Lecture Notes in Computer Science, page 113-127. Springer, (2004)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.