View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 (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 |
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 | An s(CASP) In-Browser Playground based on Ciao Prolog (abstract) PRESENTER: Jose F. Morales |
Lunches will be held in Taub hall and in The Grand Water Research Institute.
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: Avishkar Mahajan |
14:25 | Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming (abstract) PRESENTER: Sarat Chandra Varanasi |
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) PRESENTER: Sarat Chandra Varanasi |
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 | 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) |