default search action
Dirk Vermeir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j39]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and extending answer set semantics using possibility theory. Theory Pract. Log. Program. 15(1): 79-116 (2015) - 2014
- [j38]Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. Fuzzy Sets Syst. 239: 51-80 (2014) - [j37]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions. Int. J. Approx. Reason. 55(2): 739-761 (2014) - [j36]Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Complexity of fuzzy answer set programming under Łukasiewicz semantics. Int. J. Approx. Reason. 55(9): 1971-2003 (2014) - 2013
- [j35]Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
Expressiveness of communication in answer set programming. Theory Pract. Log. Program. 13(3): 361-394 (2013) - [c70]Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees. IJCAI 2013: 3205-3206 - [p1]Marjon 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 - [i6]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and Extending Answer Set Semantics using Possibility Theory. CoRR abs/1312.0127 (2013) - 2012
- [b2]Jeroen 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 - [j34]Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
A core language for fuzzy answer set programming. Int. J. Approx. Reason. 53(4): 660-692 (2012) - [j33]Steven Schockaert, Jeroen Janssen, Dirk Vermeir:
Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. J. Autom. Reason. 49(4): 493-550 (2012) - [j32]Steven 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) - [j31]Jeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock:
Reducing fuzzy answer set programming to model finding in fuzzy logics. Theory Pract. Log. Program. 12(6): 811-842 (2012) - [c69]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. ICTAI 2012: 836-843 - [i5]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Possibilistic Answer Set Programming Revisited. CoRR abs/1203.3466 (2012) - 2011
- [j30]Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Aggregated Fuzzy Answer Set Programming. Ann. Math. Artif. Intell. 63(2): 103-147 (2011) - [j29]Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock:
Modelling gene and protein regulatory networks with Answer Set Programming. Int. J. Data Min. Bioinform. 5(2): 209-229 (2011) - [c68]Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. ECSQARU 2011: 616-627 - [c67]Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Communicating ASP and the Polynomial Hierarchy. LPNMR 2011: 67-79 - [c66]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Weak and Strong Disjunction in Possibilistic ASP. SUM 2011: 475-488 - [i4]Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics. CoRR abs/1104.5133 (2011) - [i3]Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Expressiveness of Communication in Answer Set Programming. CoRR abs/1109.2434 (2011) - 2010
- [c65]Timur Fayruzov, Jeroen Janssen, Chris Cornelis, Dirk Vermeir, Martine De Cock:
Extending boolean regulatory network models with answer set programming. BIBM Workshops 2010: 207-212 - [c64]Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Communicating Answer Set Programs. ICLP (Technical Communications) 2010: 34-43 - [c63]Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock:
Efficient Solving of Time-dependent Answer Set Programs. ICLP (Technical Communications) 2010: 64-73 - [c62]Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Possibilistic Answer Set Programming Revisited. UAI 2010: 48-55
2000 – 2009
- 2009
- [c61]Timur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir:
Modeling Protein Interaction Networks with Answer Set Programming. BIBM 2009: 99-104 - [c60]Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Fuzzy Answer Set Programming with Literal Preferences. IFSA/EUSFLAT Conf. 2009: 1347-1352 - [c59]Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
Answer Sets in a Fuzzy Equilibrium Logic. RR 2009: 135-149 - [c58]Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. SUM 2009: 240-254 - [c57]Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
General Fuzzy Answer Set Programs. WILF 2009: 352-359 - 2008
- [j28]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4): 26:1-26:53 (2008) - [c56]Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock:
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376 - 2007
- [j27]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) - [j26]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Open answer set programming for the semantic web. J. Appl. Log. 5(1): 144-169 (2007) - [c55]Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
Computing Fuzzy Answer Sets Using dlvhex. ICLP 2007: 449-450 - [c54]Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir:
Conditional Planning with External Functions. LPNMR 2007: 214-227 - 2006
- [j25]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006) - [j24]Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred answer sets for ordered logic programs. Theory Pract. Log. Program. 6(1-2): 107-167 (2006) - [c53]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 - [c52]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Approximating Extended Answer Sets. ECAI 2006: 462-466 - [c51]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200 - [c50]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Cooperating Answer Set Programming. ICLP 2006: 226-241 - [c49]Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
Fuzzy Answer Set Programming. JELIA 2006: 359-372 - [i2]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Open Answer Set Programming with Guarded Programs. CoRR abs/cs/0603025 (2006) - 2005
- [c48]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005 - [c47]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005 - [c46]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407 - [c45]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294 - [c44]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Guarded Open Answer Set Programming. LPNMR 2005: 92-104 - [c43]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
An Ordered Logic Program Solver. PADL 2005: 128-142 - [c42]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Preferential Reasoning on a Web of Trust. ISWC 2005: 368-382 - 2004
- [j23]Marina De Vos, Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004) - [c41]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194 - [c40]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56 - [c39]Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183 - [c38]Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127 - [i1]Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs. CoRR cs.LO/0407049 (2004) - 2003
- [c37]Davy Van Nieuwenborgh, Dirk Vermeir:
Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385 - [c36]Stijn Heymans, Dirk Vermeir:
Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003 - [c35]Stijn Heymans, Dirk Vermeir:
Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588 - [c34]Davy Van Nieuwenborgh, Dirk Vermeir:
Order and Negation as Failure. ICLP 2003: 194-208 - [c33]Davy Van Nieuwenborgh, Dirk Vermeir:
Ordered Diagnosis. LPAR 2003: 244-258 - [c32]Stijn Heymans, Dirk Vermeir:
Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159 - 2002
- [c31]Marina De Vos, Dirk Vermeir:
Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47 - [c30]Stijn Heymans, Dirk Vermeir:
A Defeasible Ontology Language. OTM 2002: 1033-1046 - [c29]Stijn Heymans, Dirk Vermeir:
Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92 - [c28]Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443 - 2001
- [b1]Dirk Vermeir:
Multi-paradigm programming using C++. Springer 2001, ISBN 978-1-85233-483-3, pp. I-XV, 1-287 - [j22]Marina De Vos, Dirk Vermeir:
Semantic Forcing in Disjunctive Logic Programs. Comput. Intell. 17(3): 651-684 (2001) - [c27]Marina De Vos, Dirk Vermeir:
Logic Programming Agents and Game Theory. Answer Set Programming 2001 - 2000
- [j21]Els Laenens, Dirk Vermeir:
A Universal Fixpoint Semantics for Ordered Logic. Comput. Artif. Intell. 19(3): 221-254 (2000) - [c26]Marina De Vos, Dirk Vermeir:
Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239 - [c25]Marina De Vos, Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406
1990 – 1999
- 1999
- [j20]Hadassa Jakobovits, Dirk Vermeir:
Robust Semantics for Argumentation Frameworks. J. Log. Comput. 9(2): 215-261 (1999) - [c24]Marina De Vos, Dirk Vermeir:
Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276 - [c23]Hadassa Jakobovits, Dirk Vermeir:
Dialectic semantics for argumentation frameworks. ICAIL 1999: 53-62 - [c22]Marina De Vos, Dirk Vermeir:
On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246 - 1996
- [c21]Hadassa Jakobovits, Dirk Vermeir:
R-Stable Models for Logic Programs. Logic in Databases 1996: 233-243 - 1995
- [c20]Terry A. Halpin, Dirk Vermeir:
Default Knowledge in Information Systems. DS-6 1995: 423-442 - [c19]P. Geerts, Dirk Vermeir:
Specificity by Default. ECSQARU 1995: 207-216 - 1994
- [j19]P. Geerts, Dirk Vermeir, Donald Nute:
Ordered logic: defeasible reasoning for multiple agents. Decis. Support Syst. 11(2): 157-190 (1994) - 1993
- [c18]P. Geerts, Dirk Vermeir:
A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396 - 1992
- [j18]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) - [c17]Domenico Saccà, Brigitte Verdonk, Dirk Vermeir:
Evolution of Knowledge Bases. EDBT 1992: 230-244 - [c16]Els Laenens, Dirk Vermeir, Carlo Zaniolo:
Logic Programming Semantics Made Easy. ICALP 1992: 499-508 - 1991
- [c15]Matts Ahlsén, 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 - [c14]François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir:
Supporting User Interactions with OODB's: A Declarative Approach. DEXA 1991: 210-215 - [c13]Dov M. Gabbay, Els Laenens, Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217 - [c12]P. Geerts, Dirk Vermeir:
Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991: 21-36 - [c11]Els Laenens, Dirk Vermeir:
On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991: 59-73 - 1990
- [j17]Els Laenens, Dirk Vermeir:
Advanced knowledge-base environments for large database systems. Knowl. Based Syst. 3(4): 215-220 (1990) - [j16]Els Laenens, Dirk Vermeir:
A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185 (1990) - [j15]Franç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) - [c10]Els Laenens, Dirk Vermeir:
A Logical Basis for Object Oriented Programming. JELIA 1990: 317-332 - [c9]Els Laenens, Brigitte Verdonk, Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990: 62-72 - [c8]Els Laenens, Domenico Saccà, Dirk Vermeir:
Extending Logic Programming. SIGMOD Conference 1990: 184-193
1980 – 1989
- 1989
- [j14]Els Laenens, François Staes, Dirk Vermeir:
Browsing à la Carte in Object-Oriented Databases. Comput. J. 32(4): 333-340 (1989) - [c7]Els 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 - [c6]Els Laenens, François Staes, Dirk Vermeir:
A Customizable Window-Interface to Object-Oriented Databases. ECOOP 1989: 367-381 - 1988
- [c5]Els Laenens, Dirk Vermeir:
An Overview of OOPS+, An Object-Oriented Database Programming Language. ECOOP 1988: 350-373 - 1983
- [j13]Nagarajan Prabhakaran, Dirk Vermeir:
On the Generation of Database Schemata. Aust. Comput. J. 15(3): 91-102 (1983) - [j12]Dirk Vermeir:
Semantic hierarchies and abstractions in conceptual schemata. Inf. Syst. 8(2): 117-124 (1983) - 1982
- [j11]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
- [j10]Grzegorz Rozenberg, Dirk Vermeir:
A hierarchy of ETOL languages with rank. Fundam. Informaticae 4(1): 197- (1981) - [j9]Dirk Vermeir, Walter J. Savitch:
On the amount of non-determinism in pushdown in pushdown automata. Fundam. Informaticae 4(2): 401-418 (1981) - [j8]Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir:
On ET0L Systems with Finite Tree-Rank. SIAM J. Comput. 10(1): 40-58 (1981) - 1980
- [j7]Grzegorz Rozenberg, Dirk Vermeir:
On metalinear ETOL systems. Fundam. Informaticae 3(1): 15-36 (1980) - [j6]Grzegorz Rozenberg, Dirk Vermeir:
A note on M-growth functions of FTOL systems with rank. Fundam. Informaticae 3(3): 295-302 (1980)
1970 – 1979
- 1979
- [j5]Robert Meersman, Grzegorz Rozenberg, Dirk Vermeir:
Persistent ET0L systems. Inf. Sci. 18(3): 189-212 (1979) - [j4]Grzegorz Rozenberg, Dirk Vermeir:
On Recursion in ET0L Systems. J. Comput. Syst. Sci. 19(2): 179-196 (1979) - [j3]Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir:
On ET0L Systems with Rank. J. Comput. Syst. Sci. 19(3): 237-255 (1979) - [c4]Grzegorz Rozenberg, Dirk Vermeir:
Extending the Notion of Finite Index. ICALP 1979: 479-488 - 1978
- [j2]Grzegorz Rozenberg, Dirk Vermeir:
On ET0L Systems of Finite Index. Inf. Control. 38(1): 103-133 (1978) - [j1]Grzegorz Rozenberg, Dirk Vermeir:
On the Effect of the Finite Index Restriction on Several Families of Grammars. Inf. Control. 39(3): 284-302 (1978) - 1977
- [c3]Grzegorz Rozenberg, Dirk Vermeir:
L Systems of Finite Index (Extended Abstract). ICALP 1977: 430-439 - [c2]Grzegorz Rozenberg, Dirk Vermeir:
Acceptors for Iteration Languages. MFCS 1977: 460-464 - 1976
- [c1]Grzegorz Rozenberg, Dirk Vermeir:
Context-Free Programmed Grammars and ETOL Systems. MFCS 1976: 482-487
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint