FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
Abstraction	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
agent policies	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
answer set	Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
Answer Set Programming	Invited Talk: Optimization Problems in Answer Set Programming selp: A Single-Shot Epistemic Logic Program Solver Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Answer Set Programming Extensions	A Survey of Advances in Epistemic Logic Program Solvers
D
Datalog	Datalog for Static Analysis Involving Logical Formulae
dependency graph	Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
E
Epistemic Logic Program Solvers	A Survey of Advances in Epistemic Logic Program Solvers
Epistemic Logic Programs	selp: A Single-Shot Epistemic Logic Program Solver A Survey of Advances in Epistemic Logic Program Solvers
Epistemic Negations	A Survey of Advances in Epistemic Logic Program Solvers
Epistemic Specifications	A Survey of Advances in Epistemic Logic Program Solvers
L
logic program	Partial Evaluation of Logic Programs in Vector Spaces
Logic Programming	Datalog for Static Analysis Involving Logical Formulae Syntactic Conditions for Antichain Property in Consistency Restoring Prolog A Survey of Advances in Epistemic Logic Program Solvers
M
model checking	Datalog for Static Analysis Involving Logical Formulae
P
Partial Evaluation	Partial Evaluation of Logic Programs in Vector Spaces
program completion	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
program correctness	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
programming methodology	anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
proof of literal	Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
R
Reasoning	Invited Talk: Optimization Problems in Answer Set Programming
Rule Decomposition	selp: A Single-Shot Epistemic Logic Program Solver
S
Solvers	A Survey of Advances in Epistemic Logic Program Solvers
Solving	Invited Talk: Optimization Problems in Answer Set Programming
Static Analysis	Datalog for Static Analysis Involving Logical Formulae
Symbolic execution	Datalog for Static Analysis Involving Logical Formulae
V
vector space	Partial Evaluation of Logic Programs in Vector Spaces
W
World Views	A Survey of Advances in Epistemic Logic Program Solvers

Disclaimer | Powered by EasyChair Smart Program