dblp.uni-trier.dewww.uni-trier.de

Odinaldo Rodrigues

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
10EEDov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues: Common Foundations for belief revision, belief merging and voting. Formal Models of Belief Change in Rational Agents 2007
2005
9 Odinaldo Rodrigues: Iterated Revision and Automatic Similarity Generation. We Will Show Them! (2) 2005: 591-614
2004
8EEOdinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
2003
7EEOdinaldo Rodrigues: Structured Clusters: A Framework to Reason with Contradictory Interests. J. Log. Comput. 13(1): 69-97 (2003)
2002
6EEDov M. Gabbay, Odinaldo Rodrigues, John Woods: Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Logic Journal of the IGPL 10(6): 601-652 (2002)
1997
5 Dov M. Gabbay, Odinaldo Rodrigues: Structured Belief Bases: A Practical Approach to Prioritised Base Revision. ECSQARU-FAPR 1997: 267-281
1996
4 Dov M. Gabbay, Odinaldo Rodrigues: A Methodology for Iterated Theory Change. FAPR 1996: 193-207
3 Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues: Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173
1995
2 Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL: Programming in Modal Action Logic. SBIA 1995: 101-111
1994
1 Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL - Programming in Modal Action Logic. PLILP 1994: 457-458

Coauthor Index

1Mario R. F. Benevides [1] [2]
2Dov M. Gabbay [4] [5] [6] [10]
3Artur S. d'Avila Garcez [8]
4Gabriella Pigozzi [10]
5Alessandra Russo [8]
6Mark Ryan (Mark Dermot Ryan) [3]
7Pierre-Yves Schobbens [3]
8John Woods [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)