![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Artificial Intelligence, Volume 279
Volume 279, February 2020
- Simon Burton, Ibrahim Habli, Tom Lawton
, John A. McDermid
, Phillip Morgan, Zoë Porter
:
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. - Prashant Doshi, Piotr J. Gmytrasiewicz, Edmund H. Durfee
:
Recursively modeling other agents for decision making: A research perspective. - Chu-Min Li
, Fan Xiao
, Mao Luo, Felip Manyà
, Zhipeng Lü, Yu Li:
Clause vivification by unit propagation in CDCL SAT solvers. - Giovanni Amendola
, Francesco Ricca
, Miroslaw Truszczynski:
New models for generating hard random boolean formulas and disjunctive logic programs. - Tyler Lu, Craig Boutilier:
Preference elicitation and robust winner determination for single- and multi-winner social choice. - Tommaso Pasini, Roberto Navigli
:
Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort. - Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Design and results of the Second International Competition on Computational Models of Argumentation. - Liel Cohen
, Rotem Galiki, Roie Zivan:
Governing convergence of Max-sum on DCOPs through damping and splitting. - Ramon Fraga Pereira, Nir Oren
, Felipe Meneguzzi
:
Landmark-based approaches for goal recognition as planning.
![](https://dblp.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.