BibSonomy :: user  :: marciomr ::

bookmarks

publications

(7)   

• Semi-Revision (invited paper).
  Sven Ove Hansson Journal of Applied Non-Classical Logics(1997)
  to semi_revision belief_revision base_revision by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• Belief Base Revision For Expressive Description Logics
  Christian Halaschek-Wiener and Yarden Katz and Bijan Parsia OWL: Experiences and Directions 2006, (2006)
  to impresso DLs semi_revision belief_revision base_revision by marciomr on Feb 20, 2008, 4:58 AM
  URL | BibTeX 
• A Textbook of Belief Dynamics
  Sven Ove Hansson Kluwer Academic Publishers, (1997)
  to belief_revision base_revision by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• A Test Battery for Rational Database Updating.
  Sven Ove Hansson Artif. Intell.82(1-2):341--352(1996)
  to impresso belief_revision base_revision by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
  URL | BibTeX 
• A Textbook of Belief Dynamics
  Sven Ove Hansson Theory Change and Database Updating Kluwer Academic, (1999)
  to impresso belief_revision base_revision by marciomr on Feb 20, 2008, 3:42 AM
  BibTeX 
• Theory contraction through base contraction
  Andr'e Fuhrmann Journal of Philosophical Logic20(2):175--203May1991.
  to impresso belief_revision base_revision by marciomr on Feb 20, 2008, 3:42 AM
  BibTeX 
• Base Revision in Description Logics - Preliminary Results
  M'arcio Moretto Ribeiro and Renata Wassermann Proceedings of the International Workshop on Ontology Dynamics (IWOD 2007), (2007)
  to impresso DLs belief_revision base_revision by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
  BibTeX