Searching for authors named "Alfredo Gabaldon" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
