FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
GDE 2022 PROGRAM
Monday, August 1st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 19A: Foundations

Welcome ceremony to the 2nd workshop on Goal-directed Execution of Answer Set Programs (GDE 2022) followed by a tutorial (40 minutes) and two talks, each roughly 20 minutes plus 5 minutes for discussion and questions.

09:00
Tutorial: Automating Commonsense reasoning with ASP and s(CASP) (abstract)
09:40
A Query Evaluation Method for ASP with Abduction (abstract)
10:05
First order logic and commonsense reasoning: a path less travelled (abstract)
PRESENTER: Tanel Tammet
10:30-11:00Coffee Break
11:00-12:30 Session 21A: Modelling with s(CASP)

Session focused on the use of s(CASP) for modeling: 3 regular talks (20 minutes presentation) and a short talk (10 minutes presentation) plus 5 minutes of Q&A each one.

11:00
Integration of Logical English and s(CASP) (abstract)
PRESENTER: Galileo Sartor
11:25
Embedding s(CASP) in Prolog (abstract)
PRESENTER: Jan Wielemaker
11:50
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming (abstract)
PRESENTER: Joaquin Arias
12:15
s(CASP) Playground based on Ciao Prolog (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 22B: s(CASP) extensions and applications I

Session focused on the most recent applications of s(CASP) and the description of the functionalities incorporated in s(CASP) that have made them possible: 3 regular talks (20 minutes presentation) and a short talk (10 minutes presentation) plus 5 minutes of Q&A each one.

14:00
Automating Defeasible Reasoning in Law with Answer Set Programming (abstract)
PRESENTER: How Khang Lim
14:25
Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming (abstract)
14:50
Incremental Learning with Defeaters (abstract)
PRESENTER: Elmer Salazar
15:15
LTL Model Checking using Coinductive Answer Set programming (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 23B: s(CAPS) extensions and applications II

Session focused on the latest applications of s(CASP): 2 regular talks (20 minutes plus 5 minutes of Q&A), followed by a panel to discuss the present and future of goal-directed execution of answer set programs (40 minutes).

16:00
A Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming (abstract)
16:25
Blawx: Web-based user-friendly Rules as Code (abstract)
16:50
GDE of ASP: applications, potential and future directions (abstract)
18:30-20:00Workshop Dinner (at the Technion) - Paid event