FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: K. Tuncay Tekle and Marc Denecker

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

Disclaimer | Powered by EasyChair Smart Program