Skip to main content
English
Italiano
Search form
Search
legibility:
standard
|
enhanced
Department of Computer, Control and Management Engineering
Toggle navigation
Department
Contacts
Foreword
How to reach us
Management
People
Structures
Laboratories
Classrooms
Library
Teaching
Study programs
PhD programs
Teaching laboratories
Multimedia
Research
Overview
Research areas
Research Laboratories
Seminars and events
Research reports
DIAG Reports
Technical reports
interdepartmental centers
Spin-offs
Public engagement
News
News
Events calendar
DIAG on media
Seminars & events
Home
»
Tipologia Iris
»
04b Atto Di Convegno Volume
04b Atto di convegno in volume
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
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
Bounded epistemic situation calculus theories
A classification of first-order progressable action theories in situation calculus
Implementing and running data-centric dynamic systems
« first
‹ previous
…
439
440
441
442
443
444
445
446
447
…
next ›
last »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
