630 | -- | 635 | Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang. Introduction to the 35th International Conference on Logic Programming Special Issue |
636 | -- | 653 | Tiantian Gao, Paul Fodor, Michael Kifer. Querying Knowledge via Multi-Hop English Questions |
654 | -- | 670 | Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari. Enhancing Magic Sets with an Application to Ontological Reasoning |
671 | -- | 687 | Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting |
688 | -- | 704 | Giovanni Amendola, Francesco Ricca. Paracoherent Answer Set Semantics meets Argumentation Frameworks |
705 | -- | 721 | Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski. Beyond NP: Quantifying over Answer Sets |
722 | -- | 739 | Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs |
740 | -- | 756 | Giovanni Amendola, Carmine Dodaro, Marco Maratea. Abstract Solvers for Computing Cautious Consequences of ASP programs |
757 | -- | 772 | Giovanni Amendola, Carmine Dodaro, Francesco Ricca. Better Paracoherent Answer Sets with Less Resources |
773 | -- | 789 | Gonzague Yernaux, Wim Vanhoof. Anti-unification in Constraint Logic Programming |
790 | -- | 807 | Stefania Costantini. About Epistemic Negation and World Views in Epistemic Logic Programs |
808 | -- | 825 | Fernando Sáenz-Pérez. Applying Constraint Logic Programming to SQL Semantic Analysis |
826 | -- | 840 | Wolfgang Faber 0001, Michael Morak, Stefan Woltran. On Uniform Equivalence of Epistemic Logic Programs |
841 | -- | 856 | Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis, Alexander Artikis. Online Event Recognition from Moving Vehicles: Application Paper |
857 | -- | 873 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller. Partial Compilation of ASP Programs |
874 | -- | 890 | María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis. Symbolic Analysis of Maude Theories with Narval |
891 | -- | 907 | Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath. Inconsistency Proofs for ASP: The ASP - DRUPE Format |
908 | -- | 924 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal. Revisiting Explicit Negation in Answer Set Programming |
925 | -- | 940 | Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis. The Expressive Power of Higher-Order Datalog |
941 | -- | 956 | João F. L. Alcântara, Samy Sá, Juan Carlos Acosta Guadarrama. On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs |
957 | -- | 973 | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. Incremental Answer Set Programming with Overgrounding |
974 | -- | 989 | Thomas Eiter, Paul Ogris, Konstantin Schekotihin. A Distributed Approach to LARS Stream Reasoning (System paper) |
990 | -- | 1005 | Jesús J. Doménech, John P. Gallagher, Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis |
1006 | -- | 1020 | Amelia Harrison, Vladimir Lifschitz. Relating Two Dialects of Answer Set Programming |
1021 | -- | 1037 | Arpit Sharma. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge |
1038 | -- | 1055 | Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence |
1056 | -- | 1072 | Ariyam Das, Carlo Zaniolo. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation |
1073 | -- | 1089 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari. Precomputing Datalog Evaluation Plans in Large-Scale Scenarios |
1090 | -- | 1106 | Yi Wang 0048, ShiQi Zhang, Joohyung Lee. Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language |
1107 | -- | 1123 | Joaquín Arias, Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP |
1124 | -- | 1142 | David Spies, Jia-Huai You, Ryan Hayward. Domain-Independent Cost-Optimal Planning in ASP |