| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré |
Reasoning about actions with Temporal Answer Sets.  |
TPLP  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel instantiation of ASP programs: techniques and experiments. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Generalization strategies for the verification of infinite state systems. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Expressiveness of communication in answer set programming. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Feier, Stijn Heymans |
Reasoning with Forest Logic Programs and f-hybrid knowledge bases. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick Maier |
Interdefinability of defeasible logic and logic programming under the well-founded semantics. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Nicola Leone |
Introduction to the special issue on the 25th annual GULP conference. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Autonomous agents coordination: Action languages meet CLP() and Linda. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
Semantics for Possibilistic Disjunctive Programs. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Liu, Jia-Huai You |
Relating weight constraint and aggregate programs: Semantics and representation. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding similar/diverse solutions in answer set programming. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Consistent query answering via ASP from different perspectives: Theory and practice. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Phuong-Lan Nguyen, Bart Demoen |
Representation sharing for Prolog. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Karl Pichotta, Fangkai Yang |
Relational theories with null values and non-herbrand stable models. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock |
Reducing fuzzy answer set programming to model finding in fuzzy logics. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
XSB: Extending Prolog with Tabled Logic Programming. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Torsten Schaub |
ASP modulo CSP: The clingcon system. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl |
Conflict-driven ASP solving with external sources. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Panos Rondogiannis |
Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager |
SWI-Prolog. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan |
Inference in probabilistic logic programs with continuous random variables. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bliem, Michael Morak, Stefan Woltran |
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in abstraction-carrying code. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo |
Lightweight compilation of (C)LP to JavaScript. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck |
SMCHR: Satisfiability modulo constraint handling rules. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price |
Coding guidelines for Prolog. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Vítor Santos Costa |
Introduction to the 28th international conference on logic programming special issue. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vítor Santos Costa, Ricardo Rocha, Luís Damas |
The YAP Prolog system. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone |
Team-building with answer set programming in the Gioia-Tauro seaport. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Multi-threaded ASP solving with clasp. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Maher |
Relative expressiveness of defeasible logics. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Martin 0002 |
Contextual hypotheses and semantics of logic programs. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt |
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits |
Annotating answer-set programs in Lana. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman |
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Drabent |
A simple correctness proof for magic transformation. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla |
An overview of Ciao and its design philosophy. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato |
An Improved Proof-Theoretic Compilation of Logic Programs. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
Towards multi-threaded local tabling using a common table space. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé |
Diagrammatic confluence for Constraint Handling Rules. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Christian Theil Have |
Efficient tabling of structured data with enhanced hash-consing. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Annotation of logic programs for independent AND-parallelism by partial evaluation. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Carlsson, Per Mildner |
SICStus Prolog - The first 25 years. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Metodi, Michael Codish |
Compiling finite domain constraints to SAT with BEE. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Maria Garcia de la Banda |
Introduction to the special issue on Prolog systems. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Babb, Joohyung Lee |
Module theorem for the general theory of stable models. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Diaz, Salvador Abreu, Philippe Codognet |
On the implementation of GNU Prolog. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Schimpf, Kish Shen |
ECLiPSe - From LP to CLP. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang |
Representing first-order causal theories by logic programs. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka |
Model checking with probabilistic tabled logic programming. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
The language features and architecture of B-Prolog. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
A design and implementation of the Extended Andorra Model. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund S. L. Lam, Martin Sulzmann |
Concurrent goal-based execution of Constraint Handling Rules. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt |
The magic of logical inference in probabilistic programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini |
Optimal placement of valves in a water distribution network with CLP(FD). |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha |
On the implementation of the probabilistic logic programming language ProbLog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Michael Leuschel |
Constraint-based deadlock checking of high-level specifications. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Guarded resolution for Answer Set Programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient local unfolding with ancestor stacks. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Torsten Schaub |
Complex optimization in answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Garcia de la Banda, Enrico Pontelli |
Introduction to the 24th international conference on logic programming special issue. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens |
Actual causation in CP-logic. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Areias, Ricardo Rocha |
On combining linear-based strategies for tabled evaluation of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
Abstract answer set solvers with backjumping and learning. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Michael Gelfond |
Introduction to the 27th International Conference on Logic Programming Special Issue. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Mileo, Davide Merico, Roberto Bisiani |
Reasoning support for risk prediction and prevention in independent living. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Active integrity constraints and revision programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule |
Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
Products of weighted logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
Parallel backtracking with answer memoing for independent and-parallelism. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosella Gennari |
Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic music composition using answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Miroslaw Truszczynski |
Transition systems for model generators - A unifying approach. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
Non-termination analysis of logic programs with integer arithmetics. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé |
Observational equivalences for linear logic concurrent constraint languages. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Normative design using inductive learning. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Raiser, Thom W. Frühwirth |
Analysing graph transformation systems through constraint handling rules. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Functional answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber |
Detecting inconsistencies in large biological networks with answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler |
Automatic network reconstruction using ASP. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Monfroy |
Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jael Kriener, Andy King |
RedAlert: Determinacy inference for Prolog. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fink |
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Cruz, Ricardo Rocha |
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Laura Titolo, Alicia Villanueva |
Abstract diagnosis for timed concurrent constraint programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Bone, Zoltan Somogyi, Peter Schachte |
Estimating the overlap between dependent computations for automatic parallelization. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | António Porto |
A structured alternative to Prolog with simple compositional semantics. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Joohyung Lee, Yuliya Lierler |
On elementary loops of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanlin Zhang, Roland H. C. Yap |
Solving functional constraints by variable substitution. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl |
SAT-based termination analysis using monotonicity constraints over the integers. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Terrance Swift |
The PITA system: Tabling and answer subsumption for reasoning under uncertainty. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
ALPprolog - A new logic programming method for dynamic domains. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp |
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Slota, João Leite, Terrance Swift |
Splitting and updating hybrid knowledge bases. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy |
On the correctness of pull-tabbing. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé |
(Co-)Inductive semantics for Constraint Handling Rules. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")