FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Costabile, Roberta	Role-Based Access Control via JASP (PDF, talk)
Cuteri, Bernardo	On the Development of Industrial Applications with ASP (PDF, talk)
D
Denecker, Marc	The RBAC challenge in the KB-paradigm (PDF)
Devriendt, Jo	The RBAC challenge in the KB-paradigm (PDF)
F
Fiorentino, Alessio	Role-Based Access Control via JASP (PDF, talk)
Fruehwirth, Thom	A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks (PDF, talk) Security Policies in Constraint Handling Rules (PDF, talk)
G
Gall, Daniel	Confluence Analysis of Cognitive Models with Constraint Handling Rules (PDF, talk)
K
Kjellerstrand, Håkan	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding (PDF, talk)
L
Leone, Nicola	Role-Based Access Control via JASP (PDF, talk) On the Development of Industrial Applications with ASP (PDF, talk)
Liu, Yanhong A.	Easier Rules and Constraints for Programming (PDF, talk)
M
Manna, Marco	Role-Based Access Control via JASP (PDF, talk) On the Development of Industrial Applications with ASP (PDF, talk)
R
Reale, Kristian	Role-Based Access Control via JASP (PDF, talk) On the Development of Industrial Applications with ASP (PDF, talk)
Ricca, Francesco	Role-Based Access Control via JASP (PDF, talk) On the Development of Industrial Applications with ASP (PDF, talk)
S
Schaub, Torsten	How to upgrade ASP for true dynamic modelling and solving? (PDF, talk)
Stoller, Scott	Easier Rules and Constraints for Programming (PDF, talk)
T
Tekle, K. Tuncay	The RBAC challenge in LogiQL: Solutions and Limitations (PDF)
V
Van Roy, Peter	A software system should be declarative except where it interacts with the real world (PDF, talk)
Vennekens, Joost	Logic-based Methods for Software Engineers and Business People (PDF, talk)
W
Warren, David S.	LPOP2018 XSB Position Paper (PDF, talk)
Z
Zhou, Neng-Fa	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program