![](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 224
Volume 224, July 2015
- Alessandro Cimatti
, Andrea Micheli
, Marco Roveri
:
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. 1-27 - Shuo Xiang
, Xiaotong Shen, Jieping Ye:
Efficient nonconvex sparse group feature selection via continuous and discrete optimization. 28-50 - Bart Bogaerts
, Joost Vennekens
, Marc Denecker
:
Grounded fixpoints and their applications in knowledge representation. 51-71 - Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou:
Ordered completion for logic programs with aggregates. 72-102 - Boris Konev, Alexei Lisitsa:
Computer-aided proof of Erdős discrepancy properties. 103-118
![](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.