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

Results 21-40 of 51 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2013
22GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015
23REDL, CHRISTOPH Inlining External Sources in Answer Set ProgramsArtikel Article 2019
24EITER, THOMAS ; TONI, FRANCESCA Introduction to the 31st International Conference on Logic Programming Special IssueArtikel Article2015
25EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLPArticle Artikel22-Sep-2022
26Benzmüller, Christoph ; Parent, Xavier ; Ricca, Francesco Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)Artikel Article2021
27Dodaro, Carmine ; Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin Managing Caching Strategies for Stream Reasoning with Reinforcement LearningArtikel Article 21-Sep-2020
28Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A model building framework for answer set programming with external computationsArtikel Article Jul-2016
29Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg MV-Datalog+-: Effective Rule-based Reasoning with Uncertain ObservationsArticle Artikel 26-Jul-2022
30Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes ; Pritz, Michael A Neuro-Symbolic ASP Pipeline for Visual Question AnsweringArticle Artikel 2022
31SARIBATUR, ZEYNEP G. ; EITER, THOMAS Omission-based Abstraction for Answer Set ProgramsArtikel Article 2020
32SARIBATUR, ZEYNEP G. ; EITER, THOMAS Omission-Based Abstraction for Answer Set Programs - ERRATUMArtikel Article 2021
33ANTIĆ, CHRISTIAN On cascade products of answer set programsArtikel Article2014
34FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN On Uniform Equivalence of Epistemic Logic ProgramsArtikel Article 2019
35CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Partial Compilation of ASP ProgramsArtikel Article 2019
36BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN PrefaceArtikel Article2021
37BOZZATO, LORIS ; EITER, THOMAS ; SERAFINI, LUCIANO Reasoning on with Defeasibility in ASPArticle Artikel 2022
38Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Reasoning on DL-LiteR with Defeasibility in ASPArtikel Article Mar-2022
39Bozatto, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic MeasuresArtikel Article Sep-2021
40FEIER, CRISTINA ; HEYMANS, STIJN Reasoning with Forest Logic Programs and f-hybrid knowledge basesArtikel Article2011