Odinaldo Rodrigues

Orcid: 0000-0001-7823-1034

According to our database1, Odinaldo Rodrigues authored at least 47 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Identifying Reasons for Bias: An Argumentation-Based Approach.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Investigating the Legality of Bias Mitigation Methods in the United Kingdom.
IEEE Technol. Soc. Mag., December, 2023

Combining theory of mind and abductive reasoning in agent-oriented programming.
Auton. Agents Multi Agent Syst., October, 2023

Bias Mitigation Methods for Binary Classification Decision-Making Systems: Survey and Recommendations.
CoRR, 2023

Representing and Manipulating Large Sequences of Argumentation Labellings.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Recommendations for Bias Mitigation Methods: Applicability and Legality.
Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), 2023

2022
ProVe: A Pipeline for Automated Provenance Verification of Knowledge Graphs against Textual Sources.
CoRR, 2022

Reasoning and interaction for social artificial intelligence.
AI Commun., 2022

Statistical and Neural Methods for Cross-lingual Entity Label Mapping in Knowledge Graphs.
Proceedings of the Text, Speech, and Dialogue - 25th International Conference, 2022

WDV: A Broad Data Verbalisation Dataset Built from Wikidata.
Proceedings of the Semantic Web - ISWC 2022, 2022

From Subsymbolic to Symbolic: A Blueprint for Investigation.
Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022

2021
Assessing the Quality of Sources in Wikidata Across Languages: A Hybrid Approach.
ACM J. Data Inf. Qual., 2021

2020
Forgetting an Argument.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Representing and comparing large sets of extensions of abstract argumentation frameworks.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018
On Structural Properties of Argumentation Frameworks: Lessons from ICCMA.
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

2017
On the Interaction Between Logic and Preference in Structured Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

EqArgSolver - System Description.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

2016
Introducing Bayesian Argumentation Networks.
FLAP, 2016

Prioritised Default Logic as Argumentation with Partial Order Default Priorities.
CoRR, 2016

Introducing EqArgSolver: An argumentation solver using equational semantics.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

Assigning Likelihoods to Interlocutors' Beliefs and Arguments.
Proceedings of the Computational Models of Argument, 2016

Degrees of "in", "out" and "undecided" in Argumentation Networks.
Proceedings of the Computational Models of Argument, 2016

Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories.
Proceedings of the Computational Models of Rationality, 2016

Prioritised Default Logic as Rational Argumentation.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Estimating Second-Order Arguments in Dialogical Settings.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Equilibrium States in Numerical Argumentation Networks.
Logica Universalis, 2015

Probabilistic Argumentation: An Equational Approach.
Logica Universalis, 2015

BDI reasoning with normative considerations.
Eng. Appl. Artif. Intell., 2015

2014
An equational approach to the merging of argumentation networks.
J. Log. Comput., 2014

Enthymeme Construction in Dialogues using Shared Knowledge.
Proceedings of the Computational Models of Argument, 2014

A self-correcting iteration schema for argumentation networks.
Proceedings of the Computational Models of Argument, 2014

2012
A Numerical Approach to the Merging of Argumentation Networks.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

2010
Revision, Acceptability and Context - Theoretical and Algorithmic Aspects.
Cognitive Technologies, Springer, ISBN: 978-3-642-14158-4, 2010

2009
Connections between Belief Revision, Belief Merging and Social Choice.
J. Log. Comput., 2009

2008
Belief Revision in non-Classical Logics.
Rev. Symb. Log., 2008

2007
Common Foundations for belief revision, belief merging and voting.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2005
Iterated Revision and Automatic Similarity Generation.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics.
Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Reasoning About Requirements Evolution Using Clustered Belief Revision.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003
Structured Clusters: A Framework to Reason with Contradictory Interests.
J. Log. Comput., 2003

2002
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
Log. J. IGPL, 2002

1998
A methodology for iterated information change.
PhD thesis, 1998

1997
Structured Belief Bases: A Practical Approach to Prioritised Base Revision.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Counterfactuals and Updates as Inverse Modalities.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

A Methodology for Iterated Theory Change.
Proceedings of the Practical Reasoning, 1996

1994
PROMAL - Programming in Modal Action Logic.
Proceedings of the Programming Language Implementation and Logic Programming, 1994


  Loading...