Selected Publications

Matching entries: 0
settings...
YearDetailsURL/PDF
2021 Amaral, G., Piscopo, A., Kaffee, L.-a., Rodrigues, O. and Simperl, E., Assessing the Quality of Sources in Wikidata Across Languages: A Hybrid Approach, J. Data and Information Quality, Vol. 13 (4), DOI: 10.1145/3484828, 2021. URL
Abstract: Wikidata is one of the most important sources of structured data on the web, built by a worldwide community of volunteers. As a secondary source, its contents must be backed by credible references; this is particularly important, as Wikidata explicitly encourages editors to add claims for which there is no broad consensus, as long as they are corroborated by references. Nevertheless, despite this essential link between content and references, Wikidata's ability to systematically assess and assure the quality of its references remains limited. To this end, we carry out a mixed-methods study to determine the relevance, ease of access, and authoritativeness of Wikidata references, at scale and in different languages, using online crowdsourcing, descriptive statistics, and machine learning. Building on previous work of ours, we run a series of microtasks experiments to evaluate a large corpus of references, sampled from Wikidata triples with labels in several languages. We use a consolidated, curated version of the crowdsourced assessments to train several machine learning models to scale up the analysis to the whole of Wikidata. The findings help us ascertain the quality of references in Wikidata and identify common challenges in defining and capturing the quality of user-generated multilingual structured data on the web. We also discuss ongoing editorial practices, which could encourage the use of higher-quality references in a more immediate way. All data and code used in the study are available on GitHub for feedback and further improvement and deployment by the research community.
BibTeX:
@article{Amaral2021,
  author = {Amaral, Gabriel and Piscopo, Alessandro and Kaffee, Lucie-aimée and Rodrigues, Odinaldo and Simperl, Elena},
  title = {Assessing the Quality of Sources in Wikidata Across Languages: A Hybrid Approach},
  journal = {J. Data and Information Quality},
  publisher = {Association for Computing Machinery},
  year = {2021},
  volume = {13},
  number = {4},
  url = {https://doi.org/10.1145/3484828},
  doi = {https://doi.org/10.1145/3484828}
}
2020 Baumann, R., Gabbay, D.M. and Rodrigues, O., Forgetting an argument, Proceedings of the 34th Conference on Artificial Intelligence, DOI: https://doi.org/10.1609/aaai.v34i03.5662, 2020. URL PDF
Abstract: The notion of forgetting, as considered in the famous paper by Lin and Reiter has been extensively studied in classical logic and more recently, in non-monotonic formalisms like logic programming. In this paper, we convey the idea of forgetting to another major AI formalism, namely Dung-style argumentation frameworks. Our approach is axiomatic-driven and not limited to any specific semantics: we propose semantical and syntactical desiderata encoding different criteria for what forgetting an argument might mean; analyze how these criteria relate to each other; and check whether the criteria can be satisfied in general. The analysis is done for a number of widely used argumentation semantics. Our investigation shows that almost all desiderata are individually satisfiable. However, combinations of semantical and/or syntactical conditions reveal a much more interesting landscape. For instance, we found that the ad hoc approach to forgetting an argument, i.e., by the syntactical removal of the argument and all of its associated attacks, is too restrictive and only compatible with the two weakest semantical desiderata. Amongst the several interesting combinations identified, we showed that one satisfies a notion of minimal change and presented an algorithm that given an AF F and argument x, constructs a suitable AF G satisfying the conditions in the combination.
BibTeX:
@article{baumann-gabbay-rodrigues:20,
  author = {R. Baumann, D. M. Gabbay, O. Rodrigues},
  title = {Forgetting an argument},
  booktitle = {Proceedings of the 34th Conference on Artificial Intelligence},
  year = {2020},
  doi = {https://doi.org/10.1609/aaai.v34i03.5662}
}
2019 Rodrigues, O., Representing and Comparing Large Sets of Extensions of Abstract Argumentation Frameworks, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC'19), DOI: 10.1145/3297280.3297394, 2019. URL PDF
Abstract: In argumentation theory, some reasoning problems involve the enu-
meration of all extensions of an abstract argumentation framework.
Abstractly speaking, extensions are simply subsets of a given do-
main having some special properties. The result of the enumeration
is usually presented as a single text file with elements and sets sepa-
rated by designated delimiters. Neither the elements within each set
(a single extension), nor the extensions themselves are presented in
any pre-defined order. Events such as the International Competition
of Computational Models of Argumentation require the compar-
ison of a large number of enumerations and thus performing the
comparisons very efficiently has become very desirable. This paper
presents and compares three different alternative representations
of extensions, one of which is novel for the argumentation domain,
and provides an empirical evaluation of their effectiveness in the
comparison of large enumerations. We found that the newly pro-
posed representation can perform the comparisons in a much more
memory and time efficient manner than existing solutions.
BibTeX:
@inproceedings{rodrigues-mpz:19,
  author = {O. Rodrigues},
  title = {Representing and Comparing Large Sets of Extensions of Abstract Argumentation Frameworks},
  booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC'19)},
  year = {2019},
  doi = {https://doi.org/10.1145/3297280.3297394}
}
2019 Hao, Q., Keppens, J. and Rodrigues, O., A Self-Training Ontology-Driven Approach to Topic Classification, The 12th International Conference on Computer Science and Information Technology, 2019.  PDF
Abstract: Abstract-Latent Dirichlet Allocation (LDA) is a topic classification technique that produces a probabilistic model based on word co-occurrence, for the purpose of text classification. Conventional LDA ignores the fact that words may have multiple meanings and that different words may have the same meaning. This focus on the words rather than their meanings limits the accuracy of the classification. This work introduces an intermediate labelling component to LDA using the concepts in DBpedia’s ontology to help capture some of the possible meanings of the words appearing in the documents. We call this novel technique Ontology-Driven LDA (OLDA). As for LDA, OLDA can be combined with a self-training procedure to reduce the amount of manually classified data required (we refer to the self- training variant as ST-OLDA). We compared the classification performance of ST-OLDA against the performance of two other leading self-training classification methods: ST Term Frequency- Inverse Document Frequency (ST TF-IDF) and ST-LDA. Our experimental results show that the inclusion of the ontology component helps to reduce the training time by nearly half whilst achieving the highest accuracy in the classification of four widely used datasets. In particular, ST-OLDA outperforms ST-LDA’s accuracy of classification by as much as 11%.
BibTeX:
@article{st-olda:2019,
  author = {Q. Hao and J. Keppens and O. Rodrigues},
  title = {A Self-Training Ontology-Driven Approach to Topic Classification},
  booktitle = {The 12th International Conference on Computer Science and Information Technology},
  year = {2019}
}
2018 Rodrigues, O., Black, E., Luck, M. and Murphy, J., On structural properties of argumentation frameworks: Lessons from ICCMA, CEUR Workshop Proceedings, Vol. 2171, pp. 22-35, 2018.  PDF
Abstract: It is well known that the computation of solutions to decision and enumeration problems in argumentation can be very hard. In this work, we analyse some of the results of the 2017 International Competition on Computational Models of Argumentation. Our analysis shifts the focus from the performance of individual solvers to how well/badly they can collectively tackle different classes of abstract argumentation frameworks. In so doing, we were able to identify the instances that were particularly difficult for all/most solvers and look into their particular structural properties.
BibTeX:
@inproceedings{Rodrigues2018OnSP,
  author = {O. Rodrigues and E. Black and M. Luck and J. Murphy},
  title = {On structural properties of argumentation frameworks: Lessons from ICCMA},
  journal = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS},
  year = {2018},
  volume = {2171},
  pages = {22--35},
  note = {2nd International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2018 ; Conference date: 11-09-2018}
}
2018 Young, A.P., Modgil, S. and Rodrigues, O., On the Interaction between Logic and Preference in Structured Argumentation, Theory and Applications of Formal Argumentation, pp. 35-50, DOI: 10.1007/978-3-319-75553-3_3, 2018. URL PDF
BibTeX:
@inproceedings{young-et-al-tafa:17,
  author = {Anthony P. Young and Sanjay Modgil and Odinaldo Rodrigues},
  title = {On the Interaction between Logic and Preference in Structured Argumentation},
  booktitle = {Theory and Applications of Formal Argumentation},
  publisher = {Springer International Publishing},
  year = {2018},
  pages = {35--50},
  doi = {https://doi.org/10.1007/978-3-319-75553-3_3}
}
2018 Rodrigues, O., EqArgSolver - System Description, Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation, pp. 150-158, DOI: 10.1007/978-3-319-75553-3_11, 2018. URL PDF
BibTeX:
@inproceedings{eqargsolver:17,
  author = {Odinaldo Rodrigues},
  title = {EqArgSolver - System Description},
  booktitle = {Proceedings of the 4th Intl. Conference on Theory and Applications of Formal Argumentation},
  year = {2018},
  pages = {150-158},
  doi = {https://doi.org/10.1007/978-3-319-75553-3_11}
}
2018 Rodrigues, O., An Investigation into Reduction and Direct Approaches to the Computation of Argumentation Semantics, Logic, Intelligence and Artifices: Tributes to Tarcision H. C. Pequeno, pp. 97-120, 2018.  PDF
Abstract: This paper compares the performance of the forward propagation algorithm proposed in [15] (which is used in the solver EqArgSolver) with two custom-built SAT-based argumentation solvers in the search for preferred extensions of abstract argumentation frameworks. The SAT-based solvers employ standard ways of computing argumentation semantics via the characterisation of the concept of extensions as models of propositional logic theories. As a result, the comparisons offer new insights about the employment and combination of reduction and direct approaches to the computation of argumentation semantics.
BibTeX:
@incollection{rodrigues-RD:17,
  author = {O. Rodrigues},
  title = {An Investigation into Reduction and Direct Approaches to the Computation of Argumentation Semantics},
  booktitle = {Logic, Intelligence and Artifices: Tributes to Tarcision H. C. Pequeno},
  publisher = {College Publications},
  year = {2018},
  pages = {97-120},
  url = {https://www.collegepublications.co.uk/tributes/?00038}
}
2018 Rodrigues, O., A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks, Theory and Applications of Formal Argumentation, pp. 120-136, DOI: 10.1007/978-3-319-75553-3_8, 2018. URL PDF
BibTeX:
@incollection{Rodrigues_2018,
  author = {Odinaldo Rodrigues},
  title = {A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks},
  booktitle = {Theory and Applications of Formal Argumentation},
  publisher = {Springer International Publishing},
  year = {2018},
  pages = {120--136},
  doi = {https://doi.org/10.1007/978-3-319-75553-3_8}
}
2017 Hao, Q., Keppens, J. and Rodrigues, O., A Verb-based Algorithm for Multiple-Relation Extraction from Single Sentences, Proceedings of the 16th International Conference on Information and Knowledge Engineering, 2017.  PDF
Abstract: With the growing number of unstructured articles written in natural-language, automated extraction of knowledge, such as associations between entities, is becoming essential for many applications. In this paper, we develop an automated verb-based algorithm for multiple relation extraction from unstructured data obtained on-line. Named Entity Recognition (NER) techniques were applied to extract biomedical entities and relations were recognized by algorithms with Natural Language Processing (NLP) techniques. Evaluation based on F-measure with a random sample of sentences from biomedical literature results an average precision of 90% and recall of 82%. We also compared the performance of the proposed algorithm with a single-relation extraction algorithm, indicating improvements of this work. In conclusion, the preliminary study indicates that this method for multiple-relation extraction from unstructured literature is effective. With different training dataset, the algorithm can be applied to different domains. The automated method can be applied to detect and predict hidden relationships among varying areas.
BibTeX:
@inproceedings{hao-et-al:17,
  author = {Qi Hao and Jeroen Keppens and Odinaldo Rodrigues},
  title = {A Verb-based Algorithm for Multiple-Relation Extraction from Single Sentences},
  booktitle = {Proceedings of the 16th International Conference on Information and Knowledge Engineering},
  year = {2017},
  url = {https://csce.ucmss.com/cr/books/2017/LFS/CSREA2017/IKE3227.pdf}
}
2016 Young, A., Modgil, S. and Rodrigues, O., Prioritised Default Logic as Rational Argumentation, Proceedings of the 2016 International Conference on Autonomous Agents and Multiagents Systems, pp. 626-634, DOI: 10.5555/2936924.2937018, 2016. URL PDF
BibTeX:
@inproceedings{young-modgil-rodrigues:16,
  author = {A. Young and S. Modgil and O. Rodrigues},
  title = {Prioritised Default Logic as Rational Argumentation},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents and Multiagents Systems},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  year = {2016},
  pages = {626-634},
  url = {http://dl.acm.org/citation.cfm?id=2936924.2937018},
  doi = {https://doi.org/10.5555/2936924.2937018}
}
2016 Rodrigues, O., Introducing EqArgSolver: An argumentation solver using equational semantics, 2016.  PDF
BibTeX:
@misc{rodrigues:16e,
  author = {O. Rodrigues},
  title = {Introducing EqArgSolver: An argumentation solver using equational semantics},
  year = {2016},
  note = {The First International Workshop on Systems and Algorithms for Formal Argumentation, colocated with COMMA 2016}
}
2016 Gabbay, D.M. and Rodrigues, O., Introducing Bayesian Argumentation Networks, The IfColog Journal of Logics and their Applications, Vol. 3 (2), pp. 241-278, 2016.  PDF
BibTeX:
@article{bayes-argum-network:16,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {Introducing Bayesian Argumentation Networks},
  journal = {The IfColog Journal of Logics and their Applications},
  publisher = {College Publications},
  year = {2016},
  volume = {3},
  number = {2},
  pages = {241-278}
}
2016 Gabbay, D.M. and Rodrigues, O., Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories, Vol. 29, Computational Models of Rationality, pp. 392-407, 2016.  PDF
BibTeX:
@incollection{gabbay-rodrigues-GKI:16,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories},
  booktitle = {Computational Models of Rationality},
  publisher = {College Publications},
  year = {2016},
  volume = {29},
  pages = {392-407},
  url = {https://www.collegepublications.co.uk/tributes/?00029}
}
2016 Hosseini, S.A., Modgil, S. and Rodrigues, O., Estimating Second-Order Arguments in Dialogical Settings, Proceedings of the 2016 International Conference on Autonomous Agents and Multiagents Systems, pp. 1469-1470, 2016.  PDF
BibTeX:
@inproceedings{hosseini-modgil-rodrigues:16,
  author = {S. A. Hosseini and S. Modgil and O. Rodrigues},
  title = {Estimating Second-Order Arguments in Dialogical Settings},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents and Multiagents Systems},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  year = {2016},
  pages = {1469-1470}
}
2016 Gabbay, D. and Rodrigues, O., Degrees of “in”, “out” and “undecided” in Argumentation Networks, Vol. 287, Frontiers in Artificial Intelligence and Applications, pp. 319-326, DOI: 10.3233/978-1-61499-686-6-319, 2016. URL PDF
BibTeX:
@inproceedings{gabbay-rodrigues:16c,
  author = {D. Gabbay and O. Rodrigues},
  title = {Degrees of “in”, “out” and “undecided” in Argumentation Networks},
  booktitle = {Frontiers in Artificial Intelligence and Applications},
  year = {2016},
  volume = {287},
  pages = {319-326},
  doi = {https://doi.org/10.3233/978-1-61499-686-6-319}
}
2016 Hosseini, S.A., Modgil, S. and Rodrigues, O., Assigning Likelihoods to Interlocutors' Beliefs and Arguments, Vol. 287, Frontiers in Artificial Intelligence and Applications, pp. 339-350, DOI: 10.3233/978-1-61499-686-6-339, 2016. URL PDF
BibTeX:
@inproceedings{hosseini-modgil-rodrigues:16d,
  author = {S. A Hosseini and S. Modgil and O. Rodrigues},
  title = {Assigning Likelihoods to Interlocutors' Beliefs and Arguments},
  booktitle = {Frontiers in Artificial Intelligence and Applications},
  year = {2016},
  volume = {287},
  pages = {339-350},
  doi = {https://doi.org/10.3233/978-1-61499-686-6-339}
}
2015 Gabbay, D.M. and Rodrigues, O., Probabilistic Argumentation: An Equational Approach., Logica Universalis, Vol. 9 (3), pp. 345-382, DOI: 10.1007/s11787-015-0120-1, 2015. URL PDF
BibTeX:
@article{prob-argum:15,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {Probabilistic Argumentation: An Equational Approach.},
  journal = {Logica Universalis},
  year = {2015},
  volume = {9},
  number = {3},
  pages = {345-382},
  doi = {https://doi.org/10.1007/s11787-015-0120-1}
}
2015 Gabbay, D.M. and Rodrigues, O., Equilibrium States in Numerical Argumentation Networks, Logica Universalis, pp. 1-63, DOI: 10.1007/s11787-015-0119-7, 2015. URL PDF
BibTeX:
@article{esnan-15,
  author = {Gabbay, D. M. and Rodrigues, O.},
  title = {Equilibrium States in Numerical Argumentation Networks},
  journal = {Logica Universalis},
  publisher = {Springer Basel},
  year = {2015},
  pages = {1-63},
  url = {http://dx.doi.org/10.1007/s11787-015-0119-7},
  doi = {https://doi.org/10.1007/s11787-015-0119-7}
}
2015 Meneguzzi, F., Rodrigues, O., Oren, N., Vasconcelos, W.W. and Luck, M., BDI reasoning with normative considerations, Engineering Applications of Artificial Intelligence, Vol. 43 (0), pp. 127 - 146, DOI: http://dx.doi.org/10.1016/j.engappai.2015.04.011, 2015. URL PDF
BibTeX:
@article{Meneguzzi2015127,
  author = {F. Meneguzzi and O. Rodrigues and N. Oren and W. W. Vasconcelos and M. Luck},
  title = {BDI reasoning with normative considerations},
  journal = {Engineering Applications of Artificial Intelligence},
  year = {2015},
  volume = {43},
  number = {0},
  pages = {127 - 146},
  url = {http://www.sciencedirect.com/science/article/pii/S0952197615000925},
  doi = {https://doi.org/10.1016/j.engappai.2015.04.011}
}
2014 Hosseini, S.A., Modgil, S. and Rodrigues, O., Enthymeme Construction in Dialogues using Shared Knowledge, Proceedings of COMMA V, pp. 325-332, DOI: 10.3233/978-1-61499-436-7-325, 2014. URL PDF
BibTeX:
@inproceedings{hosseini-modgil-rodrigues:COMMA2014,
  author = {S. A. Hosseini and S. Modgil and O. Rodrigues},
  title = {Enthymeme Construction in Dialogues using Shared Knowledge},
  booktitle = {Proceedings of COMMA V},
  publisher = {IOS Press},
  year = {2014},
  pages = {325-332},
  doi = {https://doi.org/10.3233/978-1-61499-436-7-325}
}
2014 Gabbay, D.M. and Rodrigues, O., An Equational Approach to the Merging of Argumentation Networks, Journal of Logic and Computation, Vol. 24, pp. 1253-1277, DOI: 10.1007/978-3-642-32897-8_14, 2014. URL PDF
BibTeX:
@article{gabbay-rodrigues-jlc:13,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {An Equational Approach to the Merging of Argumentation Networks},
  journal = {Journal of Logic and Computation},
  publisher = {OUP},
  year = {2014},
  volume = {24},
  pages = {1253-1277},
  doi = {https://doi.org/10.1007/978-3-642-32897-8_14}
}
2014 Gabbay, D.M. and Rodrigues, O., A self-correcting iteration schema for argumentation networks, Proceedings of COMMA V, pp. 377 - 384, DOI: 10.3233/978-1-61499-436-7-377, 2014. URL PDF
BibTeX:
@inproceedings{gabbay-rodrigues:COMMA2014,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {A self-correcting iteration schema for argumentation networks},
  booktitle = {Proceedings of COMMA V},
  publisher = {IOS Press},
  year = {2014},
  pages = {377 - 384},
  doi = {https://doi.org/10.3233/978-1-61499-436-7-377}
}
2012 Gabbay, D.M. and Rodrigues, O., A Numerical Approach to the Merging of Argumentation Networks, Proceedings of CLIMA XIII, pp. 195-212, DOI: 10.1007/978-3-642-32897-8_14, 2012. URL PDF
BibTeX:
@inproceedings{gabbay-rodrigues:12,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {A Numerical Approach to the Merging of Argumentation Networks},
  booktitle = {Proceedings of CLIMA XIII},
  publisher = {Springer-Verlag},
  year = {2012},
  pages = {195-212},
  doi = {https://doi.org/10.1007/978-3-642-32897-8_14}
}
2011 Rodrigues, O., Gabbay, D. and Russo, A., Belief Revision, Handbook of Philosophical Logic: Volume 16, pp. 1-114, DOI: 10.1007/978-94-007-0479-4_1, 2011. URL
BibTeX:
@incollection{Rodrigues:2011,
  author = {Odinaldo Rodrigues and Dov Gabbay and Alessandra Russo},
  title = {Belief Revision},
  booktitle = {Handbook of Philosophical Logic: Volume 16},
  publisher = {Springer Netherlands},
  year = {2011},
  pages = {1--114},
  url = {https://doi.org/10.1007/978-94-007-0479-4_1},
  doi = {https://doi.org/10.1007/978-94-007-0479-4_1}
}
2010 Gabbay, D., Rodrigues, O. and Russo, A., Revision, Acceptability and Context: Theoretic and Algorithmic Aspects, pp. 386, DOI: 10.1007/978-3-642-14159-1, 2010. URL
BibTeX:
@book{rac:2010,
  author = {Gabbay, D and Rodrigues, O and Russo, A},
  title = {Revision, Acceptability and Context: Theoretic and Algorithmic Aspects},
  publisher = {Springer Verlag},
  year = {2010},
  pages = {386},
  url = {http://dx.doi.org/10.1007/978-3-642-14159-1},
  doi = {https://doi.org/10.1007/978-3-642-14159-1}
}
2008 Rodrigues, O., Gabbay, D.M. and Russo, A., Belief Revision in Non-Classical Logics, Review of Symbolic Logic, Vol. 1, pp. 267-304, DOI: 10.1017/S1755020308080246, 2008. URL
BibTeX:
@article{non-classical-2,
  author = {O. Rodrigues and D. M. Gabbay and A. Russo},
  title = {Belief Revision in Non-Classical Logics},
  journal = {Review of Symbolic Logic},
  year = {2008},
  volume = {1},
  pages = {267-304},
  doi = {https://doi.org/10.1017/S1755020308080246}
}
2006 Elsenbroich, C., Gabbay, D.M. and Rodrigues, O., Getting possibilities from the impossible, Proceedings of NMR-06, pp. 505-513, 2006.
BibTeX:
@inproceedings{elsenbroich-gabbay-rodrigues06,
  author = {C. Elsenbroich and D. M. Gabbay and O. Rodrigues},
  title = {Getting possibilities from the impossible},
  booktitle = {Proceedings of NMR-06},
  publisher = {Institut fur Informatik},
  year = {2006},
  pages = {505-513},
  note = {ISSN 1860-8477}
}
2006 Gabbay, D.M., Pigozzi, G. and Rodrigues, O., Belief revision, belief merging and voting, Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06), pp. 71-78, 2006.
BibTeX:
@inproceedings{pigozzi-gabbay-rodrigues06,
  author = {D. M. Gabbay and G. Pigozzi and O. Rodrigues},
  title = {Belief revision, belief merging and voting},
  booktitle = {Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06)},
  publisher = {University of Liverpool},
  year = {2006},
  pages = {71-78}
}
2005 Rodrigues, O., Iterated Revision and Automatic Similarity Generation, Vol. 2, We will show them! Essays in honour of D. M. Gabbay, pp. 591-613, 2005.
BibTeX:
@inbook{rodrigues05,
  author = {O. Rodrigues},
  title = {Iterated Revision and Automatic Similarity Generation},
  booktitle = {We will show them! Essays in honour of D. M. Gabbay},
  publisher = {College Publications},
  year = {2005},
  volume = {2},
  pages = {591-613}
}
2004 Rodrigues, O., d'Avila Garcez, A. and Russo, A., Reasoning about Requirements Evolution Using Clustered Belief Revision, Advances in Artificial Intelligence, Proceedings of 17th SBIA, pp. 41-51, 2004.
BibTeX:
@inproceedings{se:sbia,
  author = {O. Rodrigues and A. d'Avila Garcez and A. Russo},
  title = {Reasoning about Requirements Evolution Using Clustered Belief Revision},
  booktitle = {Advances in Artificial Intelligence, Proceedings of 17th SBIA},
  publisher = {Springer-Verlag Berlin Heidelberg},
  year = {2004},
  pages = {41-51},
  note = {LNAI 3171}
}
2004 Gabbay, D.M., Rodrigues, O. and Woods, J., Deletion in Resource Unbounded Logics - Belief Contraction, Anti-Formulae and Resource Overdraft: Part II, Vol. 1, Logic, Epistemology and the Unity of Science, pp. 291-326, 2004.
BibTeX:
@incollection{gabbay-rodrigues-woods04,
  author = {D. M. Gabbay and O. Rodrigues and J. Woods},
  title = {Deletion in Resource Unbounded Logics - Belief Contraction, Anti-Formulae and Resource Overdraft: Part II},
  booktitle = {Logic, Epistemology and the Unity of Science},
  publisher = {Kluwer Academic Publishers},
  year = {2004},
  volume = {1},
  pages = {291-326}
}
2003 Rodrigues, O., Structured Clusters: A Framework to Reason with Contradictory Interests, Journal of Logic and Computation, Vol. 13 (1), pp. 69-97, 2003.
BibTeX:
@article{clusters,
  author = {O. Rodrigues},
  title = {Structured Clusters: A Framework to Reason with Contradictory Interests},
  journal = {Journal of Logic and Computation},
  year = {2003},
  volume = {13},
  number = {1},
  pages = {69-97}
}
2003 Rodrigues, O., d'Avila Garcez, A. and Russo, A., Reasoning about Requirements Evolution Using Clustered Belief Revision, Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, 2003.
BibTeX:
@inproceedings{rodrigues-garcez-russo03,
  author = {O. Rodrigues and A. d'Avila Garcez and A. Russo},
  title = {Reasoning about Requirements Evolution Using Clustered Belief Revision},
  booktitle = {Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03},
  year = {2003}
}
2002 Gabbay, D.M., Rodrigues, O. and Woods, J., Belief Contraction, Anti-Formulae and Resource Overdraft: Part I - Deletion in Resource Bounded Logics, Logic Journal of the IGPL, Vol. 10 (6), pp. 601-652, 2002.
BibTeX:
@article{gabbay-rodrigues-woods02,
  author = {D. M. Gabbay and O. Rodrigues and J. Woods},
  title = {Belief Contraction, Anti-Formulae and Resource Overdraft: Part I - Deletion in Resource Bounded Logics},
  journal = {Logic Journal of the IGPL},
  year = {2002},
  volume = {10},
  number = {6},
  pages = {601-652}
}
1999 Gabbay, D.M., Rodrigues, O. and Russo, A., Information, Uncertainty, Fusion, pp. 3-31, 1999.
BibTeX:
@inbook{gabbay-rodrigues-russo99,
  author = {D. M. Gabbay and O. Rodrigues and A. Russo},
  title = {Information, Uncertainty, Fusion},
  publisher = {Kluwer Academic Publishers},
  year = {1999},
  pages = {3-31},
  note = {ISBN: 0-7923-8590-X}
}
1998 Rodrigues, O., A methodology for iterated information changeSchool: Department of Computing, Imperial College, 1998.  PDF
BibTeX:
@phdthesis{rodrigues98,
  author = {O. Rodrigues},
  title = {A methodology for iterated information change},
  school = {Department of Computing, Imperial College},
  year = {1998}
}
1997 Gabbay, D.M. and Rodrigues, O., Structured Belief Bases: a practical approach to prioritised base revision, Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning, pp. 267-281, 1997.
BibTeX:
@inproceedings{gabbay-rodr:97-a,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {Structured Belief Bases: a practical approach to prioritised base revision},
  booktitle = {Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning},
  publisher = {Springer-Verlag},
  year = {1997},
  pages = {267-281}
}
1996 Gabbay, D.M. and Rodrigues, O., Structured Databases: a framework to reason about Belief Change, Proceedings of the Theory and Formal Methods 1996 workshop, 1996.
BibTeX:
@inproceedings{gabbay-rodrigues96-b,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {Structured Databases: a framework to reason about Belief Change},
  booktitle = {Proceedings of the Theory and Formal Methods 1996 workshop},
  publisher = {Imperial College Press},
  year = {1996}
}
1996 Rodrigues, O., Ryan, M. and Schobbens, P.-Y., Counterfactuals and updates as inverse modalities, 6th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 163-174, 1996.
BibTeX:
@inproceedings{rodr-ryan-schob:96,
  author = {O. Rodrigues and M. Ryan and P.-Y. Schobbens},
  title = {Counterfactuals and updates as inverse modalities},
  booktitle = {6th Conference on Theoretical Aspects of Rationality and Knowledge},
  year = {1996},
  pages = {163-174}
}
1996 Gabbay, D.M. and Rodrigues, O., A methodology for iterated Theory Change, Practical Reasoning - First International Conference on Formal and Applied Practical Reasoning, FAPR'96, 1996.
BibTeX:
@inproceedings{gabbay-rodr:96-a,
  author = {D. M. Gabbay and O. Rodrigues},
  title = {A methodology for iterated Theory Change},
  booktitle = {Practical Reasoning - First International Conference on Formal and Applied Practical Reasoning, FAPR'96},
  publisher = {Springer Verlag},
  year = {1996}
}
1994 Rodrigues, O. and Benevides, M., PROMAL — Programming in modal action logic, Vol. 844, Programming Language Implementation and Logic Programming, pp. 457-458, DOI: 10.1007/3-540-58402-1_36, 1994. URL
BibTeX:
@incollection{promal:94,
  author = {Rodrigues, Odinaldo and Benevides, Mario},
  title = {PROMAL — Programming in modal action logic},
  booktitle = {Programming Language Implementation and Logic Programming},
  publisher = {Springer Berlin Heidelberg},
  year = {1994},
  volume = {844},
  pages = {457-458},
  url = {http://dx.doi.org/10.1007/3-540-58402-1_36},
  doi = {https://doi.org/10.1007/3-540-58402-1_36}
}
1994 Rodrigues, O. and Benevides, M.R.F., Belief Revision in Pseudo-Definite Sets, Proceedings of the 11th Brazilian Symposium on Artificial Intelligence (SBIA '94), 1994.
BibTeX:
@inproceedings{rodrigues-benevides94,
  author = {O. Rodrigues and M. R. F. Benevides},
  title = {Belief Revision in Pseudo-Definite Sets},
  booktitle = {Proceedings of the 11th Brazilian Symposium on Artificial Intelligence (SBIA '94)},
  year = {1994}
}
1993 Rodrigues, O. and Benevides, M.R.F., Revisão de Cren¸ cas em Conjuntos de CláusulasSchool: COPPE/UFRJ, Rio de Janeiro-RJ, BRAZIL, 1993.
BibTeX:
@techreport{rodrigues-benevides93,
  author = {O. Rodrigues and M. R. F. Benevides},
  title = {Revisão de Cren¸ cas em Conjuntos de Cláusulas},
  school = {COPPE/UFRJ, Rio de Janeiro-RJ, BRAZIL},
  year = {1993},
  note = {Publica¸ cões Técnicas, ES-281/93}
}
1993 Rodrigues, O., Prolog Modal de Ação e Revisão de Crenças em Conjuntos DefinidosSchool: COPPE - Universidade Federal do Rio de Janeiro - Brazil, 1993.
BibTeX:
@mastersthesis{rodrigues93,
  author = {O. Rodrigues},
  title = {Prolog Modal de Ação e Revisão de Crenças em Conjuntos Definidos},
  school = {COPPE - Universidade Federal do Rio de Janeiro - Brazil},
  year = {1993},
  note = {Published in the Federal University of Rio de Janeiro, Brazil}
}
1992 Rodrigues, O. and Benevides, M.R.F., Prolog Modal de Ação, Anais do IX SBIA, pp. 339-357, 1992.
BibTeX:
@inproceedings{rodrigues-benevides92,
  author = {O. Rodrigues and M. R. F. Benevides},
  title = {Prolog Modal de Ação},
  booktitle = {Anais do IX SBIA},
  year = {1992},
  pages = {339-357}
}