Searching for authors named "Alfredo Gabaldon" – sorted by Relevance.
-
Non-Markovian Control in the Situation Calculus
- Non-Markovian Control in the Situation Calculus Alfredo Gabaldon Department of Computer Science
- Cited by 13 (2 self) – Add To MetaCart
-
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
- Gabaldon Department of Computer Science University of Toronto alfredo@(email omitted); Abstract A promising
- Cited by 4 (0 self) – Add To MetaCart
-
Programming Hierarchical Task Networks in the Situation Calculus
- Programming Hierarchical Task Networks in the Situation Calculus Alfredo Gabaldon Department
- Cited by 4 (0 self) – Add To MetaCart
-
Representing Action Domains with Numeric-Valued
- Representing Action Domains with Numeric-Valued Fluents Esra Erdem 1 and Alfredo Gabaldon 2,3 1
- Add To MetaCart
-
Building a Knowledge Base: An Example
- : an example Michael Gelfond a Alfredo Gabaldon b a Department of Computer Science University of Texas
- Add To MetaCart
-
From Functional Specifications to Logic Programs
- From Functional Specifications to Logic Programs Michael Gelfond, Alfredo Gabaldon Department
- Cited by 8 (6 self) – Add To MetaCart
-
Value Minimization in Circumscription
- Value Minimization in Circumscription 1 Chitta Baral, Alfredo Gabaldon 2 Dept. of Computer
- Cited by 5 (3 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
-
From Functional Specifications to Logic Programs
- From Functional Specifications to Logic Programs Michael Gelfond, Alfredo Gabaldon Department
- Add To MetaCart
-
Value Minimization in Circumscription
- Value Minimization in Circumscription 1 Chitta Baral, Alfredo Gabaldon Dept. of Computer Science
- Add To MetaCart

