FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program