FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alviano, Mario	Invited Talk: Optimization Problems in Answer Set Programming
B
Bembenek, Aaron	Datalog for Static Analysis Involving Logical Formulae
Bichler, Manuel	selp: A Single-Shot Epistemic Logic Program Solver
C
Chong, Stephen	Datalog for Static Analysis Involving Logical Formulae
E
Eiter, Thomas	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
I
Inoue, Katsumi	Partial Evaluation of Logic Programs in Vector Spaces
K
Kahl, Patrick	A Survey of Advances in Epistemic Logic Program Solvers
L
Leclerc, Anthony	A Survey of Advances in Epistemic Logic Program Solvers
Lifschitz, Vladimir	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
Lühne, Patrick	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
M
Morak, Michael	selp: A Single-Shot Epistemic Logic Program Solver
N
Nguyen, Hien	Partial Evaluation of Logic Programs in Vector Spaces
P
Phan, Vu	Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
S
Sakama, Chiaki	Partial Evaluation of Logic Programs in Vector Spaces
Saribatur, Zeynep G.	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Sato, Taisuke	Partial Evaluation of Logic Programs in Vector Spaces
Schaub, Torsten	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
W
Woltran, Stefan	selp: A Single-Shot Epistemic Logic Program Solver

Disclaimer | Powered by EasyChair Smart Program