2008 |
83 | EE | Jeroen Janssen,
Stijn Heymans,
Dirk Vermeir,
Martine De Cock:
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.
ICLP 2008: 362-376 |
82 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Open answer set programming with guarded programs.
ACM Trans. Comput. Log. 9(4): (2008) |
2007 |
81 | EE | Davy Van Nieuwenborgh,
Martine De Cock,
Dirk Vermeir:
Computing Fuzzy Answer Sets Using dlvhex.
ICLP 2007: 449-450 |
80 | EE | Davy Van Nieuwenborgh,
Thomas Eiter,
Dirk Vermeir:
Conditional Planning with External Functions.
LPNMR 2007: 214-227 |
79 | 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) |
78 | 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 |
77 | 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 |
76 | | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
Approximating Extended Answer Sets.
ECAI 2006: 462-466 |
75 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Guarded Open Answer Set Programming with Generalized Literals.
FoIKS 2006: 179-200 |
74 | EE | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
Cooperating Answer Set Programming.
ICLP 2006: 226-241 |
73 | EE | Davy Van Nieuwenborgh,
Martine De Cock,
Dirk Vermeir:
Fuzzy Answer Set Programming.
JELIA 2006: 359-372 |
72 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Conceptual logic programs.
Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006) |
71 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Open Answer Set Programming with Guarded Programs
CoRR abs/cs/0603025: (2006) |
70 | EE | Davy Van Nieuwenborgh,
Dirk Vermeir:
Preferred answer sets for ordered logic programs.
TPLP 6(1-2): 107-167 (2006) |
2005 |
69 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Extending Conceptual Logic Programs with Arbitrary Rules.
Answer Set Programming 2005 |
68 | EE | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
Intelligence Analysis Using Quantitative Preferences.
Answer Set Programming 2005 |
67 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.
ESWC 2005: 392-407 |
66 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Synthesis from Temporal Specifications Using Preferred Answer Set Programming.
ICTCS 2005: 280-294 |
65 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Preferential Reasoning on a Web of Trust.
International Semantic Web Conference 2005: 368-382 |
64 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Guarded Open Answer Set Programming.
LPNMR 2005: 92-104 |
63 | EE | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
An Ordered Logic Program Solver.
PADL 2005: 128-142 |
2004 |
62 | EE | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
On Programs with Linearly Ordered Multiple Preferences.
ICLP 2004: 180-194 |
61 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Hierarchical Decision Making by Autonomous Agents.
JELIA 2004: 44-56 |
60 | EE | Davy Van Nieuwenborgh,
Stijn Heymans,
Dirk Vermeir:
Weighted Answer Sets and Applications in Intelligence Analysis.
LPAR 2004: 169-183 |
59 | EE | Stijn Heymans,
Davy Van Nieuwenborgh,
Dirk Vermeir:
Semantic Web Reasoning with Conceptual Logic Programs.
RuleML 2004: 113-127 |
58 | EE | Marina De Vos,
Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents.
Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004) |
57 | EE | Davy Van Nieuwenborgh,
Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs
CoRR cs.LO/0407049: (2004) |
2003 |
56 | | Davy Van Nieuwenborgh,
Dirk Vermeir:
Ordered Programs as Abductive Systems.
APPIA-GULP-PRODE 2003: 374-385 |
55 | EE | Stijn Heymans,
Dirk Vermeir:
Integrating Semantic Web Reasoning and Answer Set Programming.
Answer Set Programming 2003 |
54 | EE | Stijn Heymans,
Dirk Vermeir:
Integrating Ontology Languages and Answer Set Programming.
DEXA Workshops 2003: 584-588 |
53 | EE | Davy Van Nieuwenborgh,
Dirk Vermeir:
Order and Negation as Failure.
ICLP 2003: 194-208 |
52 | EE | Davy Van Nieuwenborgh,
Dirk Vermeir:
Ordered Diagnosis.
LPAR 2003: 244-258 |
51 | EE | Stijn Heymans,
Dirk Vermeir:
Integrating Description Logics and Answer Set Programming.
PPSWR 2003: 146-159 |
2002 |
50 | EE | Marina De Vos,
Dirk Vermeir:
Dynamic Decision-Making in Logic Programming and Game Theory.
Australian Joint Conference on Artificial Intelligence 2002: 36-47 |
49 | EE | Stijn Heymans,
Dirk Vermeir:
A Defeasible Ontology Language.
CoopIS/DOA/ODBASE 2002: 1033-1046 |
48 | EE | Stijn Heymans,
Dirk Vermeir:
Using Preference Order in Ontologies.
DEXA Workshops 2002: 85-92 |
47 | EE | Davy Van Nieuwenborgh,
Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs.
JELIA 2002: 432-443 |
2001 |
46 | EE | Marina De Vos,
Dirk Vermeir:
Logic Programming Agents and Game Theory.
Answer Set Programming 2001 |
45 | | Marina De Vos,
Dirk Vermeir:
Semantic Forcing in Disjunctive Logic Programs.
Computational Intelligence 17(3): 651-684 (2001) |
2000 |
44 | EE | Marina De Vos,
Dirk Vermeir:
Dynamically Ordered Probabilistic Choice Logic Programming.
FSTTCS 2000: 227-239 |
43 | EE | Marina De Vos,
Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences.
JELIA 2000: 391-406 |
42 | | Els Laenens,
Dirk Vermeir:
A Universal Fixpoint Semantics for Ordered Logic.
Computers and Artificial Intelligence 19(3): (2000) |
1999 |
41 | | Marina De Vos,
Dirk Vermeir:
Choice Logic Programs and Nash Equilibria in Strategic Games.
CSL 1999: 266-276 |
40 | EE | Hadassa Jakobovits,
Dirk Vermeir:
Dialectic semantics for argumentation frameworks.
ICAIL 1999: 53-62 |
39 | EE | Marina De Vos,
Dirk Vermeir:
On the Role of Negation in Choice Logic Programs.
LPNMR 1999: 236-246 |
38 | EE | Hadassa Jakobovits,
Dirk Vermeir:
Robust Semantics for Argumentation Frameworks.
J. Log. Comput. 9(2): 215-261 (1999) |
1996 |
37 | | Hadassa Jakobovits,
Dirk Vermeir:
R-Stable Models for Logic Programs.
Logic in Databases 1996: 233-243 |
1995 |
36 | | Terry A. Halpin,
Dirk Vermeir:
Default Knowledge in Information Systems.
DS-6 1995: 423-442 |
35 | | P. Geerts,
Dirk Vermeir:
Specificity by Default.
ECSQARU 1995: 207-216 |
1993 |
34 | | P. Geerts,
Dirk Vermeir:
A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information.
LPNMR 1993: 380-396 |
1992 |
33 | EE | Domenico Saccà,
Brigitte Verdonk,
Dirk Vermeir:
Evolution of Knowledge Bases.
EDBT 1992: 230-244 |
32 | | Els Laenens,
Dirk Vermeir,
Carlo Zaniolo:
Logic Programming Semantics Made Easy.
ICALP 1992: 499-508 |
31 | | Els Laenens,
Dirk Vermeir:
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput. 2(2): 133-172 (1992) |
1991 |
30 | | Matts Ahlsen,
Alessandro D'Atri,
Paul Johannesson,
Els Laenens,
Nicola Leone,
Pasquale Rullo,
P. Rossi,
François Staes,
Laura Tarantino,
L. Van Beirendonck,
L. Van Cadsand,
W. Van Santvliet,
J. Vanslembrouck,
Brigitte Verdonk,
Dirk Vermeir:
The KIWIS Knowledge Base Management System.
CAiSE 1991: 79-97 |
29 | | François Staes,
Laura Tarantino,
Brigitte Verdonk,
Dirk Vermeir:
Supporting User Interactions with OODB's: A Declarative Approach.
DEXA 1991: 210-215 |
28 | | Dov M. Gabbay,
Els Laenens,
Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
KR 1991: 208-217 |
27 | | P. Geerts,
Dirk Vermeir:
Credulous and Autoepistemic Reasoning Using Ordered Logic.
LPNMR 1991: 21-36 |
26 | EE | Els Laenens,
Dirk Vermeir:
On the Relationship between Well-Founded and Stable Partial Models.
MFDBS 1991: 59-73 |
1990 |
25 | | Els Laenens,
Dirk Vermeir:
A Logical Basis for Object Oriented Programming.
JELIA 1990: 317-332 |
24 | | Els Laenens,
Brigitte Verdonk,
Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
LPNMR 1990: 62-72 |
23 | EE | Els Laenens,
Domenico Saccà,
Dirk Vermeir:
Extending Logic Programming.
SIGMOD Conference 1990: 184-193 |
22 | | Els Laenens,
Dirk Vermeir:
A Fixpoint Semantics for Ordered Logic.
J. Log. Comput. 1(2): 159-185 (1990) |
21 | EE | Els Laenens,
Dirk Vermeir:
Advanced knowledge-base environments for large database systems.
Knowl.-Based Syst. 3(4): 215-220 (1990) |
1989 |
20 | | Els Laenens,
François Staes,
Dirk Vermeir:
A Customizable Window-Interface to Object-Oriented Databases.
ECOOP 1989: 367-381 |
19 | | Els Laenens,
François Staes,
Dirk Vermeir:
Browsing à la Carte in Object-Oriented Databases.
Comput. J. 32(4): 333-340 (1989) |
1988 |
18 | EE | Els Laenens,
Dirk Vermeir:
An Overview of OOPS+, An Object-Oriented Database Programming Language.
ECOOP 1988: 350-373 |
1983 |
17 | | N. Prabhakaran,
Dirk Vermeir:
On the Generation of Database Schemata.
Australian Computer Journal 15(3): 91-102 (1983) |
16 | | Dirk Vermeir:
Semantic hierarchies and abstractions in conceptual schemata.
Inf. Syst. 8(2): 117-124 (1983) |
1982 |
15 | | Dirk Vermeir,
G. M. Nijssen:
A procedure to define the object type structure of a conceptual schema.
Inf. Syst. 7(4): 329-336 (1982) |
1981 |
14 | | Grzegorz Rozenberg,
Dirk Vermeir:
A hierarchy of ETOL languages with rank.
Fundam. Inform. 4(1): 197- (1981) |
13 | | Dirk Vermeir,
Walter J. Savitch:
On the amount of non-determinism in pushdown in pushdown automata.
Fundam. Inform. 4(2): 401-418 (1981) |
12 | | Andrzej Ehrenfeucht,
Grzegorz Rozenberg,
Dirk Vermeir:
On ET0L Systems with Finite Tree-Rank.
SIAM J. Comput. 10(1): 40-58 (1981) |
1980 |
11 | | Grzegorz Rozenberg,
Dirk Vermeir:
On metalinear ETOL systems.
Fundam. Inform. 3(1): 15-36 (1980) |
10 | | Grzegorz Rozenberg,
Dirk Vermeir:
A note on M-growth functions of FTOL systems with rank.
Fundam. Inform. 3(3): 295-302 (1980) |
1979 |
9 | | Grzegorz Rozenberg,
Dirk Vermeir:
Extending the Notion of Finite Index.
ICALP 1979: 479-488 |
8 | EE | Robert Meersman,
Grzegorz Rozenberg,
Dirk Vermeir:
Persistent ET0L systems.
Inf. Sci. 18(3): 189-212 (1979) |
7 | | Grzegorz Rozenberg,
Dirk Vermeir:
On Recursion in ET0L Systems.
J. Comput. Syst. Sci. 19(2): 179-196 (1979) |
6 | | Andrzej Ehrenfeucht,
Grzegorz Rozenberg,
Dirk Vermeir:
On ET0L Systems with Rank.
J. Comput. Syst. Sci. 19(3): 237-255 (1979) |
1978 |
5 | | Grzegorz Rozenberg,
Dirk Vermeir:
On ET0L Systems of Finite Index
Information and Control 38(1): 103-133 (1978) |
4 | | Grzegorz Rozenberg,
Dirk Vermeir:
On the Effect of the Finite Index Restriction on Several Families of Grammars
Information and Control 39(3): 284-302 (1978) |
1977 |
3 | | Grzegorz Rozenberg,
Dirk Vermeir:
L Systems of Finite Index (Extended Abstract).
ICALP 1977: 430-439 |
2 | | Grzegorz Rozenberg,
Dirk Vermeir:
Acceptors for Iteration Languages.
MFCS 1977: 460-464 |
1976 |
1 | | Grzegorz Rozenberg,
Dirk Vermeir:
Context-Free Programmed Grammars and ETOL Systems.
MFCS 1976: 482-487 |