Alfredo Gabaldon

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 2

Top Topics

Conceptual Representation

Natural Language

Top Venues

AAAI Fall Symposia

Publications

Stephanie Stacy, Alfredo Gabaldon, John Karigiannis, James Kubrich, Peter Tu
Understanding the Unforeseen via the Intentional Stance. CoRR (2022)
Varish Mulwad, Andrew Crapo, Vijay S. Kumar, James Jobin, Alfredo Gabaldon, Nurali Virani, Sharad Dixit, Narendra Joshi
Automated Creation and Human-assisted Curation of Computable Scientific Models from Code and Text. CoRR (2022)
Alfredo Gabaldon, Pat Langley
Dialogue Understanding in a Logic of Action and Belief. AAAI (2015)
Alfredo Gabaldon, Pat Langley, Ben Meadows, Ted Selker
Knowledge-Guided Interpretation and Generation of Task-Oriented Dialogue. IWSDS (2014)
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA (2013)
Alfredo Gabaldon, Pat Langley, Ben Meadows
Meta-Level and Domain-Level Processing in Task-Oriented Dialogue. AAAI Fall Symposia (2013)
Alfredo Gabaldon
A Selective Semantics for Logic Programs with Preferences. JELIA (2012)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Alfredo Gabaldon
Making Golog Norm Compliant. CLIMA (2011)
Alfredo Gabaldon
Non-Markovian control in the Situation Calculus. Artif. Intell. 175 (1) (2011)
Iluju Kiringa, Alfredo Gabaldon
Synthesizing advanced transaction models using the situation calculus. J. Intell. Inf. Syst. 35 (2) (2010)
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)
José Júlio Alferes, Alfredo Gabaldon, João Leite
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA (2009)
Alfredo Gabaldon
Activity Recognition with Intended Actions. IJCAI (2009)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programming Based Agents with Temporal Operators. IAT (2008)
José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems (2008)
Alfredo Gabaldon
Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Alfredo Gabaldon, Gerhard Lakemeyer
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI (2007)
Esra Erdem, Alfredo Gabaldon
Representing Action Domains with Numeric-Valued Fluents. JELIA (2006)
Alfredo Gabaldon
Formalizing Complex Task Libraries in Golog. ECAI (2006)
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)
Esra Erdem, Alfredo Gabaldon
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. AAAI (2005)
Alfredo Gabaldon
Precondition Control and the Progression Algorithm. ICAPS (2004)
Alfredo Gabaldon
Precondition Control and the Progression Algorithm. KR (2004)
Alfredo Gabaldon
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. IJCAI (2003)
Iluju Kiringa, Alfredo Gabaldon
Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. KRDB (2003)
Alfredo Gabaldon
Non-Markovian Control in the Situation Calculus. AAAI/IAAI (2002)
Michael Gelfond, Alfredo Gabaldon
Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. 25 (3-4) (1999)
Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
Value Minimization in Circumscription. Artif. Intell. 102 (2) (1998)
Alfredo Gabaldon, Hung T. Nguyen
Exclusive OR Operation That Leads to the Narrowest Intervals. Reliab. Comput. 4 (3) (1998)
Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104 (1-2) (1998)
Michael Gelfond, Alfredo Gabaldon
From Functional Specifications to Logic Programms. ILPS (1997)
Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 (1996)
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)
Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
Value Minimization in Circumscription. KR (1996)