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
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Wang 0048, Shiqi Zhang, Joohyung Lee Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jorge Fandinno, Claudia Schulz 0001 Answering the "why" in answer set programming - A survey of explanation approaches. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesús J. Doménech, John P. Gallagher, Samir Genaim Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Redl Inlining External Sources in Answer Set Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz Relating Two Dialects of Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Spies, Jia-Huai You, Ryan Hayward Domain-Independent Cost-Optimal Planning in ASP. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca Better Paracoherent Answer Sets with Less Resources. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jorge Fandinno Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Partial Compilation of ASP Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang Introducing Computer Science to High School Students Through Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ho-Pun Lam, Mustafa Hashmi Enabling reasoning with LegalRuleML. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Incremental Answer Set Programming with Overgrounding. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Gonzague Yernaux, Wim Vanhoof Anti-unification in Constraint Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergey Paramonov 0001, Daria Stepanova 0001, Pauli Miettinen Hybrid ASP-based Approach to Pattern Mining. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christos T. Rodosthenous, Loizos Michael Web-STAR: A Visual Web-based IDE for a Story Comprehension System. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis, Alexander Artikis Online Event Recognition from Moving Vehicles: Application Paper. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Revisiting Explicit Negation in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Fernando Sáenz-Pérez Applying Constraint Logic Programming to SQL Semantic Analysis. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid metabolic network completion. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Giovanni Amendola, Francesco Ricca Paracoherent Answer Set Semantics meets Argumentation Frameworks. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski Beyond NP: Quantifying over Answer Sets. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1João F. L. Alcântara, Samy Sá, Juan Carlos Acosta Guadarrama On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing Magic Sets with an Application to Ontological Reasoning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis The Expressive Power of Higher-Order Datalog. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Ellmauthaler, Claudia Schulz 0001 Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang Introduction to the 35th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elias Marcopoulos, Yuanlin Zhang onlineSPARC: A Programming Environment for Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adrián Riesco 0001, Juan Rodríguez-Hortalá Property-Based Testing for Spark Streaming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran On Uniform Equivalence of Epistemic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tiantian Gao, Paul Fodor, Michael Kifer Querying Knowledge via Multi-Hop English Questions. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arpit Sharma 0001 Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. Search on Bibsonomy TPLP The full citation details ... 2019 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
1Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Introduction to the special issue on computational logic for verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Scott Pakin Performing fully parallel constraint logic programming on a quantum annealer. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Parallelism, concurrency and distribution in constraint handling rules: A survey. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo Scaling-up reasoning and advanced analytics on BigData. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Logic + control: On program construction and verification. Search on Bibsonomy TPLP The full citation details ... 2018 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
1Alessandro Dal Palù, Paul Tarau Introduction to the 34-th international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2018 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
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc challenge. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  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
1Joohyung Lee, Zhun Yang Translating LPOD and CR-Prolog2 into standard answer set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy TPLP The full citation details ... 2018 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
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Constraint Answer Set Programming without Grounding. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arindam Mitra, Chitta Baral Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Enrico Pontelli Past and present (and future) of parallel and distributed computation in (constraint) logic programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksy Schubert, Pawel Urzyczyn First-order Answer Set Programming as Constructive Proof Search. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International conference on logic programming special issue - ADDENDUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker, Keri Harris Lock-free atom garbage collection for multithreaded Prolog - ERRATUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, 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. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table space designs for implicit and explicit concurrent tabled evaluation. Search on Bibsonomy TPLP The full citation details ... 2018 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
1David Scott Warren Top-down and Bottom-up Evaluation Procedurally Integrated. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise debugging of answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2018 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
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for program verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberta Calegari, Enrico Denti, Stefano Mariani 0001, Andrea Omicini Logic programming as a service. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arun Nampally, Timothy Zhang, C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Dahlem, Anoop Bhagyanath, Klaus Schneider 0001 Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Search on Bibsonomy TPLP The full citation details ... 2018 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
1Marcello Balduccini, Yuliya Lierler Constraint answer set solver EZCSP and why integration schemas matter. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia ASPeRiX, a first-order forward chaining approach for answer set computing. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Achievements in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy TPLP The full citation details ... 2017 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