Dirk Vermeir Papers on DiSC'03 A Defeasible Ontology Language Publications Note: Links lead to the DBLP on the Web. Dirk Vermeir 42 Marina De Vos , Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002 : 36-47 41 S. Heymans , Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002 : 1033-1046 40 S. Heymans , Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002 : 85-92 39 Davy Van Nieuwenborgh , Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002 : 432-443 38 Marina De Vos , Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17 (3): 651-684 (2001) 37 Marina De Vos , Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000 : 227-239 36 Marina De Vos , Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000 : 391-406 35 Marina De Vos , Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999 : 266-276 34 Hadassa Jakobovits , Dirk Vermeir: Dialectic semantics for argumentation frameworks. ICAIL 1999 : 53-62 33 Marina De Vos , Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999 : 236-246 32 Hadassa Jakobovits , Dirk Vermeir: Robust Semantics for Argumentation Frameworks. Journal of Logic and Computation 9 (2): 215-261 (1999) 31 Hadassa Jakobovits , Dirk Vermeir: R-Stable Models for Logic Programs. Logic in Databases 1996 : 233-243 30 Terry A. Halpin , Dirk Vermeir: Default Knowledge in Information Systems. DS-6 1995 : 423-442 29 P. Geerts , Dirk Vermeir: Specificity by Default. ECSQARU 1995 : 207-216 28 P. Geerts , Dirk Vermeir: A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993 : 380-396 27 Domenico Saccà , Brigitte Verdonk , Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992 : 230-244 26 Els Laenens , Dirk Vermeir, Carlo Zaniolo : Logic Programming Semantics Made Easy. ICALP 1992 : 499-508 25 Els Laenens , Dirk Vermeir: Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. Journal of Logic and Computation 2 (2): 133-172 (1992) 24 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 23 François Staes , Laura Tarantino , Brigitte Verdonk , Dirk Vermeir: Supporting User Interactions with OODB's: A Declarative Approach. DEXA 1991 : 210-215 22 Dov M. Gabbay , Els Laenens , Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991 : 208-217 21 P. Geerts , Dirk Vermeir: Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991 : 21-36 20 Els Laenens , Dirk Vermeir: On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991 : 59-73 19 Els Laenens , Dirk Vermeir: A Logical Basis for Object Oriented Programming. JELIA 1990 : 317-332 18 Els Laenens , Brigitte Verdonk , Dirk Vermeir: The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990 : 62-72 17 Els Laenens , Domenico Saccà , Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990 : 184-193 16 Els Laenens , Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation 1 (2): 159-185 (1990) 15 Els Laenens , François Staes , Dirk Vermeir: A Customizable Window-Interface to Object-Oriented Databases. ECOOP 1989 : 367-381 14 Els Laenens , François Staes , Dirk Vermeir: Browsing à la Carte in Object-Oriented Databases. The Computer Journal 32 (4): 333-340 (1989) 13 Els Laenens , Dirk Vermeir: An Overview of OOPS+, An Object-Oriented Database Programming Language. ECOOP 1988 : 350-373 12 N. Prabhakaran , Dirk Vermeir: On the Generation of Database Schemata. Australian Computer Journal 15 (3): 91-102 (1983) 11 Dirk Vermeir: Semantic hierarchies and abstractions in conceptual schemata. IS 8 (2): 117-124 (1983) 10 Dirk Vermeir, G. M. Nijssen : A procedure to define the object type structure of a conceptual schema. IS 7 (4): 329-336 (1982) 9 Andrzej Ehrenfeucht , Grzegorz Rozenberg , Dirk Vermeir: On ET0L Systems with Finite Tree-Rank. SIAM J. Comput. 10 (1): 40-58 (1981) 8 Grzegorz Rozenberg , Dirk Vermeir: Extending the Notion of Finite Index. ICALP 1979 : 479-488 7 Grzegorz Rozenberg , Dirk Vermeir: On Recursion in ET0L Systems. JCSS 19 (2): 179-196 (1979) 6 Andrzej Ehrenfeucht , Grzegorz Rozenberg , Dirk Vermeir: On ET0L Systems with Rank. JCSS 19 (3): 237-255 (1979) 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) 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 1 Grzegorz Rozenberg , Dirk Vermeir: Context-Free Programmed Grammars and ETOL Systems. MFCS 1976 : 482-487 DiSC'03 © 2003 Association for Computing Machinery