


default search action
Artificial Intelligence, Volume 257
Volume 257, April 2018
- Peter Jonsson:
Constants and finite unary relations in qualitative constraint reasoning. 1-23 - Daniel Gnad
, Jörg Hoffmann:
Star-topology decoupled state space search. 24-60 - Robert Ganian, Sebastian Ordyniak
:
The complexity landscape of decompositional parameters for ILP. 61-71 - Loris Bozzato
, Thomas Eiter, Luciano Serafini:
Enhancing context knowledge repositories with justifiable exceptions. 72-126 - Xi Cheng
, Min Zhou
, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Parallelizing SMT solving: Lazy decomposition and conciliation. 127-157 - Pietro Baroni
, Massimiliano Giacomin
, Beishui Liao
:
A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application. 158-207

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.