The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dirk Vermeir: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  82. Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. [Citation Graph (, )][DBLP]


  83. Efficient Solving of Time-dependent Answer Set Programs. [Citation Graph (, )][DBLP]


  84. Communicating Answer Set Programs. [Citation Graph (, )][DBLP]


  85. General Fuzzy Answer Set Programs. [Citation Graph (, )][DBLP]


  86. Answer Sets in a Fuzzy Equilibrium Logic. [Citation Graph (, )][DBLP]


  87. Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. [Citation Graph (, )][DBLP]


  88. Modeling Protein Interaction Networks with Answer Set Programming. [Citation Graph (, )][DBLP]


  89. Fuzzy Answer Set Programming with Literal Preferences. [Citation Graph (, )][DBLP]


Search in 0.156secs, Finished in 0.160secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002