Daniela Andolfatto

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Modulo Theories

Stable Model Semantics

Disjunctive Logic Programs

Transportation Systems

Top Venues

Publications

Walter Terkaj, Marcello Urgo, Daniela Andolfatto
Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems. FedCSIS (2017)