|
Vol-3193
urn:nbn:de:0074-3193-5
Copyright © 2022 for
the individual papers by the papers' authors.
Copyright © 2022 for the volume
as a collection by its editors.
This volume and its papers are published under the
Creative Commons License Attribution 4.0 International
(CC BY 4.0).
|
ICLP Workshops 2022
International Conference on Logic Programming 2022 Workshops
Proceedings of the International Conference on Logic Programming 2022 Workshops
co-located with the 38th International Conference on Logic Programming (ICLP 2022)
Haifa, Israel, July 31st - August 1st, 2022.
Edited by
Joaquín Arias 1
Roberta Calegari 2
Luke Dickens 3
Wolfgang Faber 4
Jorge Fandinno 5
Gopal Gupta 6
Markus Hecher 7, 8
Daniela Inclezan 9
Emily LeBlanc 10
Michael Morak 4
Elmer Salazar 6
Jessica Zangari 11
1 Universidad Rey Juan Carlos, Spain
2 University of Bologna, Italy
3 University College London, UK
4 University of Klagenfurt, Austria
5 University of Nebraska at Omaha, USA
6 The University of Texas at Dallas, USA
7 Vienna University of Technology, Austria
8 University of Potsdam, Germany
9 Miami University, USA
10 US Naval Research Lab, USA
11 University of Calabria, Italy
Table of Contents
- Preface
Summary: Five workshops co-located with ICLP 2022 joined efforts in the production of these proceedings.
Overall, there were 32 papers submitted for peer-review. Out of these,
31 were accepted and 25 are included in this volume,
15 as regular papers and
10 as short papers.
-
Modeling Administrative Discretion using Goal-Directed Answer Set Programming (extended abstract)
Joaquín Arias,
Mar Moreno-Rebato,
José A. Rodríguez-García,
Sascha Ossowski
-
Summary on “Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic” (extended abstract)
Kinjal Basu
-
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
Kinjal Basu,
Elmer Salazar,
Huaduo Wang,
Joaquín Arias,
Parth Padalkar,
Gopal Gupta
-
An s(CASP) In-Browser Playground based on Ciao Prolog
Guillermo García-Pradales,
José F. Morales,
Manuel Hermenegildo,
Joaquín Arias,
Manuel Carro
-
Tutorial: Automating Commonsense Reasoning
Gopal Gupta,
Elmer Salazar,
Sarat Chandra Varanasi,
Kinjal Basu,
Joaquín Arias,
Farhad Shakerin,
Fang Li,
Huaduo Wang
-
Automating Defeasible Reasoning in Law with Answer Set Programming
Lim How Khang,
Avishkar Mahajan,
Martin Strecker,
Meng Weng Wong
-
Blawx: Web-based User-Friendly Rules as Code
Jason Morris
-
Integration of Logical English and s(CASP)
Galileo Sartor,
Jacinto Dávila,
Marco Billi,
Giuseppe Contissa,
Giuseppe Pisano,
Robert Kowalski
-
A Query Evaluation Method for ASP with Abduction (extended abstract)
Ken Satoh
-
First Order Logic and Commonsense Reasoning: A Path Less Travelled
Tanel Tammet,
Dirk Draheim,
Priit Järv,
Martin Verrev
-
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming
Sarat Chandra Varanasi,
Baoluo Meng,
Christopher Alexander,
Szabolcs Borgyos,
Brendan Hall
-
LTL Model Checking using Coinductive Answer Set Programming
Sarat Chandra Varanasi,
Neda Saeedloei,
Elmer Salazar,
Joaquín Arias,
Gopal Gupta
-
Embedding s(CASP) in Prolog
Jan Wielemaker,
Mikko Tiihonen
2022-07-25: submitted by Daniela Inclezan,
metadata incl. bibliographic data published under Creative Commons CC0
2022-08-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
|valid HTML5|