Theory and Practice of Logic Programming

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Theory and Practice of Logic Programming
 
e-ISSN
1475-3081
 
ISSN
1471-0684
 
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
 
Publisher's Address Herausgeber Adresse
EDINBURGH BLDG, SHAFTESBURY RD, CAMBRIDGE, ENGLAND, CB2 8RU
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Hardware and Architecture

Results 1-20 of 41 (Search time: 0.006 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
3WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article 2020
4Eiter, Thomas ; Kiesel, Rafael ASP(AC): Answer Set Programming with Algebraic ConstraintsArtikel Article 2020
5Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsArtikel Article 2014
6PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityArtikel Article2009
7ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN Complexity of super-coherence problems in ASPArtikel Article 2014
8TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article 2020
9EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
10CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Constraints, lazy constraints, or propagators in ASP solving: An empirical analysisArtikel Article 2017
11BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set ProgrammingArtikel Article2012
12Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin A Distributed Approach to LARS Stream Reasoning (System paper)Artikel Article 20-Sep-2019
13FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
14KAMINSKI, TOBIAS ; EITER, THOMAS ; INOUE, KATSUMI Exploiting Answer Set Programming with External Sources for Meta-Interpretive LearningArtikel Article 2018
15FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
16EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article2011
17EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article2013
18GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015
19REDL, CHRISTOPH Inlining External Sources in Answer Set ProgramsArtikel Article 2019
20EITER, THOMAS ; TONI, FRANCESCA Introduction to the 31st International Conference on Logic Programming Special IssueArtikel Article2015