Alfredo Gabaldon Vis

*	2009
21	EE	José Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
20	EE	Alfredo Gabaldon: Activity Recognition with Intended Actions. IJCAI 2009: 1696-1701
19	EE	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
18	EE	José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
	2007
17		Alfredo Gabaldon, Gerhard Lakemeyer: ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979
	2006
16		Alfredo Gabaldon: Formalizing Complex Task Libraries in Golog. ECAI 2006: 755-756
15	EE	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	EE	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	EE	Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
6	EE	Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)
5	EE	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

Coauthor Index

1	José Júlio Alferes	[18] [21]
2	Franz Baader	[19]
3	Chitta Baral	[1] [2] [3] [6] [7]
4	Andreas Bauer	[19]
5	Peter Baumgartner	[19]
6	Anne Cregan	[19]
7	Esra Erdem	[14] [15]
8	Luis Floriano	[2]
9	Michael Gelfond	[4] [8]
10	Krystian Ji	[19]
11	Iluju Kiringa	[10]
12	Gerhard Lakemeyer	[17]
13	Kevin Lee	[19]
14	João Leite (João Alexandre Leite)	[18] [21]
15	David Morales	[2]
16	Hung T. Nguyen	[5]
17	Alessandro Provetti	[1] [3] [6] [7]
18	David Rajaratnam	[19]
19	Rolf Schwitter	[19]
20	Tran Cao Son	[2]
21	Richard G. Watson	[2]

Colors in the list of coauthors