| 2008 |
|---|
| 29 | Open answer set programming with guarded programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 28 | An introduction to fuzzy answer set programming. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. Ann. Math. Artif. Intell. (50): 363-388 (2007). Web SearchBibTeXDownload |
| 27 | Computing Fuzzy Answer Sets Using dlvhex. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. ICLP 2007, 449-450. Web SearchBibTeXDownload |
| 26 | Open answer set programming for the semantic web. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. J. Applied Logic (5): 144-169 (2007). Web SearchBibTeXDownload |
| 25 | Conditional Planning with External Functions. Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir. LPNMR 2007, 214-227. Web SearchBibTeXDownload |
| 2006 |
|---|
| 24 | Conceptual logic programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Ann. Math. Artif. Intell. (47): 103-137 (2006). Web SearchBibTeXDownload |
| 23 | Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir. CLIMA 2006, 20-40. Web SearchBibTeXDownload |
| 22 | Open Answer Set Programming with Guarded Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. CoRR (abs/cs/0603025) (2006). Web SearchBibTeXDownload |
| 21 | Approximating Extended Answer Sets. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ECAI 2006, 462-466. Web SearchBibTeX |
| 20 | Guarded Open Answer Set Programming with Generalized Literals. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. FoIKS 2006, 179-200. Web SearchBibTeXDownload |
| 19 | Cooperating Answer Set Programming. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2006, 226-241. Web SearchBibTeXDownload |
| 18 | Fuzzy Answer Set Programming. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. JELIA 2006, 359-372. Web SearchBibTeXDownload |
| 17 | Preferred answer sets for ordered logic programs. Davy Van Nieuwenborgh, Dirk Vermeir. TPLP (6): 107-167 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 16 | Extending Conceptual Logic Programs with Arbitrary Rules. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload |
| 15 | Intelligence Analysis Using Quantitative Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload |
| 14 | Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ESWC 2005, 392-407. Web SearchBibTeXDownload |
| 13 | Synthesis from Temporal Specifications Using Preferred Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ICTCS 2005, 280-294. Web SearchBibTeXDownload |
| 12 | Preferential Reasoning on a Web of Trust. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. International Semantic Web Conference 2005, 368-382. Web SearchBibTeXDownload |
| 11 | Guarded Open Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. LPNMR 2005, 92-104. Web SearchBibTeXDownload |
| 10 | An Ordered Logic Program Solver. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. PADL 2005, 128-142. Web SearchBibTeXDownload |
| 2004 |
|---|
| 9 | Preferred Answer Sets for Ordered Logic Programs. Davy Van Nieuwenborgh, Dirk Vermeir. CoRR (cs.LO/0407049) (2004). Web SearchBibTeXDownload |
| 8 | On Programs with Linearly Ordered Multiple Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2004, 180-194. Web SearchBibTeXDownload |
| 7 | Hierarchical Decision Making by Autonomous Agents. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. JELIA 2004, 44-56. Web SearchBibTeXDownload |
| 6 | Weighted Answer Sets and Applications in Intelligence Analysis. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. LPAR 2004, 169-183. Web SearchBibTeXDownload |
| 5 | Semantic Web Reasoning with Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. RuleML 2004, 113-127. Web SearchBibTeXDownload |
| 2003 |
|---|
| 4 | Ordered Programs as Abductive Systems. Davy Van Nieuwenborgh, Dirk Vermeir. APPIA-GULP-PRODE 2003, 374-385. Web SearchBibTeX |
| 3 | Order and Negation as Failure. Davy Van Nieuwenborgh, Dirk Vermeir. ICLP 2003, 194-208. Web SearchBibTeXDownload |
| 2 | Ordered Diagnosis. Davy Van Nieuwenborgh, Dirk Vermeir. LPAR 2003, 244-258. Web SearchBibTeXDownload |
| 2002 |
|---|
| 1 | Preferred Answer Sets for Ordered Logic Programs. Davy Van Nieuwenborgh, Dirk Vermeir. JELIA 2002, 432-443. Web SearchBibTeXDownload |
