default search action
36th ICLP 2020: Rende, Italy
- Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari:
International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. CEUR Workshop Proceedings 2678, CEUR-WS.org 2020
Workshop on Answer Set Programming and Other Computing Paradigms
- Michael Bernreiter, Jan Maly, Stefan Woltran:
Encoding Choice Logics in ASP. - Lukás Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak:
Determining Action Reversibility in STRIPS Using Answer Set Programming. - Orkunt Sabuncu, Mehmet Cem Simsek:
Solving Assembly Line Workload Smoothing Problem via Answer Set Programming. - Pierre Tassel, Martin Gebser, Mohamed Rbaia:
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem.
Workshop on Causal Reasoning and Explanation in Logic Programming
- Marcello Balduccini, Michael Barborak, David A. Ferrucci:
Action Languages and COVID-19: Lessons Learned. - Michael Gelfond, Evgenii Balai:
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. - Giovanni Sileno:
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs). - Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik:
Actual Causality in Contextual Abduction.
Workshop on Epistemic Extensions of Logic Programming
- Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. - Wolfgang Faber, Michael Morak:
Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. - Markus Hecher, Michael Morak, Stefan Woltran:
Structural Decompositions of Epistemic Logic Programs. - Munyque Mittelmann, Laurent Perrussel:
An Epistemic Logic for Reasoning about Strategies in General Auctions.
Workshop on Probabilistic Logic Programming
- Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma:
An Analysis of Gibbs Sampling for Probabilistic Logic Programs. - David Tuckey, Krysia Broda, Alessandra Russo:
Towards Structure Learning under the Credal Semantics. - Felix Weitkämper:
Proportional dependencies and asymptotics of probabilistic representations.
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.