TACCHELLA, ARMANDO
TACCHELLA, ARMANDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Getting to the airport: The oldest planning problem in AI
2000-01-01 Lifschitz, V.; Mccain, N.; Remolina, E.; Tacchella, Armando
SAT Techniques for Modal and Description Logics
2009-01-01 Sebastiani, R; Tacchella, Armando
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation
2019-01-01 Aly, A.; Pathak, S.; Andrist, S.; Tacchella, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Getting to the airport: The oldest planning problem in AI | 1-gen-2000 | Lifschitz, V.; Mccain, N.; Remolina, E.; Tacchella, Armando | |
| SAT Techniques for Modal and Description Logics | 1-gen-2009 | Sebastiani, R; Tacchella, Armando | |
| SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando | |
| Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation | 1-gen-2019 | Aly, A.; Pathak, S.; Andrist, S.; Tacchella, A. |