Abstract is missing.
- Syntactic ASP Forgetting with ForksFelicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal. 3-15 [doi]
- Modal Logic S5 in Answer Set Programming with Lazy Creation of WorldsMario Alviano, Sotiris Batsakis, George Baryannis. 16-28 [doi]
- Enumeration of Minimal Models and MUSes in WASPMario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca. 29-42 [doi]
- Statistical Statements in Probabilistic Logic ProgrammingDamiano Azzolini, Elena Bellodi, Fabrizio Riguzzi. 43-55 [doi]
- A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic ProgrammingDavide Beretta, Stefania Monica, Federico Bergenti. 56-61 [doi]
- A Definition of Sceptical Semantics in the Constellations ApproachStefano Bistarelli, Francesco Santini 0001. 62-74 [doi]
- SHACL: A Description Logic in DisguiseBart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche. 75-88 [doi]
- Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up StrategyElisa Böhl, Sarah Alice Gaggl. 89-102 [doi]
- Emotional Reasoning in an Action Language for Emotion-Aware PlanningAndreas Brännström, Juan Carlos Nieves. 103-116 [doi]
- Metric Temporal Answer Set Programming over Timed TracesPedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann. 117-130 [doi]
- Epistemic Logic Programs: A Study of Some PropertiesStefania Costantini, Andrea Formisano 0001. 131-144 [doi]
- Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph ColoringCarmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca. 145-158 [doi]
- A Qualitative Temporal Extension of Here-and-There LogicThomas Eiter, Patrik Schneider. 159-176 [doi]
- Representing Abstract Dialectical Frameworks with Binary Decision DiagramsStefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner. 177-189 [doi]
- Arguing Correctness of ASP Programs with AggregatesJorge Fandinno, Zachary Hansen, Yuliya Lierler. 190-202 [doi]
- Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex EliminationMasood Feyzbakhsh Rankooh, Tomi Janhunen. 203-216 [doi]
- IASCAR: Incremental Answer Set Counting by Anytime RefinementJohannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac. 217-230 [doi]
- Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTLLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. 231-244 [doi]
- Inference to the Stable ExplanationsGuido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani. 245-258 [doi]
- Semantics for Conditional Literals via the SM OperatorZachary Hansen, Yuliya Lierler. 259-272 [doi]
- State Transition in Multi-agent Epistemic Domains Using Answer Set ProgrammingYusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli. 273-286 [doi]
- Towards Provenance in Heterogeneous Knowledge BasesMatthias Knorr 0001, Carlos Viegas Damásio, Ricardo Gonçalves 0001, João Leite 0001. 287-300 [doi]
- Computing Smallest MUSes of Quantified Boolean FormulasAndreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo. 301-314 [doi]
- Pinpointing Axioms in Ontologies via ASPRafael Peñaloza, Francesco Ricca. 315-321 [doi]
- Interlinking Logic Programs and Argumentation FrameworksChiaki Sakama, Tran Cao Son. 322-335 [doi]
- Gradient-Based Supported Model Computation in Vector SpacesAkihiro Takemura, Katsumi Inoue. 336-349 [doi]
- Towards Causality-Based Conflict Resolution in Answer Set ProgramsAndre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner. 350-362 [doi]
- xASP: An Explanation Generation System for Answer Set ProgrammingLy Ly T. Trieu, Tran Cao Son, Marcello Balduccini. 363-369 [doi]
- Solving Problems in the Polynomial Hierarchy with ASP(Q)Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski. 373-386 [doi]
- A Practical Account into Counting Dung's Extensions by Dynamic ProgrammingRidhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Jerzy Gorczyca, Markus Hecher. 387-400 [doi]
- Clingraph: ASP-Based VisualizationSusana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann. 401-414 [doi]
- A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding SelectionLiu Liu, Mirek Truszczynski, Yuliya Lierler. 415-428 [doi]
- QMaxSATpb: A Certified MaxSAT SolverDieter Vandesande, Wolf De Wulf, Bart Bogaerts 0001. 429-442 [doi]
- Knowledge-Based Support for Adhesive SelectionSimon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens. 445-455 [doi]
- ASP for Flexible Payroll ManagementBenjamin Callewaert, Joost Vennekens. 456-469 [doi]
- Analysis of Cyclic Fault Propagation via ASPMarco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly. 470-483 [doi]
- Learning to Rank the Distinctiveness of Behaviour in Serial OffendingMark Law, Théophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams, Dalal Alrajeh. 484-497 [doi]
- Optimising Business Process Discovery Using Answer Set ProgrammingFederico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris. 498-504 [doi]
- DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based ModelsPierangela Bruno, Francesco Calimeri, Cinzia Marte. 505-510 [doi]