ICLP Technical Communications

Keyphrases

Publications

2021

Bart Bogaerts, Maxime Jakubowski
Fixpoint Semantics for Recursive SHACL. ICLP Technical Communications (2021)
Aysu Bogatarkan
Flexible and Explainable Solutions for Multi-Agent Path Finding Problems. ICLP Technical Communications (2021)
Rachel Ben-Eliyahu-Zohary
How to Split a Logic Program. ICLP Technical Communications (2021)
Francesco Fabiano
Comprehensive Multi-Agent Epistemic Planning. ICLP Technical Communications (2021)
John Meyer, Daniela Inclezan
APIA: An Architecture for Policy-Aware Intentional Agents. ICLP Technical Communications (2021)
Rafael Kiesel
Quantitative and Stream Extensions of Answer Set Programming. ICLP Technical Communications (2021)
Giuseppe Mazzotta
Compilation of Aggregates in ASP. ICLP Technical Communications (2021)
Damiano Azzolini, Fabrizio Riguzzi
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs. ICLP Technical Communications (2021)
Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. ICLP Technical Communications (2021)
Tobias Grubenmann, Jens Lehmann
Geolog: Scalable Logic Programming on Spatial Data. ICLP Technical Communications (2021)
Poom Pianpak, Tran Cao Son
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles. ICLP Technical Communications (2021)
Neng-Fa Zhou
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat. ICLP Technical Communications (2021)
Seemran Mishra
Product Configuration in Answer Set Programming. ICLP Technical Communications (2021)
Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications (2021)
Akihiro Takemura, Katsumi Inoue
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming. ICLP Technical Communications (2021)
Laura Giordano, Daniele Theseider Dupré
Knowledge Bases with Integer Weights: an ASP Approach. ICLP Technical Communications (2021)
Paul Tarau
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch. ICLP Technical Communications (2021)
Susana Hahn
Automata Techniques for Temporal Answer Set Programming. ICLP Technical Communications (2021)
Etienne Tignon
Formalisation of Action with Durations in Answer Set Programming. ICLP Technical Communications (2021)
Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues. ICLP Technical Communications (2021)
Wlodzimierz Drabent
A Note on Occur-Check. ICLP Technical Communications (2021)
Ezgi Iraz Su
Refining the Semantics of Epistemic Specifications. ICLP Technical Communications (2021)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications (2021)
Fang Li
Graph Based Answer Set Programming Solver Systems. ICLP Technical Communications (2021)

volume 345, 2021

Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. ICLP Technical Communications 345 (2021)

2020

volume 325, 2020

Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. ICLP Technical Communications 325 (2020)