BibSonomy :: user  :: marciomr ::

bookmarks

publications

(107)   

• The Semantic Web
  Tim Berners-Lee and James Hendler and Ora Lassila Scientific American284(5):34-43May2001.
  to semantic_web by marciomr and 57 other people on Feb 22, 2008, 10:42 PM
  URL | BibTeX 
• Reasoning with Inconsistent Ontologies
  Z. Huang and Frank van Harmelen and A. ten Teije Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05), page254--259. (2005)
  to impresso DLs inconsistency by marciomr and 5 other people on Feb 20, 2008, 8:15 PM
  BibTeX 
• Belief Revision: A Critique.
  Nir Friedman and Joseph Y. Halpern Journal of Logic, Language and Information8(4):401-420(1999)
  to impresso belief_revision by marciomr and 1 other person on Feb 20, 2008, 8:12 PM
  URL | BibTeX 
• P-CLASSIC: A Tractable Probablistic Description Logic.
  Daphne Koller and Alon Y. Levy and Avi Pfeffer AAAI/IAAI, page390-397. (1997)
  to impresso DLs probability by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web.
  Rosalba Giugno and Thomas Lukasiewicz JELIA, volume2424ofLecture Notes in Computer Science, page86-97. Springer, (2002)
  to SHOQ impresso DLs probability by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• Probabilistic description logic programs.
  Thomas Lukasiewicz Int. J. Approx. Reasoning45(2):288-307(2007)
  to DLs progams probability by marciomr and 1 other person on Feb 20, 2008, 8:09 PM
  URL | BibTeX 
• Cooking the Semantic Web with the OWL API.
  Sean Bechhofer and Raphael Volz and Phillip W. Lord International Semantic Web Conference, page659-675. (2003)
  to semantic_web OWL_API OWL by marciomr and 4 other people on Feb 20, 2008, 4:58 AM
  BibTeX 
• The Prot\'eg\'e OWL Plugin: An Open Development Environment for Semantic Web Applications
  Holger Knublauch and Ray W. Fergerson and Natalya F. Noy and Mark A. Musen Third International Semantic Web Conference - ISWC 2004, Hiroshima, Japan, (2004)
  to semantic-web by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• A Framework for Handling Inconsistency in Changing Ontologies
  Peter Haase and Frank van Harmelen and Zhisheng Huang and Heiner Stuckenschmidt and York Sure Proceedings of the Fourth International Semantic Web Conference (ISWC2005), volume3729ofLNCS, page353--367. Springer, NOV2005.
  to DLs inconsistency debugging belief_revision by marciomr and 6 other people on Feb 20, 2008, 4:58 AM
  URL | BibTeX 
• An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies
  Guilin Qi and Jeff Z. Pan Proceedings of International Workshop on Ontology Dynamics (IWOD'07), JUN2007.
  to DLs inconsistency belief_revision by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• 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 
• An Algorithm for Belief Revision
  Renata Wassermann Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Morgan Kaufmann, (2000)
  to belief_revision algorithm by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• A theory of diagnosis from first principles
  Raymond Reiter Artificial Intelligence(1987)
  to diagnosis by marciomr and 2 other people 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 practical approach to revising prioritized knowledge bases
  Salem Benferhat and Didier Dubois and Henri Prade and Mary-Anne Williams Studia Logica, 70, Kluwer, The Netherlands, bb . (2002)
  to belief_revision by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• On Generalizing the AGM Postulates
  Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06), (2006)
  to impresso DLs belief_revision by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• The Implementation of a First-Order Logic AGM Belief Revision System.
  Simon Dixon and Wayne Wobcke ICTAI, page40-47. (1993)
  to belief_revision algorithm by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• Implementation of Belief Change Operators Using BDDs.
  Nikos Gorogiannis and Mark Ryan Studia Logica70(1):131-156(2002)
  to belief_revision by marciomr and 1 other person on Feb 20, 2008, 4:58 AM
  BibTeX 
• Readings in Model-Based Diagnosis
  Walter Hamscher and Luca Console and Johan de Kleer (eds.). Morgan Kaufmann, (1992)
  to diagnosis by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX 
• A Course in Universal Algebra
  Stanley Burris and H. P. Sankappanavar Graduate Texts in Mathematics Springer-Verlag, (1981) Disponivel online em http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html .
  to universal_algebra by marciomr on Feb 20, 2008, 4:58 AM
  BibTeX