Theory and Practice of Logic Programming

Title Titel
Theory and Practice of Logic Programming
Publisher Herausgeber
Publisher's Address Herausgeber Adresse
Listed in SCI Aufgelistet im SCI
Peer reviewed Begutachtet

Publications Publikationen

Results 1-20 of 51 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1WOLTRAN, STEFAN A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set ProgrammingArtikel Article2008
2FINK, MICHAEL A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereArtikel Article2011
3Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach for Selecting Information SourcesArtikel Article2007
4WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article 2020
5EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingArticle Artikel 26-Jan-2023
6Eiter, Thomas ; Kiesel, Rafael ASP(AC): Answer Set Programming with Algebraic ConstraintsArtikel Article 2020
7Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsArtikel Article 2014
8PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityArtikel Article2009
9EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part IIArticle ArtikelJan-2023
10ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN Complexity of super-coherence problems in ASPArtikel Article 2014
11TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article 2020
12EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
13CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Constraints, lazy constraints, or propagators in ASP solving: An empirical analysisArtikel Article 2017
14BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set ProgrammingArtikel Article2012
15Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin A Distributed Approach to LARS Stream Reasoning (System paper)Artikel Article 20-Sep-2019
16FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
17Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
18KAMINSKI, TOBIAS ; EITER, THOMAS ; INOUE, KATSUMI Exploiting Answer Set Programming with External Sources for Meta-Interpretive LearningArtikel Article 2018
19FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
20EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2011