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
32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and MoreArtikel Article2020
2Eiter, Thomas ; Kiesel, Rafael ASP(AC): Answer Set Programming with Algebraic ConstraintsArtikel Article 2020
3TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground ConstraintsArtikel Article2020
4Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
5FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article2021
6EITER, 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
7Benzmü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
8Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin Managing Caching Strategies for Stream Reasoning with Reinforcement LearningArtikel Article2020
9Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes ; Pritz, Michael A Neuro-Symbolic ASP Pipeline for Visual Question AnsweringArticle Artikel 2022
10SARIBATUR, ZEYNEP G. ; EITER, THOMAS Omission-based Abstraction for Answer Set ProgramsArtikel Article2020
11SARIBATUR, ZEYNEP G. ; EITER, THOMAS Omission-Based Abstraction for Answer Set Programs - ERRATUMArtikel Article2021
12BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN PrefaceArtikel Article2021
13Bozatto, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic MeasuresArtikel Article2021
14Eiter, Thomas ; Bozzato, Loris ; Serafini, Luciano Reasoning onDL-LiteRwith Defeasibility in ASPArtikel Article2021
15BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN selp: A Single-Shot Epistemic Logic Program SolverArtikel Article2020
16BREWKA, GERHARD ; DILLER, MARTIN ; HEISSENBERGER, GEORG ; LINSBICHLER, THOMAS ; WOLTRAN, STEFAN Solving Advanced Argumentation Problems with Answer Set ProgrammingArtikel Article2020