![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
38th ICLP 2022: Haifa, Israel
- Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari:
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. CEUR Workshop Proceedings 3193, CEUR-WS.org 2022
Answer Set Programming and Other Computing Paradigms
- Chloé Capon, Nicolas Lecomte, Jef Wijsen:
Computing H-Partitions in ASP and Datalog. - Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub:
Conflict Handling in Product Configuration using Answer Set Programming. - Evan Iatrou:
A Normative Model of Explanation for Binary Classification Legal AI and Its Implementation on Causal Explanations of Answer Set Programming. - Vladimir Lifschitz:
Translating Definitions into the Language of Logic Programming: A Case Study. - David Tuckey, Krysia Broda, Alessandra Russo:
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. - Shutao Zhang, Zhizheng Zhang, Jun Shen:
Constrained Default Logic Programming. - Zhizheng Zhang:
Assumable Answer Set Programming.
Causal Reasoning and Explanation in Logic Programming
- Kilian Rückschloß, Felix Weitkämper:
Correct Causal Inference in Probabilistic Logic Programming. - Francis Rhys Ward, Francesca Toni, Francesco Belardinelli:
A Causal Perspective on AI Deception in Games.
Epistemic Extensions of Logic Programming
- Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: a Novel Perspective and Some Extensions.
Goal-directed Execution of Answer Set Programs
- Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski:
Modeling Administrative Discretion using Goal-Directed Answer Set Programming. - Kinjal Basu:
Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic". - Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta:
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. - Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro:
An s(CASP) In-Browser Playground based on Ciao Prolog. - Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang:
Tutorial: Automating Commonsense Reasoning. - How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong:
Automating Defeasible Reasoning in Law with Answer Set Programming. - Jason Morris:
Blawx: Web-based User-Friendly Rules as Code. - Galileo Sartor
, Jacinto A. Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert A. Kowalski:
Integration of Logical English and s(CASP). - Ken Satoh:
A Query Evaluation Method for ASP with Abduction. - Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev:
First Order Logic and Commonsense Reasoning: A Path Less Travelled. - Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall:
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta:
LTL Model Checking using Coinductive Answer Set Programming. - Jan Wielemaker, Mikko Tiihonen:
Embedding s(CASP) in Prolog.
Probabilistic Logic Programming
- Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. - Kilian Rückschloß, Felix Weitkämper:
Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.