![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.