The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TPLP"( http://dblp.L3S.de/Venues/TPLP )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tplp

Publication years (Num. hits)
2001 (33) 2002 (22) 2003 (26) 2004 (28) 2005 (28) 2006 (22) 2007 (22) 2008 (28) 2009 (16) 2010 (36) 2011 (45) 2012 (41) 2013 (84) 2014 (44) 2015 (41) 2016 (46) 2017 (43) 2018 (45) 2019 (50)
Publication types (Num. hits)
article(700)
Venues (Conferences, Journals, ...)
TPLP(700)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 700 publication records. Showing 700 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rémy Haemmerlé (Co-)Inductive semantics for Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andy King, Lunjin Lu A Backward Analysis for Constraint Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ariyam Das, Carlo Zaniolo A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano A CHR-based implementation of known arc-consistency. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey A CLP heap solver for test case generation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Woltran A common view on strong, uniform, and other notions of equivalence in answer-set programming. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miguel Palomino A comparison between two logical formalisms for rewriting. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hariolf Betz, Frank Raiser, Thom W. Frühwirth A complete and terminating execution model for Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rueda A concurrent constraint programming interpretation of access permissions. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli A Constructive semantic characterization of aggregates in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patricia M. Hill, Enea Zaffanella, Roberto Bagnara A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matteo Interlandi, Letizia Tanca A datalog-based computational model for coordination-free, data-parallel systems. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti A decidable subclass of finitary programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo 0001 A declarative approach to distributed computing: Specification, execution and analysis. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo A declarative extension of horn clauses, and its significance for datalog and its applications. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz A declarative semantics for CLP with qualification and proximity. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A denotational semantics for equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva A design and implementation of the Extended Andorra Model. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Paul Ogris, Konstantin Schekotihin A Distributed Approach to LARS Stream Reasoning (System paper). Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Framework for Compiling Preferences in Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Fink 0001 A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Puri Arenas-Sánchez, Mario Rodríguez-Artalejo A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  BibTeX  RDF
1Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo A general framework for static profiling of parametric resource usage. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Monfroy A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński, xiii + 509 pages, published by Jacek Skalmierski Computer Studio, Third Edition, 2014. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits A knowledge-based approach for selecting information sources. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Taisuke Sato A linear algebraic approach to datalog evaluation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein, Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Craig Blackmore, Oliver Ray, Kerstin Eder A logic programming approach to predict effective compiler settings for embedded software. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Grant, Jack Minker A logic-based approach to data integration. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano A Measure of Arbitrariness in Abductive Explanations. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for answer set programming with external computations. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson A Module System for Domain-Specific Languages. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca A multi-engine approach to answer-set programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Farhad Shakerin, Elmer Salazar, Gopal Gupta A new algorithm to automate inductive learning of default theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard A non-termination criterion for binary constraint logic programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ralf Schweimeier, Michael Schroeder 0001 A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi A Pigeon-Hole Based Encoding of Cardinality Constraints. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Senlin Liang, Michael Kifer A practical analysis of non-termination in large logic programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 A Probabilistic Extension of Action Language ${\cal BC}$+}$. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anastasios Skarlatidis, Alexander Artikis, Jason Filipou, Georgios Paliouras A probabilistic logic programming event calculus. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James P. Delgrande A program-level approach to revising logic programs under the answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Jaime Sánchez-Hernández A Proof Theoretic Approach to Failure in Functional Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elaine Pimentel, Carlos Olarte, Vivek Nigam A Proof Theoretic Study of Soft Concurrent Constraint Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson A refinement calculus for logic programs. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth A review of literature on parallel constraint solving. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Kewen Wang A semantic framework for preference handling in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1 A short bibliography of Alain Colmerauer. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  BibTeX  RDF
1Wlodzimierz Drabent A simple correctness proof for magic transformation. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1António Porto A structured alternative to Prolog with simple compositional semantics. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lee Naish A three-valued semantics for logic programmers. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1George 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. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz A Transformation-based implementation for CLP with qualification and proximity. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Drescher, Toby Walsh A translational approach to constraint answer set solving. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gopalan Nadathur A treatment of higher-order features in logic programming. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jacques Cohen A Tribute to Alain Colmerauer. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pascal Hitzler, Matthias Wendt A uniform approach to logic programming semantics. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Claudia Schulz 0001, Francesca Toni ABA-Based Answer Set Justification. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simona Perri, Francesco Scarcello, Nicola Leone Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stefania Costantini About Epistemic Negation and World Views in Epistemic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Abstract answer set solvers with backjumping and learning. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract Diagnosis for tccp using a Linear Temporal Logic. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Comini, Laura Titolo, Alicia Villanueva Abstract diagnosis for timed concurrent constraint programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Abstract interpretation of temporal concurrent constraint programs. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Marco Maratea Abstract Solvers for Computing Cautious Consequences of ASP programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Akihisa Yamada 0002, Sarah Winkler, Nao Hirokawa, Aart Middeldorp AC-KBO revisited. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Achievements in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Achieving compositionality of the stable model semantics for smodels programs. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carla Piazza, Alberto Policriti Ackermann Encoding, Bisimulations, and OBDDs. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lenz Belzner Action Programming In Rewriting Logic. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Luciano Caroprese, Miroslaw Truszczynski Active integrity constraints and revision programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joost Vennekens Actual causation in CP-logic. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman Adding partial functions to Constraint Logic Programming with sets. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Hanus Adding Plural Arguments to Curry Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Jorge Fandinno Algebraic Approach to Causal Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Victor W. Marek All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Conrad Drescher, Michael Thielscher ALPprolog - A new logic programming method for dynamic domains. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue An abductive framework for computing knowledge base updates. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Laura Titolo An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Daniela Inclezan An application of answer set programming to the field of second language acquisition. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Werner Nutt, Sergey Paramonov 0001, Ognjen Savkovic An ASP Approach to Query Completeness Reasoning. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney An ASP Methodology for Understanding Narratives about Stereotypical Activities. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli An effective fixpoint semantics for linear logic programs. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Sven Koschnicke An ER-based framework for declarative web programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Theodore Patkos, Dimitris Plexousakis, Abdelghani Chibani, Yacine Amirat An event calculus production rule system for reasoning in dynamic and uncertain domains. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato An Improved Proof-Theoretic Compilation of Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Concepción Vidal An infinitary encoding of temporal equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Ugo Montanari, Francesca Rossi An interactive semantics of logic programming. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henk Vandecasteele, Gerda Janssens An Open Ended Tree. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank Raiser, Thom W. Frühwirth Analysing graph transformation systems through constraint handling rules. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guido Governatori, Michael J. Maher Annotated defeasible logic. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating answer-set programs in Lana. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Germán Vidal Annotation of logic programs for independent AND-parallelism by partial evaluation. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub Answer set programming as a modeling language for course timetabling. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 700 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license