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

Polskie Towarzystwo Matematyczne

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