1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 1 cited
An Optimization for Reasoning with Forest Logic Programs
Cristina Feier, Stijn Heymans
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg…
cs.AI2006
Open Answer Set Programming with Guarded Programs
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed…