Davy Van Nieuwenborgh Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4) (2008)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded hybrid knowledge bases. TPLP 8(3): 411-429 (2008)
2007
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Computing Fuzzy Answer Sets Using dlvhex. ICLP 2007: 449-450
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir: Conditional Planning with External Functions. LPNMR 2007: 214-227
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh: Guarded Hybrid Knowledge Bases. CoRR abs/0711.2155 (2007)
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Preferred answer sets for ordered logic programs. TPLP 6(1-2): 107-167 (2006)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA 2006: 20-40
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Fuzzy Answer Set Programming. JELIA 2006: 359-372
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs. CoRR abs/cs/0603025 (2006)
2005
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. CoRR cs.LO/0407049 (2004)
2003
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Order and Negation as Failure. ICLP 2003: 194-208
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Diagnosis. LPAR 2003: 244-258
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443

Coauthor Index

1Jos de Bruijn
[j5] [i3]
2Martine De Cock
[j4] [c22] [c16]
3Thomas Eiter
[c21]
4Cristina Feier
[j5] [i3]
5Stijn Heymans
[j6] [j5] [j3] [i3] [j2] [c20] [c19] [c18] [c17] [i2] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5]
6Livia Predoiu
[j5] [i3]
7Dirk Vermeir
[j6] [j4] [j3] [c22] [c21] [j2] [j1] [c20] [c19] [c18] [c17] [c16] [i2] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [i1] [c4] [c3] [c2] [c1]
8Marina De Vos
[c20]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 15:43:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page