Discover open access scientific publications

Search, annotate, share and cite publications

Publications by D. Vermeir

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

Related publications

Answer Sets for Prioritized Logic Programs

1997English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

From Answer Set Logic Programming to Circumscription via Logic of GK

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Inductive Logic Programming and Embodied Agents

International Journal of Agent Technologies and Systems
2009English

On the Relation Between ID-Logic and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Smodels a — A System for Computing Answer Sets of Logic Programs With Aggregates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Records for Logic Programming

The Journal of Logic Programming
1994English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Logic Programming

1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy