HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Patrick Kahl

Publications
Epistemic Logic Programs with World View Constraints
Patrick Kahl and Anthony Leclerc
EasyChair Preprint no. 231
A Survey of Advances in Epistemic Logic Program Solvers
Anthony Leclerc and Patrick Kahl
EasyChair Preprint no. 220

Keyphrases

Answer Set Programming, Answer Set Programming Extensions, constraints, Epistemic Logic Program Solvers, Epistemic Logic Programs2, Epistemic Negations, Epistemic Specifications2, logic programming2, solvers, World View Constraints, World View Rules, world views, WV Facts.

Copyright © 2012-2023 easychair.org. All rights reserved.