default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 18
Volume 18, Number 1, January 2018
- Wlodzimierz Drabent
:
Logic + control: On program construction and verification. 1-29 - Johannes Oetsch, Jörg Pührer, Hans Tompits:
Stepwise debugging of answer-set programs. 30-80
- Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
SUNNY-CP and the MiniZinc challenge. 81-96 - Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau:
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. 97-119
- Jan Wielemaker, Keri Harris:
Lock-free atom garbage collection for multithreaded Prolog - ERRATUM. 120
- Evelina Lamma, Terrance Swift:
Editorial: 29th International conference on logic programming special issue - ADDENDUM. 121
Volume 18, Number 2, March 2018
- Germán Vidal:
Introduction to the special issue on computational logic for verification. 122-125
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for program verification. 126-166 - Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo:
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. 167-223 - Bishoksan Kafle, John P. Gallagher, Pierre Ganty:
Tree dimension in verification of constrained Horn clauses. 224-251 - Carlos Olarte, Elaine Pimentel, Camilo Rueda:
A concurrent constraint programming interpretation of access permissions. 252-295
Volume 18, Numbers 3-4, July 2018
- Alessandro Dal Palù, Paul Tarau:
Introduction to the 34-th international conference on logic programming special issue. 296-300
- Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. 301-318 - Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. 319-336 - Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta:
Constraint Answer Set Programming without Grounding. 337-354 - 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. 355-371 - Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias:
Certified Graph View Maintenance with Regular Datalog. 372-389 - Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce:
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. 390-405
- Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. 406-420
- Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. 421-437 - Marc Dahlem, Anoop Bhagyanath, Klaus Schneider:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. 438-451 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. 452-469 - Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap:
Shape Neutral Analysis of Graph-based Data-structures. 470-483 - Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond:
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. 484-501 - Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. 502-519 - Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge:
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. 520-534 - Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney:
An ASP Methodology for Understanding Narratives about Stereotypical Activities. 535-552 - 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. 553-570 - Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. 571-588 - Joohyung Lee, Zhun Yang:
Translating LPOD and CR-Prolog2 into standard answer set programs. 589-606 - Joohyung Lee, Yi Wang:
A Probabilistic Extension of Action Language ${\cal BC}$+}$. 607-622 - Arindam Mitra, Chitta Baral:
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples. 623-637 - Arun Nampally, Timothy Zhang, C. R. Ramakrishnan:
Constraint-Based Inference in Probabilistic Logic Programs. 638-655 - Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. 656-672 - Aleksy Schubert, Pawel Urzyczyn:
First-order Answer Set Programming as Constructive Proof Search. 673-690 - Rolf Schwitter:
Specifying and Verbalising Answer Set Programs in Controlled Natural Language. 691-705 - David Scott Warren:
Top-down and Bottom-up Evaluation Procedurally Integrated. 706-721
Volume 18, Numbers 5-6, September 2018
- Ferdinando Fioretto, Enrico Pontelli:
Past and present (and future) of parallel and distributed computation in (constraint) logic programming. 722-724
- Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth:
A review of literature on parallel constraint solving. 725-758 - Thom W. Frühwirth:
Parallelism, concurrency and distribution in constraint handling rules: A survey. 759-805 - Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo:
Scaling-up reasoning and advanced analytics on BigData. 806-845
- Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini:
Logic programming as a service. 846-873 - Matteo Interlandi, Letizia Tanca:
A datalog-based computational model for coordination-free, data-parallel systems. 874-927 - Scott Pakin:
Performing fully parallel constraint logic programming on a quantum annealer. 928-949 - Miguel Areias, Ricardo Rocha:
Table space designs for implicit and explicit concurrent tabled evaluation. 950-992
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.
last updated on 2025-11-11 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
