Publication (selection)
(Please send me an e-mail (ferme @ uma.pt) if you nedd a copy)
Belief Revision and Non-monotonic Reasoning
2012. “Credibility Limited Revision Operators in Propositional Logic”. Richard Booth, Eduardo Fermé, Sébastien, and Ramón Pino Pérez. To appear Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, (KR'12), Rome.
2012 Possible world semantics for partial meet multiple contractions. Maurıcio D. L. Reis and Eduardo Fermé. Journal of Philosophical Logic 41, (1) : 7-28. Link
2012 System of spheres-based multiple contractions. Eduardo Fermé and Maurıcio D. L. Reis. Journal of Philosophical Logic 41, (1) : 29-52. Link
2011 “AGM 25 Years: Twenty-Five Years of Research in Belief Change” Eduardo Fermé and Sven Ove Hansson. Guest Editor Introduction. Journal of Philosophical Logic 40, (2) : 113-114. Link
2011. “On the Logic of Theory Change: Extending the AGM Model”. PhD Thesis in Philosophy. Royal Institute of Technology. Sweden. Link
2010. “Formal Epistemology and Logic” Horácio Arló Costa, Eduardo Fermé. A Companion to Latin American Philosophy. In Susana Nuccetelli, Ofelia Schutte and Otavio Bueno (Editors). Balckwell Comoanio to Philosophy. Publisher: John Wiley. 482-495. Link
2008 “An axiomatic characterization of ensconcement-based contraction”. Eduardo Fermé - Martín Krevneris – Maurício Reis. Journal of Logic and Computation. 18(5):739-753. Link
2007 "Revisión de Creencias" (in Spanish). Eduardo Fermé, Revista Iberoamericana de Inteligencia Artificial 11 (34) pp 17-39. Link
2006 “DFT and Belief Revision”. Eduardo Fermé, Ricardo Rodriguez. Análisis Filosófico. Vol XXVI (2) pp 373-393. Link
2006 “On the Logic of Theory Change: Relations between Incision and Selection Functions”. M. A. Falappa, E. L. Fermé & G. Kern-Isberner. Frontiers in Artificial Intelligence and Applications, (ISBN 978-1-58603-642-3). G. Brewka (Editor), S. Coradeschi (Editor), A. Perini (Editor) & P. Traverso (Editor), IOS Press. 141: 402-406. Link
2004. “Revision by Comparison”. Eduardo Fermé, Hans Rott. Artificial Intelligence. Elsevier Publisher. 157 pp 5 -- 47. Link
2003. “Multiple Kernel Contraction”. Eduardo Fermé, Karina Saez, Pablo Sanz. Studia Logica. Kluwer Academic Publisher. 73 (2) pp 183-195. Link
2003. “Credibility-Limited Functions for Belief Bases. Eduardo Fermé, Juan Mikalef, Jorge Taboada”. Journal of Logic and Computation. 13 (1), pp. 101 — 112. Link
2001. “Credibility-Limited Revision”. Sven Ove Hansson, Eduardo Fermé, John Cantwell, Marcelo Falappa. Journal of Symbolic Logic 66 (4) pp: 1581-1596. Link
2001. “Shielded Contraction” (Invited Paper). Eduardo Fermé, Sven Ove Hansson. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher. Link
2001. “Five Faces of Recovery”. Eduardo Fermé. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher. Link
2000. “Irrevocable Belief Revision and Epistemic Entrenchment”. Eduardo Fermé. Logic Journal of the IGPL. 8 (5). 645-652. Oxford Universidade Press. Link
1999. “Selective Revision”. Eduardo Fermé, Sven Ove Hansson. Studia Logica. Kluwer Academic Publisher. 63 (3):331-342. Link
1999. “A note on Prototype Revision” (Invited Paper). Renata Wassermann, Eduardo Fermé. “Spinning Ideas” (Electronic Essays dedicated to Peter Gardenfors on his 50th Birthday). In Wlodek Rabinowicz, NilsEric Sahlin eds. Link
1999. “Some Observations on C. Alchourrón’s Theory of Defeasible Conditional”. Verónica Becher, Eduardo Fermé, Sandra Lazzer, Carlos Oller, Gladys Palau, Ricardo Rodríguez. In Norms, Logics and Information Systems. New studies on Deontic Logic and Computer Science. 219–230. Mc. Namara P. and Prakke (eds). Ios Press. Link
1999. “A little Note about Maxichoice and Epistemic Entrenchment”. Eduardo Fermé. Proceedings Wollic´99. Workshop on Logic, Language and Information, Itatiaia, Brazil. pp. 111-113. Link
1999. “Revising the AGM Postulates”. PhD Thesis in Computer Science. Eduardo Fermé. UBA. Argentina. Link
1998. “Semi-Contraction: Axioms and Construction”. Eduardo Fermé, Ricardo Rodriguez. Notre Dame Journal of Formal Logic. Universidade of Notre Dame. 39 (3): 332-345. Link
1998. “A brief note about the Rott Contraction”. Eduardo Fermé, Ricardo Rodriguez. Logic Journal of the IGPL. Oxford Universidade Press. 6 (6): 835–842. Link
1998. “On the Logic of Theory Change: Contraction Without Recovery”. Eduardo Fermé. Journal of Logic, Language and Information. Kluwer Academic Publisher. 7 (2): 127-137. Link
Robots in Education
2009 “The Robot Race: Understanding Proportionality as a function with Robots in Mathematics Class”. Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of CERME 6 - Sixth Conference of European Research in Mathematics Education. Lyon, France. 1211-1220. Link
2008 “Viajando com Robots na Aula de Matemática” (in Portuguese). Elsa Fernandes, Eduardo Fermé, Rui Oliveira. In P. Dias e A.J. Osório (Coord), Ambientes Educativos Emergentes. Centro Competência. Universidade do Minho, Campus Gualtar. Braga. (ISBN: 978-972-98456-2-8), pp 11-34. Link
2008 “Proporcionalidade directa como função: Da perfeição à realidade a bordo de um robot” (in Portuguese). Rui Oliveira - Elsa Fernandes - Eduardo Fermé. Quadrante. Lisbon: Associação de Professores de Matemática. Link
2007 “Crossing the river with robots: Changing the way of working in an AI subject". Eduardo Fermé - Elsa Fernandes. Proceedings of the 3rd UK Workshop on AI in Education, pp 22-29. Cambridge UK. Link
2007 “RCX+PROLOG: A platform to use Lego Mindstorms(tm) Robots in Artificial Intelligence courses”. Eduardo Fermé - Luís Gaspar. Proceedings of the 3rd UK Workshop on AI in Education, pp 30-36. Cambridge UK. Link
2006 "Using Robots to Learn Functions in Math Class". Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of the ICMI 17 Study Conference: Technology Revisited, pp 152-159. Hanoi University of Technology. Editors, Le Hung Son, Nathalie Sinclair, Jean Baptiste Lagrange and Celia Hoyles. Vietnam. Link
2012. “Credibility Limited Revision Operators in Propositional Logic”. Richard Booth, Eduardo Fermé, Sébastien, and Ramón Pino Pérez. To appear Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, (KR'12), Rome. 2012 Possible world semantics for partial meet multiple contractions. Maurıcio D. L. Reis and Eduardo Fermé. Journal of Philosophical Logic 41, (1) : 7-28. Link 2012 System of spheres-based multiple contractions. Eduardo Fermé and Maurıcio D. L. Reis. Journal of Philosophical Logic 41, (1) : 29-52. Link 2011 “AGM 25 Years: Twenty-Five Years of Research in Belief Change” Eduardo Fermé and Sven Ove Hansson. Guest Editor Introduction. Journal of Philosophical Logic 40, (2) : 113-114. Link 2011. “On the Logic of Theory Change: Extending the AGM Model”. PhD Thesis in Philosophy. Royal Institute of Technology. Sweden. Link 2010. “Formal Epistemology and Logic” Horácio Arló Costa, Eduardo Fermé. A Companion to Latin American Philosophy. In Susana Nuccetelli, Ofelia Schutte and Otavio Bueno (Editors). Balckwell Comoanio to Philosophy. Publisher: John Wiley. 482-495. Link 2008 “An axiomatic characterization of ensconcement-based contraction”. Eduardo Fermé - Martín Krevneris – Maurício Reis. Journal of Logic and Computation. 18(5):739-753. Link 2007 "Revisión de Creencias" (in Spanish). Eduardo Fermé, Revista Iberoamericana de Inteligencia Artificial 11 (34) pp 17-39. Link 2006 “DFT and Belief Revision”. Eduardo Fermé, Ricardo Rodriguez. Análisis Filosófico. Vol XXVI (2) pp 373-393. Link 2006 “On the Logic of Theory Change: Relations between Incision and Selection Functions”. M. A. Falappa, E. L. Fermé & G. Kern-Isberner. Frontiers in Artificial Intelligence and Applications, (ISBN 978-1-58603-642-3). G. Brewka (Editor), S. Coradeschi (Editor), A. Perini (Editor) & P. Traverso (Editor), IOS Press. 141: 402-406. Link 2004. “Revision by Comparison”. Eduardo Fermé, Hans Rott. Artificial Intelligence. Elsevier Publisher. 157 pp 5 -- 47. Link 2003. “Multiple Kernel Contraction”. Eduardo Fermé, Karina Saez, Pablo Sanz. Studia Logica. Kluwer Academic Publisher. 73 (2) pp 183-195. Link 2003. “Credibility-Limited Functions for Belief Bases. Eduardo Fermé, Juan Mikalef, Jorge Taboada”. Journal of Logic and Computation. 13 (1), pp. 101 — 112. Link 2001. “Credibility-Limited Revision”. Sven Ove Hansson, Eduardo Fermé, John Cantwell, Marcelo Falappa. Journal of Symbolic Logic 66 (4) pp: 1581-1596. Link 2001. “Shielded Contraction” (Invited Paper). Eduardo Fermé, Sven Ove Hansson. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher. Link 2001. “Five Faces of Recovery”. Eduardo Fermé. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher. Link 2000. “Irrevocable Belief Revision and Epistemic Entrenchment”. Eduardo Fermé. Logic Journal of the IGPL. 8 (5). 645-652. Oxford Universidade Press. Link 1999. “Selective Revision”. Eduardo Fermé, Sven Ove Hansson. Studia Logica. Kluwer Academic Publisher. 63 (3):331-342. Link 1999. “A note on Prototype Revision” (Invited Paper). Renata Wassermann, Eduardo Fermé. “Spinning Ideas” (Electronic Essays dedicated to Peter Gardenfors on his 50th Birthday). In Wlodek Rabinowicz, NilsEric Sahlin eds. Link 1999. “Some Observations on C. Alchourrón’s Theory of Defeasible Conditional”. Verónica Becher, Eduardo Fermé, Sandra Lazzer, Carlos Oller, Gladys Palau, Ricardo Rodríguez. In Norms, Logics and Information Systems. New studies on Deontic Logic and Computer Science. 219–230. Mc. Namara P. and Prakke (eds). Ios Press. Link 1999. “A little Note about Maxichoice and Epistemic Entrenchment”. Eduardo Fermé. Proceedings Wollic´99. Workshop on Logic, Language and Information, Itatiaia, Brazil. pp. 111-113. Link 1999. “Revising the AGM Postulates”. PhD Thesis in Computer Science. Eduardo Fermé. UBA. Argentina. Link 1998. “Semi-Contraction: Axioms and Construction”. Eduardo Fermé, Ricardo Rodriguez. Notre Dame Journal of Formal Logic. Universidade of Notre Dame. 39 (3): 332-345. Link 1998. “A brief note about the Rott Contraction”. Eduardo Fermé, Ricardo Rodriguez. Logic Journal of the IGPL. Oxford Universidade Press. 6 (6): 835–842. Link 1998. “On the Logic of Theory Change: Contraction Without Recovery”. Eduardo Fermé. Journal of Logic, Language and Information. Kluwer Academic Publisher. 7 (2): 127-137. Link Robots in Education
2009 “The Robot Race: Understanding Proportionality as a function with Robots in Mathematics Class”. Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of CERME 6 - Sixth Conference of European Research in Mathematics Education. Lyon, France. 1211-1220. Link 2008 “Viajando com Robots na Aula de Matemática” (in Portuguese). Elsa Fernandes, Eduardo Fermé, Rui Oliveira. In P. Dias e A.J. Osório (Coord), Ambientes Educativos Emergentes. Centro Competência. Universidade do Minho, Campus Gualtar. Braga. (ISBN: 978-972-98456-2-8), pp 11-34. Link 2008 “Proporcionalidade directa como função: Da perfeição à realidade a bordo de um robot” (in Portuguese). Rui Oliveira - Elsa Fernandes - Eduardo Fermé. Quadrante. Lisbon: Associação de Professores de Matemática. Link 2007 “Crossing the river with robots: Changing the way of working in an AI subject". Eduardo Fermé - Elsa Fernandes. Proceedings of the 3rd UK Workshop on AI in Education, pp 22-29. Cambridge UK. Link 2007 “RCX+PROLOG: A platform to use Lego Mindstorms(tm) Robots in Artificial Intelligence courses”. Eduardo Fermé - Luís Gaspar. Proceedings of the 3rd UK Workshop on AI in Education, pp 30-36. Cambridge UK. Link 2006 "Using Robots to Learn Functions in Math Class". Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of the ICMI 17 Study Conference: Technology Revisited, pp 152-159. Hanoi University of Technology. Editors, Le Hung Son, Nathalie Sinclair, Jean Baptiste Lagrange and Celia Hoyles. Vietnam. Link