Volume 307, June 2022
Learning infinite-word automata with loop-index queries.

Jakub Michaliszyn Jan Otop

电商所评分:4

Multi-view graph convolutional networks with attention mechanism.

Kaixuan Yao Jiye Liang Jianqing Liang Ming Li Feilong Cao

电商所评分:8

Special issue on Explainable Artificial Intelligence (XAI).

Tim Miller Robert R. Hoffman Ofra Amir Andreas Holzinger

电商所评分:8

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

Thomas Linsbichler Marco Maratea Andreas Niskanen Johannes Peter Wallner Stefan Woltran

电商所评分:7

Analyzing generalized planning under nondeterminism.

Vaishak Belle

电商所评分:6

Decidability and complexity of action-based temporal planning over dense time.

Nicola Gigante Andrea Micheli Angelo Montanari Enrico Scala

电商所评分:1

Inconsistency-tolerant query answering for existential rules.

Thomas Lukasiewicz Enrico Malizia Maria Vanina Martinez Cristian Molinaro Andreas Pieris Gerardo I. Simari

电商所评分:5

Bayesian agency: Linear versus tractable contracts.

Matteo Castiglioni Alberto Marchesi Nicola Gatti

电商所评分:9