Pereira, Ramon Fraga; Oren, Nir; Meneguzzi, Felipe Landmark-based approaches for goal recognition as planning. (English) Zbl 07153717 Artif. Intell. 279, Article ID 103217, 32 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{R. F. Pereira} et al., Artif. Intell. 279, Article ID 103217, 32 p. (2020; Zbl 07153717) Full Text: DOI
Pasini, Tommaso; Navigli, Roberto Train-o-matic: supervised word sense disambiguation with no (manual) effort. (English) Zbl 07153716 Artif. Intell. 279, Article ID 103215, 22 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{T. Pasini} and \textit{R. Navigli}, Artif. Intell. 279, Article ID 103215, 22 p. (2020; Zbl 07153716) Full Text: DOI
Cohen, Liel; Galiki, Rotem; Zivan, Roie Governing convergence of Max-sum on DCOPs through damping and splitting. (English) Zbl 07153715 Artif. Intell. 279, Article ID 103212, 22 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{L. Cohen} et al., Artif. Intell. 279, Article ID 103212, 22 p. (2020; Zbl 07153715) Full Text: DOI
Lu, Tyler; Boutilier, Craig Preference elicitation and robust winner determination for single- and multi-winner social choice. (English) Zbl 07153714 Artif. Intell. 279, Article ID 103203, 32 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{T. Lu} and \textit{C. Boutilier}, Artif. Intell. 279, Article ID 103203, 32 p. (2020; Zbl 07153714) Full Text: DOI
Doshi, Prashant; Gmytrasiewicz, Piotr; Durfee, Edmund Recursively modeling other agents for decision making: a research perspective. (English) Zbl 07153713 Artif. Intell. 279, Article ID 103202, 18 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{P. Doshi} et al., Artif. Intell. 279, Article ID 103202, 18 p. (2020; Zbl 07153713) Full Text: DOI
Burton, Simon; Habli, Ibrahim; Lawton, Tom; McDermid, John; Morgan, Phillip; Porter, Zoe Mind the gaps: assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. (English) Zbl 07153712 Artif. Intell. 279, Article ID 103201, 16 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{S. Burton} et al., Artif. Intell. 279, Article ID 103201, 16 p. (2020; Zbl 07153712) Full Text: DOI
Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu Clause vivification by unit propagation in CDCL SAT solvers. (English) Zbl 07153711 Artif. Intell. 279, Article ID 103197, 23 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{C.-M. Li} et al., Artif. Intell. 279, Article ID 103197, 23 p. (2020; Zbl 07153711) Full Text: DOI
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan Design and results of the second international competition on computational models of argumentation. (English) Zbl 07153710 Artif. Intell. 279, Article ID 103193, 31 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{S. A. Gaggl} et al., Artif. Intell. 279, Article ID 103193, 31 p. (2020; Zbl 07153710) Full Text: DOI
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw New models for generating hard random Boolean formulas and disjunctive logic programs. (English) Zbl 07153709 Artif. Intell. 279, Article ID 103185, 26 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{G. Amendola} et al., Artif. Intell. 279, Article ID 103185, 26 p. (2020; Zbl 07153709) Full Text: DOI