Call for Participation: 2nd Workshop on Goal-directed Execution (GDE) of Answer Set Programs

by Gopal Gupta, June 21, 2022

The 2nd ICLP'22 Workshop on Goal-directed Execution (GDE'22) of Answer Set Programs will be held as part of FLoC'22 in Haifa, Israel, on August 1, 2022. Program consists of tutorial, contributed papers and a panel. You are cordially invited to attend.

GDE'22: Second Workshop on Goal-directed Execution of Answer Set Programs.

ICLP 2022 Workshop; Part of FLoC 2022.

August 1, 2022.

09:00-10:30 Session 17A: 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.

Chair:

Joaquin Arias

09:00

Gopal Gupta

Tutorial: Automating Commonsense reasoning with ASP and s(CASP) (abstract)

09:40

Ken Satoh

A Query Evaluation Method for ASP with Abduction (abstract)

10:05

Tanel Tammet, Dirk Draheim, Priit Järv and Martin Verrev

First order logic and commonsense reasoning: a path less travelled (abstract)

PRESENTER: Tanel Tammet

10:30-11:00Coffee Break

11:00-12:30 Session 19A: 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.

Chair:

Jose Morales

11:00

Galileo Sartor, Jacinto Davila, Marco Billi, Giuseppe Pisano, Giuseppe Contissa and Robert Kowalski

Integration of Logical English and s(CASP) (abstract)

PRESENTER: Galileo Sartor

11:25

Jan Wielemaker and Mikko Tiihonen

Embedding s(CASP) in Prolog (abstract)

PRESENTER: Jan Wielemaker

11:50

Joaquin Arias, Mar Moreno-Rebato, Jose Antonio Rodríguez and Sascha Ossowski

Modeling Administrative Discretion Using Goal-Directed Answer Set Programming (Extended Abstract) (abstract)

PRESENTER: Joaquin Arias

12:15

Guillermo García Pradales, Jose F. Morales, Manuel V. Hermenegildo, Joaquín Arias and Manuel Carro

s(CASP) Playground based on Ciao Prolog (abstract)

PRESENTER: Guillermo García Pradales

12:30-14:00Lunch Break

14:00-15:30 Session 20A: 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.

Chair:

Gopal Gupta

14:00

How Khang Lim, Avishkar Mahajan, Martin Strecker and Meng Weng Wong

Automating Defeasible Reasoning in Law with Answer Set Programming (abstract)

PRESENTER: How Khang Lim

14:25

Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos and Brendan Hall

Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming (abstract)

PRESENTER: Sarat Chandra Varanasi

14:50

Elmer Salazar, Kinjal Basu, Parth Padalkar, Joaquin Arias and Gopal Gupta

Defeaters (abstract)

PRESENTER: Elmer Salazar

15:15

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquin Arias and Gopal Gupta

LTL Model Checking using Coinductive Answer Set programming (abstract)

PRESENTER: Sarat Chandra Varanasi

15:30-16:00Coffee Break

16:00-17:30 Session 21A: s(CASP) 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).

Chair:

Elmer Salazar

16:00

Kinjal Basu

A Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming (abstract)

16:25

Jason Morris

Blawx: Web-based user-friendly Rules as Code (abstract)

16:50

Joaquin Arias

Panel Discussion: Goal-directed Execution of Answer Set Programs: Applications, Potential and Future Directions (abstract)

18:00-20:00 Workshop Dinner (at the Technion) - Paid event