Talk Author Index

TALK AUTHOR INDEX

Shortcuts: C D F G H K L M R S T V W Z

C
Costabile, Roberta	Role-Based Access Control via JASP
Cuteri, Bernardo	Invited Talk: On the Development of Industrial Applications with ASP
D
Denecker, Marc	Opening and introduction The RBAC challenge in the Knowledge Base Paradigm
Denecker, Marc	Closing
F
Fiorentino, Alessio	Role-Based Access Control via JASP
Fruehwirth, Thom	Security Policies in Constraint Handling Rules A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
G
Gall, Daniel	Confluence Analysis of Cognitive Models with Constraint Handling Rules
H
Hooker, John	Invited Talk: A Modeling Language Based on Semantic Typing
K
Kjellerstrand, Håkan	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
L
Leino, Rustan	Invited Talk: The Young Software Engineer’s Guide to Using Formal Methods
Leone, Nicola	Invited Talk: On the Development of Industrial Applications with ASP Role-Based Access Control via JASP
Leuschel, Michael	Invited Talk: Practical uses of Logic, Formal Methods, B and ProB
Liu, Y. Annie	Introduction: Role-Based Access Control as a Programming Challenge Easier Rules and Constraints for Programming
M
Manna, Marco	Invited Talk: On the Development of Industrial Applications with ASP Role-Based Access Control via JASP
R
Reale, Kristian	Invited Talk: On the Development of Industrial Applications with ASP Role-Based Access Control via JASP
Ricca, Francesco	Invited Talk: On the Development of Industrial Applications with ASP Role-Based Access Control via JASP
S
Schaub, Torsten	How to upgrade ASP for true dynamic modelling and solving?
Stoller, Scott	Easier Rules and Constraints for Programming
T
Tekle, Tuncay	Role-Based Access Control via LogicBlox Questions about RBAC challenge solutions Panel: Practice of Modeling and Programming Questions about logic and constraints in real-world applications Panel: Future of Programming with Logic and Knowledge Closing
V
Van Roy, Peter	A software system should be declarative except where it interacts with the real world
Vennekens, Joost	Logic-based Methods for Software Engineers and Business People
W
Warren, David S.	LPOP2018 XSB Position Paper
Z
Zhou, Neng-Fa	A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding