Dirk Vermeir Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2015
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Characterizing and extending answer set semantics using possibility theory. TPLP 15(1): 79-116 (2015)
2014
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir: Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. Fuzzy Sets and Systems 239: 51-80 (2014)
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions. Int. J. Approx. Reasoning 55(2): 739-761 (2014)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock: Complexity of fuzzy answer set programming under Łukasiewicz semantics. Int. J. Approx. Reasoning 55(9): 1971-2003 (2014)
2013
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Expressiveness of communication in answer set programming. TPLP 13(3): 361-394 (2013)
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock: Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees. IJCAI 2013: 3205-3206
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock: Fuzzy Answer Set Programming: An Introduction. Soft Computing: State of the Art Theory and Novel Applications 2013: 209-222
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Characterizing and Extending Answer Set Semantics using Possibility Theory. CoRR abs/1312.0127 (2013)
2012
b2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach. Atlantis Computational Intelligence Systems 5, Atlantis Press 2012, ISBN 978-94-91216-58-9, pp. I-IX, 1-173
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: A core language for fuzzy answer set programming. Int. J. Approx. Reasoning 53(4): 660-692 (2012)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Schockaert, Jeroen Janssen, Dirk Vermeir: Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. J. Autom. Reasoning 49(4): 493-550 (2012)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Schockaert, Jeroen Janssen, Dirk Vermeir: Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains. ACM Trans. Comput. Log. 13(4): 33:1-33:39 (2012)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock: Reducing fuzzy answer set programming to model finding in fuzzy logics. TPLP 12(6): 811-842 (2012)
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. ICTAI 2012: 836-843
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possibilistic Answer Set Programming Revisited .CoRR abs/1203.3466 (2012)
2011
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Aggregated Fuzzy Answer Set Programming. Ann. Math. Artif. Intell. 63(2): 103-147 (2011)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock: Modelling gene and protein regulatory networks with Answer Set Programming. IJDMB 5(2): 209-229 (2011)
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir: Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. ECSQARU 2011: 616-627
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock: Communicating ASP and the Polynomial Hierarchy. LPNMR 2011: 67-79
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Weak and Strong Disjunction in Possibilistic ASP. SUM 2011: 475-488
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics .CoRR abs/1104.5133 (2011)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Expressiveness of Communication in Answer Set Programming .CoRR abs/1109.2434 (2011)
2010
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Communicating Answer Set Programs. ICLP (Technical Communications) 2010: 34-43
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock: Efficient Solving of Time-dependent Answer Set Programs. ICLP (Technical Communications) 2010: 64-73
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possibilistic Answer Set Programming Revisited. UAI 2010: 48-55
2009
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir: Modeling Protein Interaction Networks with Answer Set Programming. BIBM 2009: 99-104
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Fuzzy Answer Set Programming with Literal Preferences. IFSA/EUSFLAT Conf. 2009: 1347-1352
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Answer Sets in a Fuzzy Equilibrium Logic. RR 2009: 135-149
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. SUM 2009: 240-254
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: General Fuzzy Answer Set Programs. WILF 2009: 352-359
2008
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4): 26:1-26:53 (2008)
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376
2007
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3-4): 363-388 (2007)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Computing Fuzzy Answer Sets Using dlvhex. ICLP 2007: 449-450
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir: Conditional Planning with External Functions. LPNMR 2007: 214-227
2006
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Dirk Vermeir: Preferred answer sets for ordered logic programs. TPLP 6(1-2): 107-167 (2006)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA 2006: 20-40
c52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy 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 XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs .CoRR abs/cs/0603025 (2006)
2005
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
2004
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn 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 XMLDavy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs .CoRR cs.LO/0407049 (2004)
2003
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Dirk Vermeir: Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Dirk Vermeir: Order and Negation as Failure. ICLP 2003: 194-208
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Dirk Vermeir: Ordered Diagnosis. LPAR 2003: 244-258
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159
2002
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443
2001
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Vermeir: Multi-paradigm programming using C++. Springer 2001, ISBN 978-1-85233-483-3, pp. I-XV, 1-287
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001
2000
j21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: A Universal Fixpoint Semantics for Ordered Logic. Computers and Artificial Intelligence 19(3) (2000)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406
1999
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadassa Jakobovits, Dirk Vermeir: Robust Semantics for Argumentation Frameworks. J. Log. Comput. 9(2): 215-261 (1999)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadassa Jakobovits, Dirk Vermeir: Dialectic semantics for argumentation frameworks. ICAIL 1999: 53-62
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246
1996
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHadassa Jakobovits, Dirk Vermeir: R-Stable Models for Logic Programs. Logic in Databases 1996: 233-243
1995
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry A. Halpin, Dirk Vermeir: Default Knowledge in Information Systems. DS-6 1995: 423-442
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Geerts, Dirk Vermeir: Specificity by Default. ECSQARU 1995: 207-216
1994
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Geerts, Dirk Vermeir, Donald Nute: Ordered logic: defeasible reasoning for multiple agents. Decision Support Systems 11(2): 157-190 (1994)
1993
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Geerts, Dirk Vermeir: A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396
1992
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls 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)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Saccà, Brigitte Verdonk, Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992: 230-244
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir, Carlo Zaniolo: Logic Programming Semantics Made Easy. ICALP 1992: 499-508
1991
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatts 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
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir: Supporting User Interactions with OODB's: A Declarative Approach. DEXA 1991: 210-215
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Geerts, Dirk Vermeir: Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991: 21-36
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991: 59-73
1990
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: Advanced knowledge-base environments for large database systems. Knowl.-Based Syst. 3(4): 215-220 (1990)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185 (1990)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Staes, Els Laenens, Dirk Vermeir, Laura Tarantino: A seamless integration of graphics and dialogues within a logic based object-oriented language. J. Vis. Lang. Comput. 1(4): 313-332 (1990)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: A Logical Basis for Object Oriented Programming. JELIA 1990: 317-332
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Brigitte Verdonk, Dirk Vermeir: The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990: 62-72
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193
1989
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, François Staes, Dirk Vermeir: Browsing à la Carte in Object-Oriented Databases. Comput. J. 32(4): 333-340 (1989)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, John Snijders, François Staes, Dirk Vermeir: A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System. CA(i)SE 1989
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, François Staes, Dirk Vermeir: A Customizable Window-Interface to Object-Oriented Databases. ECOOP 1989: 367-381
1988
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEls Laenens, Dirk Vermeir: An Overview of OOPS+, An Object-Oriented Database Programming Language. ECOOP 1988: 350-373
1983
j13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLN. Prabhakaran, Dirk Vermeir: On the Generation of Database Schemata. Australian Computer Journal 15(3): 91-102 (1983)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Vermeir: Semantic hierarchies and abstractions in conceptual schemata. Inf. Syst. 8(2): 117-124 (1983)
1982
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Vermeir, G. M. Nijssen: A procedure to define the object type structure of a conceptual schema. Inf. Syst. 7(4): 329-336 (1982)
1981
j10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: A hierarchy of ETOL languages with rank. Fundam. Inform. 4(1): 197- (1981)
j9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Vermeir, Walter J. Savitch: On the amount of non-determinism in pushdown in pushdown automata. Fundam. Inform. 4(2): 401-418 (1981)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Finite Tree-Rank. SIAM J. Comput. 10(1): 40-58 (1981)
1980
j7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: On metalinear ETOL systems. Fundam. Inform. 3(1): 15-36 (1980)
j6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: A note on M-growth functions of FTOL systems with rank. Fundam. Inform. 3(3): 295-302 (1980)
1979
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Meersman, Grzegorz Rozenberg, Dirk Vermeir: Persistent ET0L systems. Inf. Sci. 18(3): 189-212 (1979)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: On Recursion in ET0L Systems. J. Comput. Syst. Sci. 19(2): 179-196 (1979)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Rank. J. Comput. Syst. Sci. 19(3): 237-255 (1979)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: Extending the Notion of Finite Index. ICALP 1979: 479-488
1978
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: On ET0L Systems of Finite Index .Information and Control 38(1): 103-133 (1978)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz 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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: L Systems of Finite Index (Extended Abstract). ICALP 1977: 430-439
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: Acceptors for Iteration Languages. MFCS 1977: 460-464
1976
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Dirk Vermeir: Context-Free Programmed Grammars and ETOL Systems. MFCS 1976: 482-487

Coauthor Index

1Matts Ahlsen[c15]
2Kim Bauters[j39] [j37] [j35] [i6] [c68] [i5] [c66] [c65] [i3] [c64] [c62]
3L. Van Beirendonck[c15]
4Marjon Blondeel[j38] [j36] [c69] [p1] [c67]
5L. Van Cadsand[c15]
6Martine De Cock[j39] [j38] [j37] [j36] [j35] [c69] [p1] [i6] [b2] [j34] [j31] [c68] [i5] [j30] [j29] [c67] [c66] [c65] [i4] [i3] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [j27] [c55] [c49]
7Chris Cornelis[j29] [c63] [c61]
8Alessandro D'Atri[c15]
9Andrzej Ehrenfeucht[j8] [j3]
10Thomas Eiter[c54]
11Timur Fayruzov[j29] [c63] [c61]
12Dov M. Gabbay[c13]
13P. Geerts[c19] [j19] [c18] [c12]
14Terry A. Halpin[c20]
15Stijn Heymans[j28] [c56] [j26] [j25] [c53] [c52] [c51] [c50] [i2] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c36] [c35] [c32] [c30] [c29]
16Hadassa Jakobovits[j20] [c23] [c21]
17Jeroen Janssen[j35] [b2] [j34] [j33] [j32] [j31] [j30] [j29] [i4] [i3] [c64] [c63] [c60] [c59] [c58] [c57] [c56]
18Paul Johannesson[c15]
19Els Laenens[j21] [j18] [c16] [c15] [c13] [c11] [j17] [j16] [j15] [c10] [c9] [c8] [j14] [c7] [c6] [c5]
20Nicola Leone[c15]
21Robert Meersman[j5]
22Davy Van Nieuwenborgh[j28] [j27] [j26] [c55] [c54] [j25] [j24] [c53] [c52] [c51] [c50] [c49] [i2] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [i1] [c37] [c34] [c33] [c28]
23Sjir Nijssen
G. M. Nijssen
[j11]
24Donald Nute[j19]
25N. Prabhakaran[j13]
26P. Rossi[c15]
27Grzegorz Rozenberg[j10] [j8] [j7] [j6] [j5] [j4] [j3] [c4] [j2] [j1] [c3] [c2] [c1]
28Pasquale Rullo[c15]
29Domenico Saccà[c17] [c8]
30W. Van Santvliet[c15]
31Walter J. Savitch[j9]
32Steven Schockaert[j39] [j38] [j37] [j36] [j35] [c69] [p1] [i6] [b2] [j34] [j33] [j32] [j31] [c68] [i5] [j30] [c67] [c66] [c65] [i4] [i3] [c64] [c62] [c60] [c59] [c58] [c57]
33John Snijders[c7]
34François Staes[c15] [c14] [j15] [j14] [c7] [c6]
35Laura Tarantino[c15] [c14] [j15]
36J. Vanslembrouck[c15]
37Brigitte Verdonk[c17] [c15] [c14] [c9]
38Marina De Vos[c53] [j23] [c31] [j22] [c27] [c26] [c25] [c24] [c22]
39Carlo Zaniolo[c16]

 

Last update 2017-05-28 00:36 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page