2007 |
10 | EE | Dov 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 |
8 | EE | Odinaldo Rodrigues,
Artur S. d'Avila Garcez,
Alessandra Russo:
Reasoning About Requirements Evolution Using Clustered Belief Revision.
SBIA 2004: 41-51 |
2003 |
7 | EE | Odinaldo Rodrigues:
Structured Clusters: A Framework to Reason with Contradictory Interests.
J. Log. Comput. 13(1): 69-97 (2003) |
2002 |
6 | EE | Dov 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 |