| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
Possibilistic Answer Set Programming Revisited  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
A core language for fuzzy answer set programming.  |
Int. J. Approx. Reasoning  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock |
Modelling gene and protein regulatory networks with Answer Set Programming.  |
IJDMB  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Expressiveness of Communication in Answer Set Programming  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Aggregated Fuzzy Answer Set Programming.  |
Ann. Math. Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
Weak and Strong Disjunction in Possibilistic ASP.  |
SUM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir |
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees.  |
ECSQARU  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Communicating ASP and the Polynomial Hierarchy.  |
LPNMR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock |
Efficient Solving of Time-dependent Answer Set Programs.  |
ICLP (Technical Communications)  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Communicating Answer Set Programs.  |
ICLP (Technical Communications)  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir |
Possibilistic Answer Set Programming Revisited.  |
UAI  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic.  |
SUM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Timur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir |
Modeling Protein Interaction Networks with Answer Set Programming.  |
BIBM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Answer Sets in a Fuzzy Equilibrium Logic.  |
RR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
General Fuzzy Answer Set Programs.  |
WILF  |
2009 |
DBLP DOI BibTeX RDF |
Valued Constraint Satisfaction, Fuzzy Logic, Answer Set Programs |
| 1 | Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock |
Fuzzy Answer Set Programming with Literal Preferences.  |
IFSA/EUSFLAT Conf.  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs.  |
ACM Trans. Comput. Log.  |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |
| 1 | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.  |
ICLP  |
2008 |
DBLP DOI BibTeX RDF |
Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming |
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming for the semantic web.  |
J. Applied Logic  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
An introduction to fuzzy answer set programming.  |
Ann. Math. Artif. Intell.  |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 68T37 |
| 1 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
Computing Fuzzy Answer Sets Using dlvhex.  |
ICLP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
Conditional Planning with External Functions.  |
LPNMR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open Answer Set Programming with Guarded Programs  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Conceptual logic programs.  |
Ann. Math. Artif. Intell.  |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68N17, 68T30 |
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Preferred answer sets for ordered logic programs.  |
TPLP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir |
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.  |
CLIMA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
Approximating Extended Answer Sets.  |
ECAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
Cooperating Answer Set Programming.  |
ICLP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir |
Fuzzy Answer Set Programming.  |
JELIA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Guarded Open Answer Set Programming with Generalized Literals.  |
FoIKS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
An Ordered Logic Program Solver.  |
PADL  |
2005 |
DBLP DOI BibTeX RDF |
Implementation, Preference, Answer Set Programming |
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Synthesis from Temporal Specifications Using Preferred Answer Set Programming.  |
ICTCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.  |
ESWC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Guarded Open Answer Set Programming.  |
LPNMR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Extending Conceptual Logic Programs with Arbitrary Rules.  |
Answer Set Programming  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
Intelligence Analysis Using Quantitative Preferences.  |
Answer Set Programming  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Preferential Reasoning on a Web of Trust.  |
International Semantic Web Conference  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Preferred Answer Sets for Ordered Logic Programs  |
CoRR  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Extending Answer Sets for Logic Programming Agents.  |
Ann. Math. Artif. Intell.  |
2004 |
DBLP DOI BibTeX RDF |
multi-agent sytems, game theory, knowledge representation, answer set programming |
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
Weighted Answer Sets and Applications in Intelligence Analysis.  |
LPAR  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
On Programs with Linearly Ordered Multiple Preferences.  |
ICLP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Hierarchical Decision Making by Autonomous Agents.  |
JELIA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Semantic Web Reasoning with Conceptual Logic Programs.  |
RuleML  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Ordered Diagnosis.  |
LPAR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Ordered Programs as Abductive Systems.  |
APPIA-GULP-PRODE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Order and Negation as Failure.  |
ICLP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Dirk Vermeir |
Integrating Description Logics and Answer Set Programming.  |
PPSWR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Dirk Vermeir |
Integrating Semantic Web Reasoning and Answer Set Programming.  |
Answer Set Programming  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stijn Heymans, Dirk Vermeir |
Integrating Ontology Languages and Answer Set Programming.  |
DEXA Workshops  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Dynamic Decision-Making in Logic Programming and Game Theory.  |
Australian Joint Conference on Artificial Intelligence  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Preferred Answer Sets for Ordered Logic Programs.  |
JELIA  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Dirk Vermeir |
A Defeasible Ontology Language.  |
CoopIS/DOA/ODBASE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Dirk Vermeir |
Using Preference Order in Ontologies. (PDF / PS)  |
DEXA Workshops  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Semantic Forcing in Disjunctive Logic Programs.  |
Computational Intelligence  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Vermeir |
Multi-paradigm programming using C++.  |
|
2001 |
RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Logic Programming Agents and Game Theory.  |
Answer Set Programming  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
A Universal Fixpoint Semantics for Ordered Logic.  |
Computers and Artificial Intelligence  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
A Logic for Modeling Decision Making with Dynamic Preferences.  |
JELIA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Dynamically Ordered Probabilistic Choice Logic Programming.  |
FSTTCS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadassa Jakobovits, Dirk Vermeir |
Robust Semantics for Argumentation Frameworks.  |
J. Log. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs.  |
LPNMR  |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
| 1 | Hadassa Jakobovits, Dirk Vermeir |
Dialectic semantics for argumentation frameworks.  |
ICAIL  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Choice Logic Programs and Nash Equilibria in Strategic Games.  |
CSL  |
1999 |
DBLP DOI BibTeX RDF |
game theory, logic programs, nondeterminism, choice, stable model semantics |
| 1 | Hadassa Jakobovits, Dirk Vermeir |
R-Stable Models for Logic Programs.  |
Logic in Databases  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Geerts, Dirk Vermeir |
Specificity by Default.  |
ECSQARU  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Terry A. Halpin, Dirk Vermeir |
Default Knowledge in Information Systems.  |
DS-6  |
1995 |
DBLP BibTeX RDF |
|
| 1 | P. Geerts, Dirk Vermeir |
A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information.  |
LPNMR  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.  |
J. Log. Comput.  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir, Carlo Zaniolo |
Logic Programming Semantics Made Easy.  |
ICALP  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Saccà, Brigitte Verdonk, Dirk Vermeir |
Evolution of Knowledge Bases.  |
EDBT  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Geerts, Dirk Vermeir |
Credulous and Autoepistemic Reasoning Using Ordered Logic.  |
LPNMR  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
On the Relationship between Well-Founded and Stable Partial Models.  |
MFDBS  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay, Els Laenens, Dirk Vermeir |
Credulous vs. Sceptical Semantics for Ordered Logic Programs.  |
KR  |
1991 |
DBLP BibTeX RDF |
|
| 1 | François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir |
Supporting User Interactions with OODB's: A Declarative Approach.  |
DEXA  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
A Fixpoint Semantics for Ordered Logic.  |
J. Log. Comput.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
Advanced knowledge-base environments for large database systems.  |
Knowl.-Based Syst.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
A Logical Basis for Object Oriented Programming.  |
JELIA  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, Domenico Saccà, Dirk Vermeir |
Extending Logic Programming.  |
SIGMOD Conference  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, Brigitte Verdonk, Dirk Vermeir |
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.  |
LPNMR  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, François Staes, Dirk Vermeir |
Browsing à la Carte in Object-Oriented Databases.  |
Comput. J.  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Els Laenens, François Staes, Dirk Vermeir |
A Customizable Window-Interface to Object-Oriented Databases.  |
ECOOP  |
1989 |
DBLP BibTeX RDF |
|
| 1 | Els Laenens, Dirk Vermeir |
An Overview of OOPS+, An Object-Oriented Database Programming Language.  |
ECOOP  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Vermeir |
Semantic hierarchies and abstractions in conceptual schemata.  |
Inf. Syst.  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Prabhakaran, Dirk Vermeir |
On the Generation of Database Schemata.  |
Australian Computer Journal  |
1983 |
DBLP BibTeX RDF |
|
| 1 | Dirk Vermeir, G. M. Nijssen |
A procedure to define the object type structure of a conceptual schema.  |
Inf. Syst.  |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
A hierarchy of ETOL languages with rank.  |
Fundam. Inform.  |
1981 |
DBLP BibTeX RDF |
|
| 1 | Dirk Vermeir, Walter J. Savitch |
On the amount of non-determinism in pushdown in pushdown automata.  |
Fundam. Inform.  |
1981 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir |
On ET0L Systems with Finite Tree-Rank.  |
SIAM J. Comput.  |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
On metalinear ETOL systems.  |
Fundam. Inform.  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
A note on M-growth functions of FTOL systems with rank.  |
Fundam. Inform.  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Robert Meersman, Grzegorz Rozenberg, Dirk Vermeir |
Persistent ET0L systems.  |
Inf. Sci.  |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir |
On ET0L Systems with Rank.  |
J. Comput. Syst. Sci.  |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
On Recursion in ET0L Systems.  |
J. Comput. Syst. Sci.  |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
Extending the Notion of Finite Index.  |
ICALP  |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
On the Effect of the Finite Index Restriction on Several Families of Grammars  |
Information and Control  |
1978 |
RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
On ET0L Systems of Finite Index  |
Information and Control  |
1978 |
RDF |
|
| 1 | Grzegorz Rozenberg, Dirk Vermeir |
L Systems of Finite Index (Extended Abstract).  |
ICALP  |
1977 |
DBLP DOI BibTeX RDF |
|