 | 2011 |
|---|
| 27 |       | Alfredo Gabaldon:
Making Golog Norm Compliant.
CLIMA 2011: 275-292 |
| 26 | | José Júlio Alferes,
Alfredo Gabaldon,
João Leite:
Evolving Logic Programs with Temporal Operators.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212 |
| 25 | | Alfredo Gabaldon:
Non-Markovian control in the Situation Calculus.
Artif. Intell. 175(1): 25-48 (2011) |
| 2010 |
|---|
| 24 | | Iluju Kiringa,
Alfredo Gabaldon:
Synthesizing advanced transaction models using the situation calculus.
J. Intell. Inf. Syst. 35(2): 157-212 (2010) |
| 2009 |
|---|
| 23 | | José Júlio Alferes,
Alfredo Gabaldon,
João Leite:
A Logic Programming System for Evolving Programs with Temporal Operators.
EPIA 2009: 101-112 |
| 22 | | Alfredo Gabaldon:
Activity Recognition with Intended Actions.
IJCAI 2009: 1696-1701 |
| 21 | | Franz Baader,
Andreas Bauer,
Peter Baumgartner,
Anne Cregan,
Alfredo Gabaldon,
Krystian Ji,
Kevin Lee,
David Rajaratnam,
Rolf Schwitter:
A Novel Architecture for Situation Awareness Systems.
TABLEAUX 2009: 77-92 |
| 2008 |
|---|
| 20 | | José Júlio Alferes,
Alfredo Gabaldon,
João Leite:
Evolving Logic Programming Based Agents with Temporal Operators.
IAT 2008: 238-244 |
| 2007 |
|---|
| 19 |  | Alfredo Gabaldon,
Gerhard Lakemeyer:
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.
AAAI 2007: 974-979 |
| 18 | | Alfredo Gabaldon:
Resolving Non-Determinism in Programs for Complex Task Planning with Search Control.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 47-52 |
| 2006 |
|---|
| 17 | | Alfredo Gabaldon:
Hierarchical Task Libraries in (Con) Golog.
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering 2006: 67-71 |
| 16 | | Alfredo Gabaldon:
Formalizing Complex Task Libraries in Golog.
ECAI 2006: 755-756 |
| 15 | | Esra Erdem,
Alfredo Gabaldon:
Representing Action Domains with Numeric-Valued Fluents.
JELIA 2006: 151-163 |
| 2005 |
|---|
| 14 | | Esra Erdem,
Alfredo Gabaldon:
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents.
AAAI 2005: 627-632 |
| 2004 |
|---|
| 13 | | Alfredo Gabaldon:
Precondition Control and the Progression Algorithm.
ICAPS 2004: 23-32 |
| 12 | | Alfredo Gabaldon:
Precondition Control and the Progression Algorithm.
KR 2004: 634-643 |
| 2003 |
|---|
| 11 | | Alfredo Gabaldon:
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.
IJCAI 2003: 1061-1066 |
| 10 | | Iluju Kiringa,
Alfredo Gabaldon:
Expressing Transactions with Savepoints as Non-Markovian Theories of Actions.
KRDB 2003 |
| 2002 |
|---|
| 9 | | Alfredo Gabaldon:
Non-Markovian Control in the Situation Calculus.
AAAI/IAAI 2002: 519- |
| 1999 |
|---|
| 8 | | Michael Gelfond,
Alfredo Gabaldon:
Building a Knowledge Base: An Example.
Ann. Math. Artif. Intell. 25(3-4): 165-199 (1999) |
| 1998 |
|---|
| 7 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Value Minimization in Circumscription.
Artif. Intell. 102(2): 163-186 (1998) |
| 6 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Formalizing Narratives Using Nested Circumscription.
Artif. Intell. 104(1-2): 107-164 (1998) |
| 5 | | Alfredo Gabaldon,
Hung T. Nguyen:
Exclusive OR Operation That Leads to the Narrowest Intervals.
Reliable Computing 4(3): 303-306 (1998) |
| 1997 |
|---|
| 4 | | Michael Gelfond,
Alfredo Gabaldon:
From Functional Specifications to Logic Programms.
ILPS 1997: 355-369 |
| 1996 |
|---|
| 3 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Formalizing Narratives Using Nested Circumscription.
AAAI/IAAI, Vol. 1 1996: 652-657 |
| 2 | | Chitta Baral,
Luis Floriano,
Alfredo Gabaldon,
David Morales,
Tran Cao Son,
Richard G. Watson:
A Reactive Mobile Robot Based on a Formal Theory of Action.
AAAI/IAAI, Vol. 2 1996: 1350 |
| 1 | | Chitta Baral,
Alfredo Gabaldon,
Alessandro Provetti:
Value Minimization in Circumscription.
KR 1996: 474-481 |
Data released under the ODC-BY 1.0 license — See also our legal information page