EasyChair Smart SlideDocs/Log in
Conference: ASPOCP 2018 (11th Workshop on Answer Set Programming and Other Computing Paradigms)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Survey of Advances in Epistemic Logic Program Solvers

A Survey of Advances in Epistemic Logic Program Solvers

Anthony Leclerc and Patrick Kahl

selp: A Single-Shot Epistemic Logic Program Solver

selp: A Single-Shot Epistemic Logic Program Solver

Manuel Bichler, Michael Morak and Stefan Woltran

Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

Vu Phan

Partial Evaluation of Logic Programs in Vector Spaces

Partial Evaluation of Logic Programs in Vector Spaces

Chiaki Sakama, Hien Nguyen, Taisuke Sato and Katsumi Inoue

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair