FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
Answer Set Programming	Invited Talk: On the Development of Industrial Applications with ASP Role-Based Access Control via JASP How to upgrade ASP for true dynamic modelling and solving?
ASP systems	Invited Talk: On the Development of Industrial Applications with ASP
ASPIDE	Invited Talk: On the Development of Industrial Applications with ASP
C
Cognitive Modeling	Confluence Analysis of Cognitive Models with Constraint Handling Rules
Confluence Analysis	Confluence Analysis of Cognitive Models with Constraint Handling Rules
Constraint Handling Rules	Confluence Analysis of Cognitive Models with Constraint Handling Rules
Constraint Handling Rules (CHR)	Security Policies in Constraint Handling Rules
constraints	Easier Rules and Constraints for Programming
CSP Solver	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
D
Datalog	Security Policies in Constraint Handling Rules
Decision Model and Notation (DMN)	Logic-based Methods for Software Engineers and Business People
Decision Modeling	Logic-based Methods for Software Engineers and Business People
declarative programming	A software system should be declarative except where it interacts with the real world
DLVSYSTEM srl	Invited Talk: On the Development of Industrial Applications with ASP
Dynamic domains	How to upgrade ASP for true dynamic modelling and solving?
F
functional programming	A software system should be declarative except where it interacts with the real world
G
Graph Analysis	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Graph Drawing	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Graph Generation	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Graph Recognition	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Graph Representation	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
I
imperative programming	A software system should be declarative except where it interacts with the real world
J
JASP	Role-Based Access Control via JASP
JDLV	Invited Talk: On the Development of Industrial Applications with ASP
K
knowledge representation	Logic-based Methods for Software Engineers and Business People
L
lambda calculus	A software system should be declarative except where it interacts with the real world
Logic Meta-Programming	LPOP2018 XSB Position Paper
Logic Programming	LPOP2018 XSB Position Paper
M
Mason's Marks	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
N
nondeterminism	A software system should be declarative except where it interacts with the real world
O
Object Constraint Language (OCL)	Security Policies in Constraint Handling Rules
P
Picat	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
programming paradigm	A software system should be declarative except where it interacts with the real world
Python	Logic-based Methods for Software Engineers and Business People
Q
queries	Easier Rules and Constraints for Programming
R
RBAC	Easier Rules and Constraints for Programming
Real-world applications	How to upgrade ASP for true dynamic modelling and solving?
Role-Based Access Control	Role-Based Access Control via JASP
Role-Based Access Control (RBAC)	Security Policies in Constraint Handling Rules
rules	Easier Rules and Constraints for Programming
S
SAT	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
Security Policy	Security Policies in Constraint Handling Rules
software design	A software system should be declarative except where it interacts with the real world
Software Tools	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Straight-Line Graphs	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
T
Trust Management	Security Policies in Constraint Handling Rules
U
UML	Security Policies in Constraint Handling Rules
X
XSB	LPOP2018 XSB Position Paper

Disclaimer | Powered by EasyChair Smart Program