Javier Pinto

	2003
17		Jorge A. Baier, Javier Pinto: Planning under uncertainty as Golog programs. J. Exp. Theor. Artif. Intell. 15(4): 383-405 (2003)
	2002
16		Paulo Mateus, António Pacheco, Javier Pinto: Observations and the Probabilistic Situation Calculus. KR 2002: 327-340
	2001
15		Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas: Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001)
	2000
14		Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Non-Determinism and Uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 127-150 (2000)
	1999
13		Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Conference 1999: 454-460
12		Leopoldo E. Bertossi, Javier Pinto: Specifying Active Rules for Database Maintenance. FMLDO 1999: 65-81
11		Leopoldo E. Bertossi, Javier Pinto: Specifying Active Rules for Database Maintenance. FMLDO - Selected Papers 1999: 112-129
10		Jorge A. Baier, Javier Pinto: Integrating True Concurrency into the Robot Programming Language. SCCC 1999: 179-186
9		Javier Pinto: Compiling Ramification Constraints into Effect Axioms. Computational Intelligence 15: 280-307 (1999)
	1998
8		Javier Pinto: Concurrent Actions and Interacting Effects. KR 1998: 292-303
7		Leopoldo E. Bertossi, Javier Pinto, Ricardo Valdivia: Specifying Active Databases in the Situation Calculus. SCCC 1998: 32-39
6		Javier Pinto: Integrating Discrete and Continuous Change in a Logical Framework. Computational Intelligence 14: 39-88 (1998)
5		Javier Pinto: Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. J. Log. Comput. 8(6): 777-808 (1998)
	1996
4		Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam: Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996: 212-222
3		Javier Pinto: Using histories to model observations in theories of action. PRICAI Workshops 1996: 221-233
	1995
2		Javier Pinto, Raymond Reiter: Reasoning About Time in the Situation Calculus. Ann. Math. Artif. Intell. 14(2-4): 251-268 (1995)
	1993
1		Javier Pinto, Raymond Reiter: Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. ICLP 1993: 203-221

Coauthor Index

1	Jorge A. Baier	[10] [17]
2	Leopoldo E. Bertossi	[4] [7] [11] [12]
3	Deepak Kapur	[4]
4	Paulo Mateus	[13] [14] [15] [16]
5	António Pacheco	[15] [16]
6	Raymond Reiter	[1] [2]
7	Pablo Sáez	[4]
8	Amílcar Sernadas	[13] [14] [15]
9	Cristina Sernadas	[13] [14] [15]
10	Mahadevan Subramaniam	[4]
11	Ricardo Valdivia	[7]

Colors in the list of coauthors