default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th 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.
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.
last updated on 2024-11-06 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
