Zum Inhalt springen

Vermeir, Dirk [Verfasser:in]

Multi-paradigm programming using C++

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Communicating Answer Set Programs

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Efficient Solving of Time-dependent Answer Set Programs

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1988

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2006

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

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

Logic Programming: Order and Negation as Failure

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

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

Semantic Forcing in Disjunctive Logic Programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2001

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2000

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2000

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1999

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1999

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2012

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2012

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2008

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2007

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr