default search action
37th ICLP 2021: Porto, Portugal [virtual] - Technical Communications
- Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 - Damiano Azzolini, Fabrizio Riguzzi:
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs. 14-26 - Rachel Ben-Eliyahu-Zohary:
How to Split a Logic Program. 27-40 - Bart Bogaerts, Maxime Jakubowski:
Fixpoint Semantics for Recursive SHACL. 41-47 - Wlodzimierz Drabent:
A Note on Occur-Check. 54-67 - Laura Giordano, Daniele Theseider Dupré:
Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach. 70-76 - John Meyer, Daniela Inclezan:
APIA: An Architecture for Policy-Aware Intentional Agents. 84-98 - Poom Pianpak, Tran Cao Son:
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles. 99-112 - Ezgi Iraz Su:
Refining the Semantics of Epistemic Specifications. 113-126 - Akihiro Takemura, Katsumi Inoue:
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming. 127-140 - Paul Tarau:
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch. 141-154 - Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. 155-161 - Neng-Fa Zhou:
Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat. 165-178 - Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi:
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues. 182-188 - Tobias Grubenmann, Jens Lehmann:
Geolog: Scalable Logic Programming on Spatial Data. 191-204 - 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. 205-218 - Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. 219-233 - Aysu Bogatarkan:
Flexible and Explainable Solutions for Multi-Agent Path Finding Problems. 240-247 - Francesco Fabiano:
Comprehensive Multi-Agent Epistemic Planning. 248-257 - Susana Hahn:
Automata Techniques for Temporal Answer Set Programming. 258-266 - Rafael Kiesel:
Quantitative and Stream Extensions of Answer Set Programming. 267-275 - Fang Li:
Graph Based Answer Set Programming Solver Systems. 276-285 - Giuseppe Mazzotta:
Compilation of Aggregates in ASP. 286-295 - Seemran Mishra:
Product Configuration in Answer Set Programming. 296-304 - Etienne Tignon:
Formalisation of Action with Durations in Answer Set Programming. 305-309
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.