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.
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.