FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
Answer Set Programming
ASP systems
ASPIDE
C
Cognitive Modeling
Confluence Analysis
Constraint Handling Rules
Constraint Handling Rules (CHR)
constraints
CSP Solver
D
Datalog
Decision Model and Notation (DMN)
Decision Modeling
declarative programming
DLVSYSTEM srl
Dynamic domains
F
functional programming
G
Graph Analysis
Graph Drawing
Graph Generation
Graph Recognition
Graph Representation
I
imperative programming
J
JASP
JDLV
K
knowledge representation
L
lambda calculus
Logic Meta-Programming
Logic Programming
M
Mason's Marks
N
nondeterminism
O
Object Constraint Language (OCL)
P
Picat
programming paradigm
Python
Q
queries
R
RBAC
Real-world applications
Role-Based Access Control
Role-Based Access Control (RBAC)
rules
S
SAT
Security Policy
software design
Software Tools
Straight-Line Graphs
T
Trust Management
U
UML
X
XSB