Skip to main content

Ricerc@Sapienza

Home
Login

Home
Situation calculus
2020
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Non-terminating processes in the situation calculus

pubblicato su: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE - 2020

De Giacomo G., Ternovska E., Reiter R.

CATALOGO IRIS SAPIENZA

Anno

(-) Remove 2020 filter 2020

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter

Rivista

ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (1) Apply ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE filter

Book

Keywords

(-) Remove Situation calculus filter Situation calculus
Formal verification of Golog and ConGolog programs (1) Apply Formal verification of Golog and ConGolog programs filter
Inductive definitions (1) Apply Inductive definitions filter
Reasoning about actions (1) Apply Reasoning about actions filter

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