 |
Site map
|
|
 |
|
Selected bibliography
odinaldo-2011
|
[1]
|
O. Rodrigues, D. M. Gabbay, and A. Russo.
Handbook of Philosophical Logic, volume 16, chapter Belief
Revision, pages 1-114.
2nd edition, 2011.
DOI: 10.1007/978-94-007-0479-4_1.
[ bib ]
|
|
[2]
|
D. M. Gabbay, O. Rodrigues, and A. Russo.
Revision, Acceptability and Context.
Springer, 2010.
385 pp.
[ bib ]
|
|
[3]
|
D. M. Gabbay, O. Rodrigues, and A. Russo.
Belief revision in non-classical logics.
The Review of Symbolic Logic, 1(03):267-304, 2008.
[ bib |
DOI |
http ]
|
|
[4]
|
D. M. Gabbay, G. Pigozzi, and O. Rodrigues.
Belief revision, belief merging and voting.
In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors,
Proceedings of the Seventh Conference on Logic and the Foundations of Games
and Decision Theory (LOFT06), pages 71-78. University of Liverpool, 2006.
[ bib ]
|
|
[5]
|
C. Elsenbroich, D. M. Gabbay, and O. Rodrigues.
Getting possibilities from the impossible.
In Proceedings of NMR-06, pages 505-513. Institut fur
Informatik, 2006.
ISSN 1860-8477.
[ bib ]
|
|
[6]
|
O. Rodrigues.
Iterated Revision and Automatic Similarity Generation,
volume 2, pages 591-613.
College Publications, 2005.
[ bib ]
|
|
[7]
|
D. M. Gabbay, O. Rodrigues, and J. Woods.
Deletion in resource unbounded logics - Belief contraction,
anti-formulae and resource overdraft: Part II.
In S. Rahman, J. Symons, D. M. Gabbay, and J. P. van Bendegem,
editors, Logic, Epistemology and the Unity of Science, volume 1,
chapter 16, pages 291-326. Kluwer Academic Publishers, 2004.
[ bib ]
|
|
[8]
|
O. Rodrigues, A. d'Avila Garcez, and A. Russo.
Reasoning about requirements evolution using clustered belief
revision.
In G. Spanoudakis A. S. d'Avila Garcez and A. Zisman, editors,
Proceedings of ACM ESEC/FSE International Workshop on Intelligent
Technologies for Software Engineering WITSE03, 2003.
[ bib ]
|
|
[9]
|
O. Rodrigues.
Structured clusters: A framework to reason with contradictory
interests.
Journal of Logic and Computation, 13(1):69-97, 2003.
[ bib ]
|
|
[10]
|
D. M. Gabbay, O. Rodrigues, and J. Woods.
Belief contraction, anti-formulae and resource overdraft: Part I
- Deletion in resource bounded logics.
Logic Journal of the IGPL, 10(6):601-652, November 2002.
[ bib ]
|
|
[11]
|
D. M. Gabbay, O. Rodrigues, and A. Russo.
Information, Uncertainty, Fusion, chapter Revision by
Translation, pages 3-31.
Kluwer Academic Publishers, 1999.
ISBN: 0-7923-8590-X.
[ bib ]
|
|
[12]
|
O. Rodrigues.
A methodology for iterated information change.
PhD thesis, Department of Computing, Imperial College, 1998.
[ bib |
.pdf ]
|
|
[13]
|
D. M. Gabbay and O. Rodrigues.
Structured belief bases: a practical approach to prioritised base
revision.
In D. M. Gabbay, Rudolf Kruse, Andreas Nonnengart, and
Hans Jürgen Ohlbach, editors, Proceedings of First Internation Joint
Conference on Qualitative and Quantitative Practical Reasoning, pages
267-281. Springer-Verlag, June 1997.
[ bib ]
|
|
[14]
|
O. Rodrigues, M. Ryan, and P.-Y. Schobbens.
Counterfactuals and updates as inverse modalities.
In Yoav Shoham, editor, 6th Conference on Theoretical Aspects of
Rationality and Knowledge, pages 163-174, 1996.
[ bib ]
|
|
[15]
|
D. M. Gabbay and O. Rodrigues.
Structured databases: a framework to reason about belief change.
In Guy McCusker and Sofia Jourdan, editors, Proceedings of the
Theory and Formal Methods 1996 workshop. Imperial College - Department of
Computing, Imperial College Press, March 1996.
[ bib ]
|
|
[16]
|
D. M. Gabbay and O. Rodrigues.
A methodology for iterated theory change.
In D. M. Gabbay and Hans Jürgen Ohlbach, editors, Practical
Reasoning - First International Conference on Formal and Applied Practical
Reasoning, FAPR'96, Lecture Notes in Artificial Intelligence. Springer
Verlag, 1996.
[ bib ]
|
|
[17]
|
O. Rodrigues and M. R. F. Benevides.
Promal: Programming in modal action logic.
In Proceeding of the 12th Brazilian Symposium on Artificial
Intelligence (SBIA '95), 1995.
[ bib ]
|
|
[18]
|
O. Rodrigues and M. R. F. Benevides.
Belief revision in pseudo-definite sets.
In Proceedings of the 11th Brazilian Symposium on Artificial
Intelligence (SBIA '94), 1994.
[ bib ]
|
|
[19]
|
O. Rodrigues.
Prolog modal de ação e revisão de crenças em
conjuntos definidos.
Master's thesis, COPPE - Universidade Federal do Rio de Janeiro -
Brazil, 1993.
Published in the Federal University of Rio de Janeiro, Brazil.
[ bib ]
|
|
[20]
|
O. Rodrigues and M. R. F. Benevides.
Revisão de crenças em conjuntos de cláusulas.
Technical report, COPPE/UFRJ, Rio de Janeiro-RJ, BRAZIL, July 1993.
Publicações Técnicas, ES-281/93.
[ bib ]
|
|
[21]
|
O. Rodrigues and M. R. F. Benevides.
Prolog modal de ação.
In Anais do IX SBIA, pages 339-357, 1992.
[ bib ]
|
This file was generated by
bibtex2html 1.96.
In preparation
odinaldo-to-appear-2011
|
[1]
|
O. Rodrigues.
A parallel algorithm to compute subsumption hierarchies.
In preparation.
[ bib ]
|
|
[2]
|
D. M. Gabbay and O. Rodrigues.
Voting and fuzzy argumentation networks.
In preparation.
[ bib ]
|
|
[3]
|
O. Rodrigues and H. Georgiev.
Optimisation techniques for the multi-objective next release problem.
In preparation.
[ bib ]
|
|
[4]
|
D. M. Gabbay, G. Pigozzi, and O. Rodrigues.
Common foundations for belief revision, belief merging and voting.
In preparation.
[ bib ]
|
This file was generated by
bibtex2html 1.96.
|
|
