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

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26B: 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.

Location: Ullmann 310
09:00
Tutorial: Automating Commonsense Reasoning (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 31B: 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.

Location: Ullmann 310
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
An s(CASP) In-Browser Playground based on Ciao Prolog (abstract)
PRESENTER: Jose F. Morales
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34C: 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.

Location: Ullmann 310
14:00
Automating Defeasible Reasoning in Law with Answer Set Programming (abstract)
PRESENTER: Avishkar Mahajan
14:25
Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming (abstract)
14:50
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy (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 37C: 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).

Location: Ullmann 310
16:00
Summary on "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, Taub Terrace Floor 2) - Paid event