JOURNAL ARTICLE

Advances in Computational Logic (CILC23): Preface.

Published In: Journal of Logic & Computation, 2024, v. 34, n. 8. P. 1397 1 of 3
Database: Applied Science & Technology Source Ultimate 2 of 3
Authored By: Dovier, Agostino; Formisano, Andrea 3 of 3

Abstract

The special issue of The Journal of Logic and Computation features revised papers from the 38th Italian Conference on Computational Logic (CILC-2023) held in Udine, Italy. The papers cover topics such as probabilistic argumentation frameworks, efficient theorem proving for conditional logics, defeasible reasoning in many-valued weighted knowledge bases, A.I. explainability using Answer Set Programming, classical computation over quantum architectures, operating room scheduling via Answer Set Programming, and a tool for converting ASP-solver's output into LaTex. The collaboration between the Italian Association for Logic Programming (GULP) and the University of Udine highlights the ongoing advancements in the field of Computational Logic. [Extracted from the article]

Additional Information

Source:Journal of Logic & Computation. 2024/11, Vol. 34, Issue 8, p1397
Document Type:Article
Subject Area:Language and Linguistics
Publication Date:2024
ISSN:0955792X
DOI:10.1093/logcom/exae035
Accession Number:181470131
Copyright Statement:Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Looking to go deeper into this topic? Look for more articles on EBSCOhost.