Alfredo Gabaldon

38 papers A* 8A 1B 6Misc 1Journal 8Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Conceptual Approach to Explainable Object and Action Classification. AVSS Stephanie Stacy, Alfredo Gabaldon, Guy Ben-Yosef, Idan Tankel, Marc Tomlinson, Sharon G. Small, Ting Liu, Peter Tu
2025	B	`conf`	PETS2025: Multi-Authority Multi-Sensor Maritime Surveillance Challenge and Evaluation. AVSS Thanet Markchom, Jonathan Boyle, Lulu Chen, James M. Ferryman, Matteo Marturini, Stephan Veigl, Andreas Opitz, Andreas Kriechbaum-Zabini, Romaios Bratskas, Anastasios Gkamaris, Dimitris Papachristos, George Leventakis, Wenjun Fan, Hsiang-Wei Huang, Jeng-Neng Hwang, Pyong-Kun Kim, Kwangju Kim, Chung-I Huang, Kenta Saito, Shunta Kaneko, Kyoko Sudo, Nguyen Thanh Thien, Meng-Yu Kao, Jun-Wei Hsieh, Teepakorn Lilek, Tossapol Pomsuwan, Jinjie Gu, Tianyang Xu, Xuefeng Zhu, Xiaojun Wu, Josef Kittler, Stephanie Stacy, Alfredo Gabaldon, Peter Tu, Sangwon Kim, Dongyoung Kim, Kyoungoh Lee
2024	B	`conf`	Understanding the Unforeseen via the Intentional Stance. AVSS Stephanie Stacy, Alfredo Gabaldon, John Karigiannis, James Kubricht, Peter Tu
2022	J	`jnl`	Automated Creation and Human-assisted Curation of Computable Scientific Models from Code and Text. CoRR Varish Mulwad, Andrew Crapo, Vijay S. Kumar, James Jobin, Alfredo Gabaldon, Nurali Virani, Sharad Dixit, Narendra Joshi
2022	J	`jnl`	Understanding the Unforeseen via the Intentional Stance. CoRR Stephanie Stacy, Alfredo Gabaldon, John Karigiannis, James Kubricht, Peter Tu
2015	A*	`conf`	Dialogue Understanding in a Logic of Action and Belief. AAAI Alfredo Gabaldon, Pat Langley
2014	—	`conf`	Knowledge-Guided Interpretation and Generation of Task-Oriented Dialogue. IWSDS Alfredo Gabaldon, Pat Langley, Ben Meadows, Ted Selker
2013	—	`conf`	Meta-Level and Domain-Level Processing in Task-Oriented Dialogue. AAAI Fall Symposia Alfredo Gabaldon, Pat Langley, Ben Meadows
2013	—	`conf`	Time Is Up! - Norms with Deadlines in Action Languages. CLIMA Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
2012	B	`conf`	A Selective Semantics for Logic Programs with Preferences. JELIA Alfredo Gabaldon
2011	—	`conf`	Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning José Júlio Alferes, Alfredo Gabaldon, João Leite
2011	—	`conf`	Making Golog Norm Compliant. CLIMA Alfredo Gabaldon
2011	J	`jnl`	Non-Markovian control in the Situation Calculus. Artif. Intell. Alfredo Gabaldon
2010	J	`jnl`	Synthesizing advanced transaction models using the situation calculus. J. Intell. Inf. Syst. Iluju Kiringa, Alfredo Gabaldon
2009	Misc	`conf`	A Logic Programming System for Evolving Programs with Temporal Operators. EPIA José Júlio Alferes, Alfredo Gabaldon, João Leite
2009	B	`conf`	A Novel Architecture for Situation Awareness Systems. TABLEAUX Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
2009	A*	`conf`	Activity Recognition with Intended Actions. IJCAI Alfredo Gabaldon
2008	—	`conf`	Evolving Logic Programming Based Agents with Temporal Operators. IAT José Júlio Alferes, Alfredo Gabaldon, João Leite
2008	—	`conf`	Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
2007	A*	`conf`	ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI Alfredo Gabaldon, Gerhard Lakemeyer
2007	—	`conf`	Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Alfredo Gabaldon
2006	A	`conf`	Formalizing Complex Task Libraries in Golog. ECAI Alfredo Gabaldon
2006	—	`conf`	Hierarchical Task Libraries in (Con) Golog. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Alfredo Gabaldon
2006	B	`conf`	Representing Action Domains with Numeric-Valued Fluents. JELIA Esra Erdem, Alfredo Gabaldon
2005	A*	`conf`	Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. AAAI Esra Erdem, Alfredo Gabaldon
2004	A*	`conf`	Precondition Control and the Progression Algorithm. ICAPS Alfredo Gabaldon
2004	A*	`conf`	Precondition Control and the Progression Algorithm. KR Alfredo Gabaldon
2003	A*	`conf`	Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. IJCAI Alfredo Gabaldon
2003	—	`conf`	Expressing Transactions with Savepoints as Non-Markovian Theories of Actions. KRDB Iluju Kiringa, Alfredo Gabaldon
2002	—	`conf`	Non-Markovian Control in the Situation Calculus. AAAI/IAAI Alfredo Gabaldon
1999	J	`jnl`	Building a Knowledge Base: An Example. Ann. Math. Artif. Intell. Michael Gelfond, Alfredo Gabaldon
1998	J	`jnl`	Exclusive OR Operation That Leads to the Narrowest Intervals. Reliab. Comput. Alfredo Gabaldon, Hung T. Nguyen
1998	J	`jnl`	Formalizing Narratives Using Nested Circumscription. Artif. Intell. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1998	J	`jnl`	Value Minimization in Circumscription. Artif. Intell. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1997	—	`conf`	From Functional Specifications to Logic Programms. ILPS Michael Gelfond, Alfredo Gabaldon
1996	—	`conf`	A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson
1996	—	`conf`	Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1996	A*	`conf`	Value Minimization in Circumscription. KR Chitta Baral, Alfredo Gabaldon, Alessandro Provetti