Searching for authors named "Alessandro Provetti" – sorted by Relevance.
-
Ordering Events: Intervals Are Sufficient, More General Sets Are Usually Not Necessary
- Ordering Events: Intervals Are Sufficient, More General Sets Are Usually Not Necessary Alessandro
- Add To MetaCart
-
Cv
- Alessandro Provetti Ricercatore (Assistant professor) at Computer Science Dept. University
- Add To MetaCart
-
Hypothetical Reasoning About Actions: From Situation Calculus To Event Calculus
- SITUATION CALCULUS TO EVENT CALCULUS Alessandro Provetti C.I.R.F.I.D. - Universit`a di Bologna. Via
- Cited by 15 (2 self) – Add To MetaCart
-
Action Specifications in {log}
- Action Specifications in flogg Alessandro Provetti and Gianfranco Rossi Dipartimento di Matematica
- Add To MetaCart
-
Reasoning about RDF statements with default rules
- for Interoperability ∗ Elisa Bertino Alessandro Provetti Franco Salvetti CS Dept. & CERIAS - Purdue University. West
- Cited by 2 (0 self) – Add To MetaCart
-
Value Minimization in Circumscription
- Science, University of Texas at El Paso. El Paso, Texas 79968 Alessandro Provetti 3 C
- Cited by 5 (3 self) – Add To MetaCart
-
Representing Actions: Laws, Observations and Hypotheses
- and Alessandro Provetti z Department of Computer Science z C.I.R.F.I.D. University of Texas at El Paso
- Cited by 32 (5 self) – Add To MetaCart
-
On the Non-monotonic Behavior of Event Calculus for Deriving Maximal Time Intervals
- Cervesato, Angelo Montanari, Alessandro Provetti Abstract The Event Calculus was proposed by Kowalski
- Cited by 13 (11 self) – Add To MetaCart
-
Formalizing Narratives Using Nested Circumscription
- Chitta Baral a,# , Alfredo Gabaldon a,1 , Alessandro Provetti b,2 a Department of Computer Science
- Cited by 17 (12 self) – Add To MetaCart
-
Value Minimization in Circumscription
- ,alfredog@(email omitted); Alessandro Provetti D.S.I., Universit`a di Milano, Via Comelico 39, I-20135 Milan, Italy http://dotto.usr.dsi.unimi.it/~provetti
- Add To MetaCart

