ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs

Accepted papers:

Galileo Sartor, Jacinto Davila, Marco Billi, Giuseppe Pisano, Giuseppe Contissa and Robert Kowalski. "Integration of Logical English and sCASP"

Ken Satoh. "A Query Evaluation Method for ASP with Abduction"

Jan Wielemaker and Mikko Tiihonen. "Embedding s(CASP) in Prolog"

Jason Morris. "Blawx: Web-based user-friendly Rules as Code"

Guillermo Garcia Pradales, Jose F. Morales, Manuel V. Hermenegildo, Joaquin Arias and Manuel Carro. "An s(CASP) In-Browser Playground based on Ciao Prolog"

Tanel Tammet, Dirk Draheim, Priit Jarv and Martin Verrev. "First order logic and commonsense reasoning: a path less travelled"

Lim How Khang, Avishkar Mahajan, Martin Strecker and Meng Weng Wong. "Automating Defeasible Reasoning in Law with Answer Set Programming"

Kinjal Basu. "A Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic Programming"

Joaquin Arias, Mar Moreno-Rebato, Jose Antonio Rodriguez and Sascha Ossowski. "Modeling Administrative Discretion Using Goal-Directed Answer Set Programming (Extended Abstract)"

Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos and Brendan Hall. "Unmanned Aerial Vehicle compliance checking using Goal-Directed Answer Set Programming"

Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquin Arias, Parth Padalkar and Gopal Gupta "Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy"

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquiin Arias, Farhad Shakerin, Fang Li and Huaduo Wang "Tutorial: Automating Commonsense reasoning."

Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquin Arias and Gopal Gupta. "LTL Model Checking using Coinductive Answer Set programming"