296 | -- | 300 | Alessandro Dal Palù, Paul Tarau. Introduction to the 34-th international conference on logic programming special issue |
301 | -- | 318 | Mario Alviano, Carmine Dodaro, Marco Maratea. Shared aggregate sets in answer set programming |
319 | -- | 336 | Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti. Cautious reasoning in ASP via minimal models and unsatisfiable cores |
337 | -- | 354 | Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta. Constraint Answer Set Programming without Grounding |
355 | -- | 371 | George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-wei Tsai. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming |
372 | -- | 389 | Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias. Certified Graph View Maintenance with Regular Datalog |
390 | -- | 405 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001. Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates |
406 | -- | 420 | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann. Temporal Answer Set Programming on Finite Traces |
421 | -- | 437 | Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs |
438 | -- | 451 | Marc Dahlem, Anoop Bhagyanath, Klaus Schneider 0001. Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP |
452 | -- | 469 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Solving Horn Clauses on Inductive Data Types Without Induction |
470 | -- | 483 | Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap. Shape Neutral Analysis of Graph-based Data-structures |
484 | -- | 501 | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond. Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis |
502 | -- | 519 | Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son. Experimenting with robotic intra-logistics domains |
520 | -- | 534 | Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge. Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming |
535 | -- | 552 | Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney. An ASP Methodology for Understanding Narratives about Stereotypical Activities |
553 | -- | 570 | Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. An iterative approach to precondition inference using constrained Horn clauses |
571 | -- | 588 | Tobias Kaminski, Thomas Eiter, Katsumi Inoue. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning |
589 | -- | 606 | Joohyung Lee, Zhun Yang. Translating LPOD and CR-Prolog2 into standard answer set programs |
607 | -- | 622 | Joohyung Lee, Yi Wang. A Probabilistic Extension of Action Language ${\cal BC}$+}$ |
623 | -- | 637 | Arindam Mitra, Chitta Baral. Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples |
638 | -- | 655 | Arun Nampally, Timothy Zhang, C. R. Ramakrishnan. Constraint-Based Inference in Probabilistic Logic Programs |
656 | -- | 672 | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son. Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming |
673 | -- | 690 | Aleksy Schubert, Pawel Urzyczyn. First-order Answer Set Programming as Constructive Proof Search |
691 | -- | 705 | Rolf Schwitter. Specifying and Verbalising Answer Set Programs in Controlled Natural Language |
706 | -- | 721 | David Scott Warren. Top-down and Bottom-up Evaluation Procedurally Integrated |