Artificial Intelligence
Special issue on Explainable Artificial Intelligence (XAI)
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Tim Miller, Robert Hoffman, Ofra Amir, Andreas Holzinger
Artificial Intelligence
Learning infinite-word automata with loop-index queries
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Jakub Michaliszyn, Jan Otop
Artificial Intelligence
Multi-view graph convolutional networks with attention mechanism
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Kaixuan Yao, Jiye Liang, Jianqing Liang, Ming Li, Feilong Cao
Artificial Intelligence
Verification of agent navigation in partially-known environments
Publication date: July 2022Source: Artificial Intelligence, Volume 308Author(s): Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Artificial Intelligence
Analyzing generalized planning under nondeterminism
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Vaishak Belle
Artificial Intelligence
Decidability and complexity of action-based temporal planning over dense time
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Artificial Intelligence
Inconsistency-tolerant query answering for existential rules
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, Andreas Pieris, Gerardo I. Simari
Artificial Intelligence
Bayesian agency: Linear versus tractable contracts
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s): Matteo Castiglioni, Alberto Marchesi, Nicola Gatti
Artificial Intelligence
Editorial Board
Publication date: June 2022Source: Artificial Intelligence, Volume 307Author(s):
Artificial Intelligence
Modular materialisation of Datalog programs
Publication date: Available online 14 April 2022Source: Artificial IntelligenceAuthor(s): Pan Hu, Boris Motik, Ian Horrocks