default search action
39th ICLP 2023: London, UK
- Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 - Emanuele De Angelis, Maurizio Proietti, Francesca Toni
:
ABA Learning via ASP. 1-8 - Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle:
Benchmarking for Integrating Logic Rules with Everything Else. 12-26 - Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Explanations for Answer Set Programming. 27-40 - Gonzague Yernaux
A Dataflow Analysis for Comparing and Reordering Predicate Arguments. 41-54 - Kilian Rückschloß
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming. 58-64 - Ghazal Afroozi Milani, Daniel Cyrus, Alireza Tamaddoni-Nezhad
Towards One-Shot Learning for Text Classification using Inductive Logic Programming. 69-79 - Justin Brody
On the Potential of CLIP for Compositional Logical Reasoning. 80-86 - Peter Baumgartner, Elena Tartaglia:
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate. 87-100 - Tomi Janhunen:
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates. 101-115 - Andre Thevapalan
Sorting Strategies for Interactive Conflict Resolution in ASP. 116-128 - Richard Comploi-Taupe
Inductive Learning of Declarative Domain-Specific Heuristics for ASP. 129-140 - Paul Tarau:
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. 141-154 - Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. 155-168 - Kilian Rückschloß
On the Independencies Hidden in the Structure of a Probabilistic Logic Program. 169-182 - Francesca Toni, Nico Potyka, Markus Ulbricht, Pietro Totis:
Understanding ProbLog as Probabilistic Argumentation. 183-189 - Wlodzimierz Drabent
On Feasibility of Declarative Diagnosis. 193-200 - Zahra Chaghazardi, Saber Fallah, Alireza Tamaddoni-Nezhad
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach. 201-212 - Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker
Quantification and aggregation over concepts of the ontology. 213-226 - Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel:
A Logic Programming Approach to Global Logistics in a Co-Design Environment. 227-240 - Theresa Swift, Carl Andersen:
The Janus System: Multi-paradigm Programming in Prolog and Python. 241-255 - George Aristidis Elder, Conrad Bessant:
Inferring Compensatory Kinase Networks in Yeast using Prolog. 260-273 - Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta:
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. 274-287 - Stefano Forti
Leasing the Cloud-Edge Continuum, à la Carte. 288-299 - Jakob Suchan, Jan-Patrick Osterloh
Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection. 300-313 - Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo:
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. 324-329 - Alex Ivliev
Nemo: First Glimpse of a New Rule Engine. 333-335 - Andreas C. Bueff, Vaishak Belle:
Deep Inductive Logic Programming meets Reinforcement Learning. 339-352 - Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
An xAI Approach for Data-to-Text Processing with ASP. 353-366 - Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. 367-380 - Vineel S. K. Tummala:
Penalization Framework For Autonomous Agents Using Answer Set Programming. 411-415 - Andrea Rafanelli:
Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques. 416-422 - Tobias Geibinger:
Explainable Answer-set Programming. 423-429
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-27 20:15 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: