| Topic | People | Description |
|---|---|---|
| Automated reasoning |
Maria Paola Bonacina
Matteo Cristani |
Decision procedures for satisfiability modulo theories and assignments; Automated theorem proving; Automated model building; Reasoning about programs; Interpolation of proofs for the generation of abstractions or explanations; Strategy analysis; Distributed automated deduction; Rewriting. |
| Temporal reasoning |
Roberto Posenato
|
Temporal constraint networks are a research area within temporal reasoning focused on modeling and solving problems where events, tasks, or resources are constrained by temporal dependencies. Temporal constraint networks are used to tackle complex problems in scheduling, planning, and coordination, especially in dynamic environments where constraints may evolve over time. Recent advancements incorporate game-theoretic models, spatio-temporal constraints, and probabilistic methods to address the challenges posed by time-varying, decentralized, and uncertain systems. |
| Knowledge representation |
Matteo Cristani
|
Reasoning with knowledge; non-monotonic reasoning; reasoning with spatio-temporal constraints; defeasible logic. |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
