Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
Artificial Intelligence
The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020)
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

ElGolog: A High-Level Programming Language with Memory of the Execution History

pubblicato su: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - 2020

De Giacomo Giuseppe, Lespérance Yves, Ternovska Eugenia

LTLf Synthesis with Fairness and Stability Assumptions

pubblicato su: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - 2020

Zhu Shufang, De Giacomo Giuseppe, Pu Geguang, Vardi Moshe Y.

CATALOGO IRIS SAPIENZA

Anno

2020 (2) Apply 2020 filter

Tipo pubblicazione

04 Pubblicazione in atti di convegno (2) Apply 04 Pubblicazione in atti di convegno filter

Rivista

Book

(-) Remove The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) filter The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020)

Keywords

(-) Remove Artificial Intelligence filter Artificial Intelligence
knowledge representation (2) Apply knowledge representation filter
Reasoning about actions (2) Apply Reasoning about actions filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma