Alfredo Gabaldon

According to our database, Alfredo Gabaldon authored at least 31 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Understanding the Unforeseen via the Intentional Stance.

Stephanie Stacy, Alfredo Gabaldon, John Karigiannis, James Kubrich, Peter Tu

CoRR, 2022

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

2015

Dialogue Understanding in a Logic of Action and Belief.

Alfredo Gabaldon, Pat Langley

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Knowledge-Guided Interpretation and Generation of Task-Oriented Dialogue.

Alfredo Gabaldon, Pat Langley, Ben Meadows, Ted Selker

Proceedings of the Situated Dialog in Speech-Based Human-Computer Interaction, 2014

2013

Time Is Up! - Norms with Deadlines in Action Languages.

Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Meta-Level and Domain-Level Processing in Task-Oriented Dialogue.

Alfredo Gabaldon, Pat Langley, Ben Meadows

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

A Selective Semantics for Logic Programs with Preferences.

Alfredo Gabaldon

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Non-Markovian control in the Situation Calculus.

Alfredo Gabaldon

Artif. Intell., 2011

Making Golog Norm Compliant.

Alfredo Gabaldon

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Evolving Logic Programs with Temporal Operators.

José Júlio Alferes, Alfredo Gabaldon, João Leite

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Synthesizing advanced transaction models using the situation calculus.

Iluju Kiringa, Alfredo Gabaldon

J. Intell. Inf. Syst., 2010

2009

A Novel Architecture for Situation Awareness Systems.

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Activity Recognition with Intended Actions.

Alfredo Gabaldon

Proceedings of the IJCAI 2009, 2009

A Logic Programming System for Evolving Programs with Temporal Operators.

José Júlio Alferes, Alfredo Gabaldon, João Leite

Proceedings of the Progress in Artificial Intelligence, 2009

2008

Evolving Logic Programming Based Agents with Temporal Operators.

José Júlio Alferes, Alfredo Gabaldon, João Leite

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Non-Markovian Agent Evolution with EVOLP.

José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

2007

Resolving Non-Determinism in Programs for Complex Task Planning with Search Control.

Alfredo Gabaldon

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.

Alfredo Gabaldon, Gerhard Lakemeyer

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Representing Action Domains with Numeric-Valued Fluents.

Esra Erdem, Alfredo Gabaldon

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Formalizing Complex Task Libraries in Golog.

Alfredo Gabaldon

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Hierarchical Task Libraries in (Con) Golog.

Alfredo Gabaldon

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

2005

Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents.

Esra Erdem, Alfredo Gabaldon

Proceedings of the Proceedings, 2005

2004

Precondition Control and the Progression Algorithm.

Alfredo Gabaldon

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

Expressing Transactions with Savepoints as Non-Markovian Theories of Actions.

Iluju Kiringa, Alfredo Gabaldon

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.

Alfredo Gabaldon

Proceedings of the IJCAI-03, 2003

1999

Building a Knowledge Base: An Example.

Michael Gelfond, Alfredo Gabaldon

Ann. Math. Artif. Intell., 1999

1998

Exclusive OR Operation That Leads to the Narrowest Intervals.

Alfredo Gabaldon, Hung T. Nguyen

Reliab. Comput., 1998

Formalizing Narratives Using Nested Circumscription.

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Artif. Intell., 1998

Value Minimization in Circumscription.

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Artif. Intell., 1998

1997

From Functional Specifications to Logic Programms.

Michael Gelfond, Alfredo Gabaldon

Proceedings of the Logic Programming, 1997

1996

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

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996