default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICPL 2020 - Technical Communications
- Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 - Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
Logic Programming and Machine Ethics. 6-17 - Alex Brik:
Splitting a Hybrid ASP Program. 21-34 - Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña:
Variant-based Equational Unification under Constructor Symbols. 38-51 - Esra Erdem, Andreas Herzig:
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach. 52-58 - Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Justifications for Goal-Directed Constraint Answer Set Programming. 59-72 - Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta:
SQuARE: Semantics-based Question Answering and Reasoning Engine. 73-86 - Michael Dingess, Miroslaw Truszczynski:
Automated Aggregator - Rewriting with the Counting Aggregate. 96-109 - Paul Tarau, Valeria de Paiva
:
Deriving Theorems in Implicational Linear Logic, Declaratively. 110-123 - Pedro Cabalar, Jorge Fandinno, Brais Muñiz:
A System for Explainable Answer Set Programming. 124-136 - Ridhwan Dewoprabowo, Ari Saptawijaya:
Tabling Optimization for Contextual Abduction. 137-150 - Roberta Calegari, Giovanni Sartor:
Burden of Persuasion in Argumentation. 151-163 - Stefano Forti, Antonio Brogi:
Continuous Reasoning for Managing Next-Gen Distributed Applications. 164-177 - Tobias Geibinger, Hans Tompits:
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics. 178-191 - Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. 192-205 - Wolf De Wulf, Bart Bogaerts:
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories. 206-219 - Basem Atiq, Volkan Patoglu, Esra Erdem:
Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming. 223-229 - Stefania Costantini, Lorenzo De Lauretis:
An application of Answer Set Programming in Distributed Architectures: ASP Microservices. 230-243 - Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam:
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. 244-257 - Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri:
A Machine Learning guided Rewriting Approach for ASP Logic Programs. 261-267 - Viviana Mascardi, Domenico Pellegrini:
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean. 268-275 - Alessandro Bertagnon:
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information. 286-295 - Finn Teegen:
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions. 296-302 - Thomas Prokosch:
A Low-Level Index for Distributed Logic Programming. 303-312 - Zhun Yang:
Extending Answer Set Programs with Neural Networks. 313-322
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-09-28 01:35 CEST 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:
