Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings von Cheney, James, Perri, Simona

Volltext

The DLV system for knowledge representation and reasoning von Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Eiter, Thomas, Gottlob, Georg, Perri, Simona, Scarcello, Francesco

Volltext

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring von Mastria, Elena, Pacenza, Francesco, Zangari, Jessica, Calimeri, Francesco, Perri, Simona, Terracina, Giorgio

Volltext

ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications von Calimeri, Francesco, Leone, Nicola, Melissari, Giovanni, Pacenza, Francesco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Zangari, Jessica

Volltext

Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

Volltext

Grounding and Solving in Answer Set Programming von Kaufmann, Benjamin, Leone, Nicola, Perri, Simona, Schaub, Torsten

Volltext

Optimizing Answer Set Computation via Heuristic-Based Decomposition von CALIMERI, FRANCESCO, PERRI, SIMONA, ZANGARI, JESSICA

Volltext

Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) von Calimeri, Francesco, Perri, Simona, Zumpano, Ester

Volltext

Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) von CALIMERI, FRANCESCO, MANNA, MARCO, PERRI, SIMONA

Volltext

The ASP System DLV2 von Alviano, Mario, Calimeri, Francesco, Dodaro, Carmine, Fuscà, Davide, Leone, Nicola, Perri, Simona, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica

Volltext

Green Application Placement in the Cloud-IoT Continuum von Forti, Stefano, Brogi, Antonio

Volltext

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming von Arias, Joaquín, Carro, Manuel, Gupta, Gopal

Volltext

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers von Faber, Wolfgang, Morak, Michael, Chrpa, Lukáš

Volltext

Incremental Answer Set Programming with Overgrounding von CALIMERI, FRANCESCO, IANNI, GIOVAMBATTISTA, PACENZA, FRANCESCO, PERRI, SIMONA, ZANGARI, JESSICA

Volltext

Functional Programming on Top of SQL Engines von Burghardt, Tobias, Hirn, Denis, Grust, Torsten

Volltext

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications von Reale, Kristian, Calimeri, Francesco, Leone, Nicola, Ricca, Francesco

Volltext

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo von Janhunen, Tomi

Volltext

Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs von Tardivo, Fabio, Pontelli, Enrico

Volltext

Timed Concurrent Language for Argumentation: An Interleaving Approach von Bistarelli, Stefano, Meo, Maria Chiara, Taticchi, Carlo

Volltext

Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding von Tajelipirbazari, Nima, Yildirimoglu, Cagri Uluc, Sabuncu, Orkunt, Arici, Ali Can, Ozen, Idil Helin, Patoglu, Volkan, Erdem, Esra

Volltext