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

Results 41-51 of 51 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Relativized hyperequivalence of logic programs for modular programmingArtikel Article2009
42BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN selp: A Single-Shot Epistemic Logic Program SolverArtikel Article 2020
43BREWKA, GERHARD ; DILLER, MARTIN ; HEISSENBERGER, GEORG ; LINSBICHLER, THOMAS ; WOLTRAN, STEFAN Solving Advanced Argumentation Problems with Answer Set ProgrammingArtikel Article 2020
44Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article 2018
45Erdem, Esra ; Lifschitz, Vladimir ; Ringe, Donald Temporal phylogenetic networks and logic programmingArtikel Article2006
46REDL, CHRISTOPH The DLVHEX System for Knowledge Representatin: Recent Advances (System Description)Artikel Article 2016
47BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016
48Eiter, Thomas ; Polleres, Axel Florian Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and ApplicationsArtikel Article2006
49PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughArtikel Article2012
50PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable answer-set programming with weight constraints: bounded treewidth is not enoughArtikel Article2014
51GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017