Marco Faella

2 papers · 2017–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (11) 📈 Trend Setter

Conferences

AAAI (1) IJCAI (1)

Top co-authors

Luigi Sauro (1) Piero Bonatti (1) Gennaro Parlato (1) Iliana M. Petrova (1)

Keywords

game theory (1) formal verification (1) description logic (1) reachability game (1) nonmonotonic reasoning (1) satisfiability modulo theories (1) knowledge engineering (1) reactive system (1) constrained horn clause (1)

Papers

Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023

A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017