Area of research
Artificial Intelligence · Management Information Systems
Research interest
Research interests include Multi-Agent Systems and Negotiation, Logic, Reasoning, and Knowledge, AI-based Problem Solving and Planning, and Semantic Web and Ontologies.
Reasoning About Actual Causes in Nondeterministic Domains
Situation Calculus Temporally Lifted Abstractions for Generalized Planning
A Logic of Actual Cause for Nondeterministic Domains
Abstracting situation calculus action theories
Reasoning About Causal Knowledge in Nondeterministic Domains
On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures
Abstraction of Situation Calculus Concurrent Game Structures
Abstraction of Nondeterministic Situation Calculus Action Theories
Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains
Situation Calculus Game Structures and GDL
The Nondeterministic Situation Calculus
Knowing Why — On the Dynamics of Knowledge about Actual Causes in the Situation Calculus
Agent Abstraction via Forgetting in the Situation Calculus
A Modal Logic for Joint Abilities under Strategy Commitments
ElGolog: A High-Level Programming Language with Memory of the Execution History
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
Hierarchical Agent Supervision
Abstraction in Situation Calculus Action Theories
Rewards Structure in Games: Learning a Compact Representation for Action Space.
National Conference on Artificial Intelligence 2017cited by 0position: middle
Bounded situation calculus action theories
Verifying ConGolog Programs on Bounded Situation Calculus Theories
Online agent supervision in the situation calculus
IRIS Research product catalog (Sapienza University of Rome) 2016cited by 3position: last
Infinite paths in the situation calculus: axiomatization and properties
Principles of Knowledge Representation and Reasoning 2016cited by 2position: last
Online situation-determined agents and their supervision
IRIS Research product catalog (Sapienza University of Rome) 2016cited by 2position: last
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
Synchronous Games in the Situation Calculus
Synchronous Games in the Situation Calculus (Extended Abstract)
2015cited by 0position: middle
Bounded Situation Calculus Action Theories
Progression and verification of situation calculus agents with bounded beliefs