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