Salta al contenuto principale
English
Italiano
Form di ricerca
Cerca
legibility:
standard
|
enhanced
Dipartimento di Ingegneria informatica, automatica e gestionale
Toggle navigation
Dipartimento
Chi siamo
Governo
Pianificazione strategica
Assicurazione qualità
Dove siamo
Persone
Uffici
Trasparenza
Bandi
Commissioni
Strutture
Laboratori
Aule
Biblioteca
Didattica
Ricerca
Panoramica
Aree di ricerca
Gruppi di ricerca
Eventi e seminari
Progetti di ricerca
Keyword search
Visiting professors
Research Reports
DIAG Reports
Technical Reports
Centri interdipartimentali
Spin-off
Frequentatori esterni
Terza missione
Notizie
DIAG sui media
Seminars & events
Home
»
Tipologia Iris
»
04b Atto Di Convegno Volume
04b Atto di convegno in volume
Synthesizing and executing plans in Knowledge and Action Bases
On First-Order μ-Calculus over Situation Calculus Action Theories
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Implementing data-centric dynamic systems over a relational DBMS
Leveraging relational technology for data-centric dynamic systems
Service Composition with PDDL Representations and Visualization over Videogame Engines
Action theories over generalized databases with equality constraints
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
Agent Behavior Composition in Virtual Environments Realized Using Game Engines
Towards a reference implementation for Data Centric Dynamic Systems
« prima
‹ precedente
…
398
399
400
401
402
403
404
405
406
…
seguente ›
ultima »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
