Searching for authors named "Alessandro Provetti" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
