Belief Revision in Non-Classical Logics

Author: Márcio Moretto Ribeiro

Publisher: Springer Science & Business Media

ISBN: 1447141865

Category: Computers

Page: 120

View: 6811

DOWNLOAD NOW »
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include – besides most Description Logics such as the ones behind OWL – Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.

Scalable Uncertainty Management

8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014, Proceedings

Author: Umberto Straccia,Andrea Cali

Publisher: Springer

ISBN: 3319115081

Category: Computers

Page: 322

View: 4348

DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 8th International Conference on Scalable Uncertainty Management, SUM 2014, held in Oxford, UK, in September 2014. The 20 revised full papers and 6 revised short papers were carefully reviewed and selected from 47 submissions. The papers cover topics in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information including applications in decision support systems, machine learning, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.