The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dirk Vermeir" ( http://dblp.L3S.de/Authors/Dirk_Vermeir )

URL (Homepage):  http://tinf2.vub.ac.be/~dvermeir/  Author page on DBLP  Author page in RDF  Community of Dirk Vermeir in ASPL-2

Publication years (Num. hits)
1976-1982 (15) 1983-1991 (16) 1992-2001 (17) 2002-2004 (16) 2005-2006 (15) 2007-2011 (21) 2012 (2)
Publication types (Num. hits)
article(35) book(1) inproceedings(66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 12 keywords

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