Pubblicazioni

Helpful Information Sharing for Partially Informed Planning Agents

2023 - IJCAI

Keren, S.; Wies, D.; Bernardini, S.

Intensional and Extensional Views in DL-Lite Ontologies

2021 - IJCAI

Console, Marco; De Giacomo, Giuseppe; Lenzerini, Maurizio; Namici, Manuel

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

2020 - IJCAI

De Giacomo, Giuseppe; Di Stasio, Antonio; Fuggitti, Francesco; Rubin, Sasha

Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains

2019 - IJCAI

Brafman, R. I.; De Giacomo, G.

Regular decision processes: A model for non-markovian domains

2019 - IJCAI

Brafman, R. I.; De Giacomo, G.

Reallocating Multiple Facilities on the Line

2019 - IJCAI

Fotakis, Dimitris; Kavouras, Loukas; Panagiotis, Kostopanagiotis; LAZOS, FILIPPOS; Skoulakis, Stratis; Zarifis, Nikolas

On computational tractability for rational verification

2019 - IJCAI

Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M.

Reasoning about quality and fuzziness of strategic behaviours

2019 - IJCAI

Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.

Synthesis of controllable Nash equilibria in quantitative objective games

2018 - IJCAI

Almagor, S.; Kupferman, O.; Perelli, G.

Mapping Repair in Ontology-based Data Access Evolving Systems

2017 - IJCAI

Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Evgenij, Thorstensen

Nash equilibria in concurrent games with lexicographic preferences

2017 - IJCAI

Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Wooldridge, M.

Eddy: A Graphical Editor for OWL 2 Ontologies

2016 - IJCAI

Lembo, Domenico; Pantaleone, Daniele; Santarelli, Valerio; Savo, Domenico Fabio

Answering metaqueries over Hi(OWL 2 QL) ontologies

2016 - IJCAI

Lenzerini, Maurizio; Lepore, Lorenzo; Poggi, Antonella

An Adaptive Process Management System Implementation Based on Situatio Calculus, Indigolog and Classical Planning

2016 - IJCAI

Marrella, Andrea; Mecella, Massimo; Sardina, Sebastian

Plan Synthesis for Knowledge and Action Bases

2016 - IJCAI

Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Stawowy, Michele

A discriminative approach to grounded spoken language understanding in interactive robotics

2016 - IJCAI

Bastianelli, Emanuele; Croce, Danilo; Vanzo, Andrea; Basili, Roberto; Nardi, Daniele

Pushdown multi-agent system verification

2015 - IJCAI

Murano, A.; Perelli, G.