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	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies selp: A Single-Shot Epistemic Logic Program Solver Invited Talk: Optimization Problems in Answer Set Programming
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	A Survey of Advances in Epistemic Logic Program Solvers Syntactic Conditions for Antichain Property in Consistency Restoring Prolog Datalog for Static Analysis Involving Logical Formulae
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