Davy Van Nieuwenborgh

According to our database, Davy Van Nieuwenborgh authored at least 27 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Guarded hybrid knowledge bases.

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh

Theory Pract. Log. Program., 2008

Open answer set programming with guarded programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

ACM Trans. Comput. Log., 2008

2007

Open answer set programming for the semantic web.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

J. Appl. Log., 2007

An introduction to fuzzy answer set programming.

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir

Ann. Math. Artif. Intell., 2007

Conditional Planning with External Functions.

Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Computing Fuzzy Answer Sets Using dlvhex.

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Preferred answer sets for ordered logic programs.

Davy Van Nieuwenborgh, Dirk Vermeir

Theory Pract. Log. Program., 2006

Conceptual logic programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Ann. Math. Artif. Intell., 2006

Fuzzy Answer Set Programming.

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Cooperating Answer Set Programming.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic Programming, 22nd International Conference, 2006

Guarded Open Answer Set Programming with Generalized Literals.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Foundations of Information and Knowledge Systems, 2006

Approximating Extended Answer Sets.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005

Preferential Reasoning on a Web of Trust.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

An Ordered Logic Program Solver.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Guarded Open Answer Set Programming.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Synthesis from Temporal Specifications Using Preferred Answer Set Programming.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Semantic Web: Research and Applications, 2005

Intelligence Analysis Using Quantitative Preferences.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Answer Set Programming, 2005

Extending Conceptual Logic Programs with Arbitrary Rules.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Answer Set Programming, 2005

2004

Semantic Web Reasoning with Conceptual Logic Programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Weighted Answer Sets and Applications in Intelligence Analysis.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic for Programming, 2004

Hierarchical Decision Making by Autonomous Agents.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

On Programs with Linearly Ordered Multiple Preferences.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Ordered Diagnosis.

Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logic for Programming, 2003

Order and Negation as Failure.

Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logic Programming, 19th International Conference, 2003

Ordered Programs as Abductive Systems.

Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003