Fundamenta Informaticae - Tom Vol. 176, nr 3/4 (2020) - BazTech

Tom - szczegóły

Tytuł artykułu

Vol. 176, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2020

Identyfikatory

Uwagi

Special issue devoted to the best paper presented at the 32nd Italian Conference on Computational Logic (CILC 2017). Guest editors: Dario Della Monica, Aniello Murano and Luigi Sauro

Zawartość wolumenu

Vol. 176, nr 3/4
- artykuł: A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Su Ezgi Iraz), s. 205--234
- artykuł: Reasoning about Exceptions in Ontologies : from the Lexicographic Closure to the Skeptical Closure (Giordano Laura, Gliozzi Valentina), s. 235--269
- artykuł: Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Alviano Mario, Dodaro Carmine), s. 271--297
- artykuł: Towards a Logic Programming Tool for Cancer Data Analysis (Tarzariol Alice, Zanazzo Eugenia, Dovier Agostino, Policriti Alberto), s. 299--319
- artykuł: Dischargeable Obligations in the SCIFF Framework (Alberti Marco, Gavanelli Marco, Lamma Evelina, Riguzzi Fabrizio, Satoh Ken, Zese Riccardo), s. 321--348
- artykuł: A Set-theoretic Approach to Reasoning Services for the Description Logic DL4,xD (Cantone Domenico, Nicolosi-Asmundo Marianna, Santamaria Daniele Francesco), s. 349--384

rozwiń roczniki