Theory and Practice of Logic Programming

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 2024]
Date Issued:  [2010 TO 2019]
Date Issued:  2019

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin A Distributed Approach to LARS Stream Reasoning (System paper)Artikel Article 20-Sep-2019
2REDL, CHRISTOPH Inlining External Sources in Answer Set ProgramsArtikel Article 2019
3FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
4CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Partial Compilation of ASP ProgramsArtikel Article 2019