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:
Author:  WOLTRAN, STEFAN
Subject:  Hardware and Architecture

Results 1-16 of 16 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1WOLTRAN, STEFAN A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set ProgrammingArtikel Article2008
2PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityArtikel Article2009
3ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN Complexity of super-coherence problems in ASPArtikel Article 2014
4BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set ProgrammingArtikel Article2012
5FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
6FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
7GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015
8FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
9BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN PrefaceArtikel Article2021
10TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Relativized hyperequivalence of logic programs for modular programmingArtikel Article2009
11BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN selp: A Single-Shot Epistemic Logic Program SolverArtikel Article 2020
12BREWKA, GERHARD ; DILLER, MARTIN ; HEISSENBERGER, GEORG ; LINSBICHLER, THOMAS ; WOLTRAN, STEFAN Solving Advanced Argumentation Problems with Answer Set ProgrammingArtikel Article 2020
13BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016
14PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughArtikel Article2012
15PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable answer-set programming with weight constraints: bounded treewidth is not enoughArtikel Article2014
16GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017