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:
Date Issued:  [2000 TO 2009]

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1WOLTRAN, STEFAN A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set ProgrammingArtikel Article2008
2Eiter, Thomas ; Fink, Michael ; Tompits, Hans A Knowledge-Based Approach for Selecting Information SourcesArtikel Article2007
3PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN Characterising Equilibrium Logic and Nested Logic Programs: Reductions and ComplexityArtikel Article2009
4TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Relativized hyperequivalence of logic programs for modular programmingArtikel Article2009
5Erdem, Esra ; Lifschitz, Vladimir ; Ringe, Donald Temporal phylogenetic networks and logic programmingArtikel Article2006
6Eiter, Thomas ; Polleres, Axel Florian Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and ApplicationsArtikel Article2006