Skip to contents

Vermeir, Dirk [Author]

Multi-paradigm programming using C++

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Berlin; Heidelberg [u.a.]: Springer, c 2001
Bauters, Kim [Author]; Janssen, Jeroen [Author]; Schockaert, Steven [Author]; Vermeir, Dirk [Author]; De Cock, Martine [Author] ; Kim Bauters and Jeroen Janssen and Steven Schockaert and Dirk Vermeir and Martine De Cock [Contributor]

Communicating Answer Set Programs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Fayruzov, Timur [Author]; Janssen, Jeroen [Author]; Vermeir, Dirk [Author]; Cornelis, Chris [Author]; De Cock, Martine [Author] ; Timur Fayruzov and Jeroen Janssen and Dirk Vermeir and Chris Cornelis and Martine De Cock [Contributor]

Efficient Solving of Time-dependent Answer Set Programs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Heymans, Stijn; Vermeir, Dirk

Principles and Practice of Semantic Web Reasoning: Integrating Description Logics and Answer Set Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Principles and Practice of Semantic Web Reasoning (2003), Seite 146-159
Laenens, Els; Vermeir, Dirk

ECOOP ’88 European Conference on Object-Oriented Programming: An Overview of OOPS+, an Object-Oriented Database Programming Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1988

Published in: ECOOP ’88 European Conference on Object-Oriented Programming (1988), Seite 350-373
VAN NIEUWENBORGH, DAVY; VERMEIR, DIRK

Preferred answer sets for ordered logic programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2006

Published in: Theory and Practice of Logic Programming, 6 (2006) 1-2, Seite 107-167
Van Nieuwenborgh, Davy; Vermeir, Dirk

Logic for Programming, Artificial Intelligence, and Reasoning: Ordered Diagnosis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2003), Seite 244-258
Van Nieuwenborgh, Davy; Vermeir, Dirk

Logic Programming: Order and Negation as Failure

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Logic Programming (2003), Seite 194-208
De Vos, Marina; Vermeir, Dirk

Lecture Notes in Computer Science: Dynamic Decision-Making in Logic Programming and Game Theory

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Lecture Notes in Computer Science (2002), Seite 36-47
Van Nieuwenborgh, Davy; Vermeir, Dirk

Logics in Artificial Intelligence: Preferred Answer Sets for Ordered Logic Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Logics in Artificial Intelligence (2002), Seite 432-443
De Vos, Marina; Vermeir, Dirk

Semantic Forcing in Disjunctive Logic Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2001

Published in: Computational Intelligence, 17 (2001) 4, Seite 651-684
De Vos, Marina; Vermeir, Dirk

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: Dynamically Ordered Probabilistic Choice Logic Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science (2000), Seite 227-239
Vos, Marina De; Vermeir, Dirk

Logics in Artificial Intelligence: A Logic for Modeling Decision Making with Dynamic Preferences

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Logics in Artificial Intelligence (2000), Seite 391-406
De Vos, Marina; Vermeir, Dirk

Computer Science Logic: Choice Logic Programs and Nash Equilibria in Strategic Games

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Computer Science Logic (1999), Seite 266-276
De Vos, Marina; Vermeir, Dirk

Logic Programming and Nonmonotonic Reasoning: On the Role of Negation in Choice Logic Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Logic Programming and Nonmonotonic Reasoning (1999), Seite 236-246
Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk

Fuzzy Equilibrium Logic : Declarative Problem Solving in Continuous Domains : Declarative Problem Solving in Continuous Domains

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM Transactions on Computational Logic, 13 (2012) 4, Seite 1-39
Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk

Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2012

Published in: Journal of Automated Reasoning, 49 (2012) 4, Seite 493-550
Heymans, Stijn; Nieuwenborgh, Davy Van; Vermeir, Dirk

Open answer set programming with guarded programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2008

Published in: ACM Transactions on Computational Logic, 9 (2008) 4, Seite 1-53
Van Nieuwenborgh, Davy; Eiter, Thomas; Vermeir, Dirk

Logic Programming and Nonmonotonic Reasoning: Conditional Planning with External Functions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2007

Published in: Logic Programming and Nonmonotonic Reasoning (2007), Seite 214-227
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk

Open answer set programming for the semantic web

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2007

Published in: Journal of Applied Logic, 5 (2007) 1, Seite 144-169

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication