Dr. Odinaldo Rodrigues
机构: Reader, Department of Informatics, King's College London
主页: kcl.ac.uk
每年引用次数
引用次数
引用: 719
H-指数: 16
I10-指数 : 26
出版物: 91
Iterated Revision and Automatic Similarity Generation.
Odinaldo Rodrigues
We Will Show Them! (2) 591 -614
2005
Common Foundations for Belief Revision, Belief Merging and Voting
Gabriella Pigozzi , Dov M. Gabbay , Odinaldo Rodrigues
dagstuhl seminar proceedings 0
2
2007
A self-correcting iteration schema for argumentation networks
Odinaldo Rodrigues , Dov M. Gabbay
computational models of argument 377 -384
3
2014
Enthymeme Construction in Dialogues using Shared Knowledge.
Seyed Ali Hosseini , Sanjay Modgil , Odinaldo Teixeira Rodrigues
computational models of argument 325 -332
7
2014
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics.
Odinaldo Rodrigues , John Woods , Dov M. Gabbay
Logic, Epistemology, and the Unity of Science 291 -326
1
2004
Estimating Second-Order Arguments in Dialogical Settings
Sanjay Modgil , Odinaldo Rodrigues , Seyed Ali Hosseini
adaptive agents and multi-agents systems 1469 -1470
1
2016
Assigning Likelihoods to Interlocutors' Beliefs and Arguments.
Sanjay Modgil , Odinaldo Rodrigues , Seyed Ali Hosseini
computational models of argument 339 -350
2016
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories
Odinaldo Rodrigues , Dov M. Gabbay
Computational Models of Rationality 392 -408
4
2016
Degrees of "in", "out" and "undecided" in Argumentation Networks
Odinaldo Rodrigues , Dov M. Gabbay
computational models of argument 319 -326
5
2016
Introducing Bayesian Argumentation Networks
Odinaldo Rodrigues , Dov M. Gabbay
The IfColog Journal of Logics and their Applications (FLAP) 3 241 -278
1
2016
Reasoning About Requirements Evolution Using Clustered Belief Revision
Odinaldo Rodrigues , Artur d’Avila Garcez , Alessandra Russo
Advances in Artificial Intelligence – SBIA 2004 41 -51
8
2004
Representing and comparing large sets of extensions of abstract argumentation frameworks
Odinaldo Rodrigues
acm symposium on applied computing 1154 -1161
2019
Research on Language and Computation
Tim Fernando , Dov Gabbay , Ruth Kempson , Odinaldo Rodrigues
Research on Language and Computation 1 ( 1) 1 -2
2003
On the Interaction Between Logic and Preference in Structured Argumentation
Anthony P. Young , Sanjay Modgil , Odinaldo Rodrigues
International Workshop on Theorie and Applications of Formal Argumentation 35 -50
2017
PROMAL: Programming in Modal Action Logic
Odinaldo Rodrigues , Mario Benevides
brazilian symposium on artificial intelligence 101 -111
1995
Structured Belief Bases: A Practical Approach to Prioritised Base Revision
Dov Gabbay , Odinaldo Rodrigues
conference on automated deduction 267 -281
7
1997
A Methodology for Iterated Theory Change
Dov Gabbay , Odinaldo Rodrigues
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning 193 -207
11
1996
BDI reasoning with normative considerations
Felipe Meneguzzi , Odinaldo Rodrigues , Nir Oren , Wamberto W. Vasconcelos
Engineering Applications of Artificial Intelligence 43 127 -146
20
2015
Belief Revision
Odinaldo Rodrigues , Dov Gabbay , Alessandra Russo
Handbook of Philosophical Logic 1 -114
1
2011
Forgetting an Argument
Ringo Baumann , Dov Gabbay , Odinaldo Rodrigues
national conference on artificial intelligence 34 ( 03) 2750 -2757
2020