×

Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. (English) Zbl 1466.68027

Electronic Proceedings in Theoretical Computer Science (EPTCS) 325. Waterloo: Open Publishing Association (OPA). 322 p., electronic only, open access (2020).

Show indexed articles as search result.

From the preface: This volume contains the Technical Communications and the Doctoral Consortium papers of the 36th International Conference on Logic Programming (ICLP 2020), held virtually in Rende (CS), Italy, from September 20th to 25th, 2020. This is the first time that ICLP is run remotely together with all co-located events due to the COVID pandemic.
The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1464.68003].
Indexed articles:
Dyoub, Abeer; Costantini, Stefania; Lisi, Francesca A., Logic programming and machine ethics, 6-17 [Zbl 07455700]
Brik, Alex, Splitting a hybrid ASP program, 21-34 [Zbl 07455702]
Aparicio-Sánchez, Damián; Escobar, Santiago; Sapiña, Julia, Variant-based equational unification under constructor symbols, 38-51 [Zbl 07455704]
Erdem, Esra; Herzig, Andreas, Solving gossip problems using answer set programming: an epistemic planning approach, 52-58 [Zbl 07455705]
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal, Justifications for goal-directed constraint answer set programming, 59-72 [Zbl 07455706]
Basu, Kinjal; Varanasi, Sarat Chandra; Shakerin, Farhad; Gupta, Gopal, SQuARE: semantics-based question answering and reasoning engine, 73-86 [Zbl 07455707]
Pham, Loc; Pontelli, Enrico; Tardivo, Fabio; Son, Tran Cao, A logic programming approach to regression based repair of incorrect initial belief states (extended abstract), 87-89 [Zbl 07455708]
Vilamala, Marc Roig; Taylor, Harrison; Xing, Tianwei; Garcia, Luis; Srivastava, Mani; Kaplan, Lance; Preece, Alun; Kimming, Angelika; Cerutti, Federico, A hybrid neuro-symbolic approach for complex event processing (extended abstract), 90-92 [Zbl 07455709]
Alviano, Mario; Dodaro, Carmine, Data validation for answer set programming (extended abstract), 93-95 [Zbl 07455710]
Dingess, Michael; Truszczynski, Miroslaw, Automated aggregator – rewriting with the counting aggregate, 96-109 [Zbl 07455711]
Tarau, Paul; de Paiva, Valeria, Deriving theorems in implicational linear logic, declaratively, 110-123 [Zbl 07455712]
Cabalar, Pedro; Fandinno, Jorge; Muñiz, Brais, A system for explainable answer set programming, 124-136 [Zbl 07455713]
Dewoprabowo, Ridhwan; Saptawijaya, Ari, Tabling optimization for contextual abduction, 137-150 [Zbl 07455714]
Calegari, Roberta; Sartor, Giovanni, Burden of persuasion in argumentation, 151-163 [Zbl 07455715]
Forti, Stefano; Brogi, Antonio, Continuous reasoning for managing next-gen distributed applications, 164-177 [Zbl 07455716]
Geibinger, Tobias; Tompits, Hans, Sequent-type calculi for systems of nonmonotonic paraconsistent logics, 178-191 [Zbl 07455717]
Quoc, Tuan Nguyen; Inoue, Katsumi; Sakama, Chiaki, Enhancing linear algebraic computation of logic programs using sparse representation, 192-205 [Zbl 07455718]
De Wulf, Wolf; Bogaerts, Bart, lp2pb: translating answer set programs into pseudo-Boolean theories, 206-219 [Zbl 07455719]
Liu, Yanhong A.; Stoller, Scott D., Recursive rules with aggregation: a simple unified semantics (extended abstract), 220-222 [Zbl 07455720]
Atiq, Basem; Patoglu, Volkan; Erdem, Esra, Dynamic multi-agent path finding based on conflict resolution using answer set programming, 223-229 [Zbl 07455721]
Costantini, Stefania; De Lauretis, Lorenzo, An application of answer set programming in distributed architectures: ASP microservices, 230-243 [Zbl 07455722]
Dantas, Yuri Gil; Kondeva, Antoaneta; Nigam, Vivek, Less manual work for safety engineers: towards an automated safety reasoning with safety patterns, 244-257 [Zbl 07455723]
Mastria, Elena; Zangari, Jessica; Perri, Simona; Calimeri, Francesco, A machine learning guided rewriting approach for ASP logic programs, 261-267 [Zbl 07455725]
Mascardi, Viviana; Pellegrini, Domenico, Logical judges challenge human judges on the strange case of B.C.-Valjean, 268-275 [Zbl 07455726]
Bertagnon, Alessandro, Constraint programming algorithms for route planning exploiting geometrical information, 286-295 [Zbl 07455732]
Teegen, Finn, Research summary on implementing functional patterns by synthesizing inverse functions, 296-302 [Zbl 07455733]
Prokosch, Thomas, A low-level index for distributed logic programming, 303-312 [Zbl 07455734]
Yang, Zhun, Extending answer set programs with neural networks, 313-322 [Zbl 07455735]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1464.68003
PDF BibTeX XML Cite
Full Text: DOI arXiv Link