13 citations · 20 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2013★ 6 cited
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel +1
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biolog…
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…