![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.