Artificial Intelligence

Diagnosability of Fair Transition Systems

Publication date: Available online 13 April 2022Source: Artificial IntelligenceAuthor(s): Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktoria Vozarova

By ScienceDirect Publication: Artificial Intelligence, 3 years ago

Artificial Intelligence

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving

Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran

By ScienceDirect Publication: Artificial Intelligence, 3 years ago

Artificial Intelligence

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic <math xmlns:mml=”http://www.w3.org/1998/Math/MathML” altimg=”si1.svg” class=”math”><mi mathvariant=”script”>EL</mi></math>

Publication date: July 2022Source: Artificial Intelligence, Volume 308Author(s): Carsten Lutz, Leif Sabellek

By ScienceDirect Publication: Artificial Intelligence, 3 years ago