A Reactive Mobile Robot Based on a Formal Theory of Action. - Chitta Baral; Luis Floriano; Alfredo Gabaldon; David Morales; Tran Cao Son; Richard G. Watson (AAAI/IAAI, Vol. 2, 1996)

From Functional Specifications to Logic Programms. - Michael Gelfond; Alfredo Gabaldon (ILPS, 1997)

Value Minimization in Circumscription. - Chitta Baral; Alfredo Gabaldon; Alessandro Provetti (Artif. Intell., 1998)

Formalizing Narratives Using Nested Circumscription. - Chitta Baral; Alfredo Gabaldon; Alessandro Provetti (Artif. Intell., 1998)

Exclusive OR Operation That Leads to the Narrowest Intervals. - Alfredo Gabaldon; Hung T. Nguyen 002 (Reliab. Comput., 1998)

Building a Knowledge Base: An Example. - Michael Gelfond; Alfredo Gabaldon (Ann. Math. Artif. Intell., 1999)

Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. - Alfredo Gabaldon (IJCAI, 2003)

Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. - Iluju Kiringa; Alfredo Gabaldon (KRDB, 2003)

Precondition Control and the Progression Algorithm. - Alfredo Gabaldon (KR, 2004)

Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. - Esra Erdem 001; Alfredo Gabaldon (AAAI, 2005)

Hierarchical Task Libraries in (Con) Golog. - Alfredo Gabaldon (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

Formalizing Complex Task Libraries in Golog. - Alfredo Gabaldon (ECAI, 2006)

Representing Action Domains with Numeric-Valued Fluents. - Esra Erdem 001; Alfredo Gabaldon (JELIA, 2006)

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. - Alfredo Gabaldon; Gerhard Lakemeyer (AAAI, 2007)

Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. - Alfredo Gabaldon (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Non-Markovian Agent Evolution with EVOLP. - José Júlio Alferes; Alfredo Gabaldon; João Alexandre Leite (Programming Multi-Agent Systems, 2008)

Evolving Logic Programming Based Agents with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (IAT, 2008)

A Logic Programming System for Evolving Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (EPIA, 2009)

Activity Recognition with Intended Actions. - Alfredo Gabaldon (IJCAI, 2009)

A Novel Architecture for Situation Awareness Systems. - Franz Baader; Andreas Bauer 002; Peter Baumgartner 001; Anne Cregan; Alfredo Gabaldon; Krystian Ji; Kevin Lee; David Rajaratnam; Rolf Schwitter (TABLEAUX, 2009)

Synthesizing advanced transaction models using the situation calculus. - Iluju Kiringa; Alfredo Gabaldon (J. Intell. Inf. Syst., 2010)

Evolving Logic Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Making Golog Norm Compliant. - Alfredo Gabaldon (CLIMA, 2011)

Non-Markovian control in the Situation Calculus. - Alfredo Gabaldon (Artif. Intell., 2011)

A Selective Semantics for Logic Programs with Preferences. - Alfredo Gabaldon (JELIA, 2012)

Meta-Level and Domain-Level Processing in Task-Oriented Dialogue. - Alfredo Gabaldon; Pat Langley; Ben Meadows (AAAI Fall Symposia, 2013)

Time Is Up! - Norms with Deadlines in Action Languages. - Matthias Knorr 001; Alfredo Gabaldon; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2013)

Knowledge-Guided Interpretation and Generation of Task-Oriented Dialogue. - Alfredo Gabaldon; Pat Langley; Ben Meadows; Ted Selker (IWSDS, 2014)

Dialogue Understanding in a Logic of Action and Belief. - Alfredo Gabaldon; Pat Langley (AAAI, 2015)

Automated Creation and Human-assisted Curation of Computable Scientific Models from Code and Text. - Varish Mulwad; Andrew Crapo; Vijay S. Kumar; James Jobin; Alfredo Gabaldon; Nurali Virani; Sharad Dixit; Narendra Joshi (CoRR, 2022)

Understanding the Unforeseen via the Intentional Stance. - Stephanie Stacy; Alfredo Gabaldon; John Karigiannis; James Kubricht; Peter Tu (AVSS, 2024)