Dirk Vermeir

118 papers A* 5A 5B 25C 5Misc 1Journal 45Unranked 29
YearRankTypeTitle / Venue / Authors
2015 J jnl
Characterizing and extending answer set semantics using possibility theory.
Theory Pract. Log. Program.
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 J jnl
Complexity of fuzzy answer set programming under Łukasiewicz semantics.
Int. J. Approx. Reason.
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2014 J jnl
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming.
Fuzzy Sets Syst.
Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 J jnl
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions.
Int. J. Approx. Reason.
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2013 J jnl
Characterizing and Extending Answer Set Semantics using Possibility Theory.
CoRR
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2013 J jnl
Expressiveness of communication in answer set programming.
Theory Pract. Log. Program.
Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
2013 — ch.
Fuzzy Answer Set Programming: An Introduction.
Soft Computing: State of the Art Theory and Novel Applications
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2013 A* conf
Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees.
IJCAI
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2012 J jnl
A core language for fuzzy answer set programming.
Int. J. Approx. Reason.
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2012 — book
Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach.
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2012 J jnl
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains.
ACM Trans. Comput. Log.
Steven Schockaert, Jeroen Janssen, Dirk Vermeir
2012 J jnl
Possibilistic Answer Set Programming Revisited
CoRR
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2012 B conf
Possible and Necessary Answer Sets of Possibilistic Answer Set Programs.
ICTAI
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2012 J jnl
Reducing fuzzy answer set programming to model finding in fuzzy logics.
Theory Pract. Log. Program.
Jeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock
2012 J jnl
Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction.
J. Autom. Reason.
Steven Schockaert, Jeroen Janssen, Dirk Vermeir
2011 J jnl
Aggregated Fuzzy Answer Set Programming.
Ann. Math. Artif. Intell.
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 B conf
Communicating ASP and the Polynomial Hierarchy.
LPNMR
Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 J jnl
Expressiveness of Communication in Answer Set Programming
CoRR
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 C conf
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees.
ECSQARU
Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2011 J jnl
Modelling gene and protein regulatory networks with Answer Set Programming.
Int. J. Data Min. Bioinform.
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock
2011 J jnl
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
CoRR
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 — conf
Weak and Strong Disjunction in Possibilistic ASP.
SUM
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2010 — conf
Communicating Answer Set Programs.
ICLP (Technical Communications)
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2010 — conf
Efficient Solving of Time-dependent Answer Set Programs.
ICLP (Technical Communications)
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock
2010 — conf
Extending boolean regulatory network models with answer set programming.
BIBM Workshops
Timur Fayruzov, Jeroen Janssen, Chris Cornelis, Dirk Vermeir, Martine De Cock
2010 A conf
Possibilistic Answer Set Programming Revisited.
UAI
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2009 — conf
Answer Sets in a Fuzzy Equilibrium Logic.
RR
Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
2009 — conf
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic.
SUM
Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
2009 — conf
Fuzzy Answer Set Programming with Literal Preferences.
IFSA/EUSFLAT Conf.
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2009 — conf
General Fuzzy Answer Set Programs.
WILF
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2009 — conf
Modeling Protein Interaction Networks with Answer Set Programming.
BIBM
Timur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir
2008 B conf
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.
ICLP
Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
2008 J jnl
Open answer set programming with guarded programs.
ACM Trans. Comput. Log.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2007 J jnl
An introduction to fuzzy answer set programming.
Ann. Math. Artif. Intell.
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 B conf
Computing Fuzzy Answer Sets Using dlvhex.
ICLP
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 B conf
Conditional Planning with External Functions.
LPNMR
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir
2007 J jnl
Open answer set programming for the semantic web.
J. Appl. Log.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 A conf
Approximating Extended Answer Sets.
ECAI
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006 J jnl
Conceptual logic programs.
Ann. Math. Artif. Intell.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 B conf
Cooperating Answer Set Programming.
ICLP
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006 B conf
Fuzzy Answer Set Programming.
JELIA
Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2006 — conf
Guarded Open Answer Set Programming with Generalized Literals.
FoIKS
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 — conf
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.
CLIMA
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2006 J jnl
Open Answer Set Programming with Guarded Programs
CoRR
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2006 J jnl
Preferred answer sets for ordered logic programs.
Theory Pract. Log. Program.
Davy Van Nieuwenborgh, Dirk Vermeir
2005 C conf
An Ordered Logic Program Solver.
PADL
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005 — conf
Extending Conceptual Logic Programs with Arbitrary Rules.
Answer Set Programming
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 B conf
Guarded Open Answer Set Programming.
LPNMR
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 — conf
Intelligence Analysis Using Quantitative Preferences.
Answer Set Programming
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005 B conf
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.
ESWC
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 Misc conf
Preferential Reasoning on a Web of Trust.
ISWC
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 — conf
Synthesis from Temporal Specifications Using Preferred Answer Set Programming.
ICTCS
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 J jnl
Extending Answer Sets for Logic Programming Agents.
Ann. Math. Artif. Intell.
Marina De Vos, Dirk Vermeir
2004 B conf
Hierarchical Decision Making by Autonomous Agents.
JELIA
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 B conf
On Programs with Linearly Ordered Multiple Preferences.
ICLP
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2004 J jnl
Preferred Answer Sets for Ordered Logic Programs
CoRR
Davy Van Nieuwenborgh, Dirk Vermeir
2004 — conf
Semantic Web Reasoning with Conceptual Logic Programs.
RuleML
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 B conf
Weighted Answer Sets and Applications in Intelligence Analysis.
LPAR
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2003 — conf
Integrating Description Logics and Answer Set Programming.
PPSWR
Stijn Heymans, Dirk Vermeir
2003 — conf
Integrating Ontology Languages and Answer Set Programming.
DEXA Workshops
Stijn Heymans, Dirk Vermeir
2003 — conf
Integrating Semantic Web Reasoning and Answer Set Programming.
Answer Set Programming
Stijn Heymans, Dirk Vermeir
2003 B conf
Order and Negation as Failure.
ICLP
Davy Van Nieuwenborgh, Dirk Vermeir
2003 B conf
Ordered Diagnosis.
LPAR
Davy Van Nieuwenborgh, Dirk Vermeir
2003 — conf
Ordered Programs as Abductive Systems.
APPIA-GULP-PRODE
Davy Van Nieuwenborgh, Dirk Vermeir
2002 — conf
A Defeasible Ontology Language.
OTM
Stijn Heymans, Dirk Vermeir
2002 — conf
Dynamic Decision-Making in Logic Programming and Game Theory.
Australian Joint Conference on Artificial Intelligence
Marina De Vos, Dirk Vermeir
2002 B conf
Preferred Answer Sets for Ordered Logic Programs.
JELIA
Davy Van Nieuwenborgh, Dirk Vermeir
2002 — conf
Using Preference Order in Ontologies.
DEXA Workshops
Stijn Heymans, Dirk Vermeir
2001 — conf
Logic Programming Agents and Game Theory.
Answer Set Programming
Marina De Vos, Dirk Vermeir
2001 — book
Multi-paradigm programming using C++.
Dirk Vermeir
2001 J jnl
Semantic Forcing in Disjunctive Logic Programs.
Comput. Intell.
Marina De Vos, Dirk Vermeir
2000 B conf
A Logic for Modeling Decision Making with Dynamic Preferences.
JELIA
Marina De Vos, Dirk Vermeir
2000 J jnl
A Universal Fixpoint Semantics for Ordered Logic.
Comput. Artif. Intell.
Els Laenens, Dirk Vermeir
2000 — conf
Dynamically Ordered Probabilistic Choice Logic Programming.
FSTTCS
Marina De Vos, Dirk Vermeir
1999 B conf
Choice Logic Programs and Nash Equilibria in Strategic Games.
CSL
Marina De Vos, Dirk Vermeir
1999 C conf
Dialectic semantics for argumentation frameworks.
ICAIL
Hadassa Jakobovits, Dirk Vermeir
1999 B conf
On the Role of Negation in Choice Logic Programs.
LPNMR
Marina De Vos, Dirk Vermeir
1999 J jnl
Robust Semantics for Argumentation Frameworks.
J. Log. Comput.
Hadassa Jakobovits, Dirk Vermeir
1996 — conf
R-Stable Models for Logic Programs.
Logic in Databases
Hadassa Jakobovits, Dirk Vermeir
1995 — conf
Default Knowledge in Information Systems.
DS-6
Terry A. Halpin, Dirk Vermeir
1995 C conf
Specificity by Default.
ECSQARU
P. Geerts, Dirk Vermeir
1994 J jnl
Ordered logic: defeasible reasoning for multiple agents.
Decis. Support Syst.
P. Geerts, Dirk Vermeir, Donald Nute
1993 B conf
A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information.
LPNMR
P. Geerts, Dirk Vermeir
1992 J jnl
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput.
Els Laenens, Dirk Vermeir
1992 B conf
Evolution of Knowledge Bases.
EDBT
Domenico Saccà, Brigitte Verdonk, Dirk Vermeir
1992 A* conf
Logic Programming Semantics Made Easy.
ICALP
Els Laenens, Dirk Vermeir, Carlo Zaniolo
1991 B conf
Credulous and Autoepistemic Reasoning Using Ordered Logic.
LPNMR
P. Geerts, Dirk Vermeir
1991 A* conf
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
KR
Dov M. Gabbay, Els Laenens, Dirk Vermeir
1991 — conf
On the Relationship between Well-Founded and Stable Partial Models.
MFDBS
Els Laenens, Dirk Vermeir
1991 C conf
Supporting User Interactions with OODB's: A Declarative Approach.
DEXA
François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir
1991 A conf
The KIWIS Knowledge Base Management System.
CAiSE
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
1990 J jnl
A Fixpoint Semantics for Ordered Logic.
J. Log. Comput.
Els Laenens, Dirk Vermeir
1990 B conf
A Logical Basis for Object Oriented Programming.
JELIA
Els Laenens, Dirk Vermeir
1990 J jnl
A seamless integration of graphics and dialogues within a logic based object-oriented language.
J. Vis. Lang. Comput.
François Staes, Els Laenens, Dirk Vermeir, Laura Tarantino
1990 J jnl
Advanced knowledge-base environments for large database systems.
Knowl. Based Syst.
Els Laenens, Dirk Vermeir
1990 — conf
Extending Logic Programming.
SIGMOD Conference
Els Laenens, Domenico Saccà, Dirk Vermeir
1990 B conf
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
LPNMR
Els Laenens, Brigitte Verdonk, Dirk Vermeir
1989 — conf
A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System.
CA(i)SE
Els Laenens, John Snijders, François Staes, Dirk Vermeir
1989 A conf
A Customizable Window-Interface to Object-Oriented Databases.
ECOOP
Els Laenens, François Staes, Dirk Vermeir
1989 J jnl
Browsing à la Carte in Object-Oriented Databases.
Comput. J.
Els Laenens, François Staes, Dirk Vermeir
1988 A conf
An Overview of OOPS+, An Object-Oriented Database Programming Language.
ECOOP
Els Laenens, Dirk Vermeir
1983 J jnl
On the Generation of Database Schemata.
Aust. Comput. J.
Nagarajan Prabhakaran, Dirk Vermeir
1983 J jnl
Semantic hierarchies and abstractions in conceptual schemata.
Inf. Syst.
Dirk Vermeir
1982 J jnl
A procedure to define the object type structure of a conceptual schema.
Inf. Syst.
Dirk Vermeir, G. M. Nijssen
1981 J jnl
A hierarchy of ETOL languages with rank.
Fundam. Informaticae
Grzegorz Rozenberg, Dirk Vermeir
1981 J jnl
On ET0L Systems with Finite Tree-Rank.
SIAM J. Comput.
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir
1981 J jnl
On the amount of non-determinism in pushdown in pushdown automata.
Fundam. Informaticae
Dirk Vermeir, Walter J. Savitch
1980 J jnl
A note on M-growth functions of FTOL systems with rank.
Fundam. Informaticae
Grzegorz Rozenberg, Dirk Vermeir
1980 J jnl
On metalinear ETOL systems.
Fundam. Informaticae
Grzegorz Rozenberg, Dirk Vermeir
1979 A* conf
Extending the Notion of Finite Index.
ICALP
Grzegorz Rozenberg, Dirk Vermeir
1979 J jnl
On ET0L Systems with Rank.
J. Comput. Syst. Sci.
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir
1979 J jnl
On Recursion in ET0L Systems.
J. Comput. Syst. Sci.
Grzegorz Rozenberg, Dirk Vermeir
1979 J jnl
Persistent ET0L systems.
Inf. Sci.
Robert Meersman, Grzegorz Rozenberg, Dirk Vermeir
1978 J jnl
On ET0L Systems of Finite Index
Inf. Control.
Grzegorz Rozenberg, Dirk Vermeir
1978 J jnl
On the Effect of the Finite Index Restriction on Several Families of Grammars
Inf. Control.
Grzegorz Rozenberg, Dirk Vermeir
1977 B conf
Acceptors for Iteration Languages.
MFCS
Grzegorz Rozenberg, Dirk Vermeir
1977 A* conf
L Systems of Finite Index (Extended Abstract).
ICALP
Grzegorz Rozenberg, Dirk Vermeir
1976 B conf
Context-Free Programmed Grammars and ETOL Systems.
MFCS
Grzegorz Rozenberg, Dirk Vermeir