Davy Van Nieuwenborgh

31 papers A 1B 12C 1Misc 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2008 J jnl
Guarded hybrid knowledge bases.
Theory Pract. Log. Program.
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2008 J jnl
Open answer set programming with guarded programs.
ACM Trans. Comput. Log.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2007 J jnl
An introduction to fuzzy answer set programming.
Ann. Math. Artif. Intell.
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 B conf
Computing Fuzzy Answer Sets Using dlvhex.
ICLP
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 B conf
Conditional Planning with External Functions.
LPNMR
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir
2007 J jnl
Guarded Hybrid Knowledge Bases
CoRR
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2007 J jnl
Open answer set programming for the semantic web.
J. Appl. Log.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 A conf
Approximating Extended Answer Sets.
ECAI
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006 J jnl
Conceptual logic programs.
Ann. Math. Artif. Intell.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 B conf
Cooperating Answer Set Programming.
ICLP
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006 B conf
Fuzzy Answer Set Programming.
JELIA
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2006 — conf
Guarded Open Answer Set Programming with Generalized Literals.
FoIKS
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 — conf
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.
CLIMA
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2006 J jnl
Open Answer Set Programming with Guarded Programs
CoRR
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 J jnl
Preferred answer sets for ordered logic programs.
Theory Pract. Log. Program.
Davy Van Nieuwenborgh, Dirk Vermeir
2005 C conf
An Ordered Logic Program Solver.
PADL
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005 — conf
Extending Conceptual Logic Programs with Arbitrary Rules.
Answer Set Programming
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 B conf
Guarded Open Answer Set Programming.
LPNMR
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 — conf
Intelligence Analysis Using Quantitative Preferences.
Answer Set Programming
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005 B conf
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.
ESWC
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 Misc conf
Preferential Reasoning on a Web of Trust.
ISWC
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 — conf
Synthesis from Temporal Specifications Using Preferred Answer Set Programming.
ICTCS
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 B conf
Hierarchical Decision Making by Autonomous Agents.
JELIA
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 B conf
On Programs with Linearly Ordered Multiple Preferences.
ICLP
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2004 J jnl
Preferred Answer Sets for Ordered Logic Programs
CoRR
Davy Van Nieuwenborgh, Dirk Vermeir
2004 — conf
Semantic Web Reasoning with Conceptual Logic Programs.
RuleML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 B conf
Weighted Answer Sets and Applications in Intelligence Analysis.
LPAR
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2003 B conf
Order and Negation as Failure.
ICLP
Davy Van Nieuwenborgh, Dirk Vermeir
2003 B conf
Ordered Diagnosis.
LPAR
Davy Van Nieuwenborgh, Dirk Vermeir
2003 — conf
Ordered Programs as Abductive Systems.
APPIA-GULP-PRODE
Davy Van Nieuwenborgh, Dirk Vermeir
2002 B conf
Preferred Answer Sets for Ordered Logic Programs.
JELIA
Davy Van Nieuwenborgh, Dirk Vermeir