tag :: belief_revision

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

3On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
T. Eiter, and G. Gottlob. Artificial Intelligence, 57 (2-3): 227-270 (1992)
16 years ago by @marciomr
show all tags
base_revision
belief_revision
complexity
base_revisionbelief_revisioncomplexity
(0)
copydeleteadd this publication to your clipboard
1On the status of the postulate of recovery in the logic of theory change
D. Makinson. Journal of Philosophical Logic, (1987)
16 years ago by @marciomr
show all tags
belief_revision
recovery
belief_revisionrecovery
(0)
copydeleteadd this publication to your clipboard
1On the Logic of Theory Change: Contraction without Recovery
E. Fermé. Journal of Logic, Lang. and Inf., 7 (2): 127--137 (1998)
16 years ago by @marciomr
show all tags
belief_revision
recovery
belief_revisionrecovery
(0)
copydeleteadd this publication to your clipboard
1An Essay on Contraction
A. Fuhrmann. CSLI Publications, Stanford University, (1997)
16 years ago by @marciomr
show all tags
belief_revision
belief_revision
(0)
copydeleteadd this publication to your clipboard
2Horn Complements: Towards Horn-to-Horn Belief Revision.
M. Langlois, R. Sloan, B. Szörényi, and G. Turán. AAAI, page 466-471. AAAI Press, (2008)
16 years ago by @marciomr
show all tags
belief_revision
horn
belief_revisionhorn
(0)
copydeleteadd this publication to your clipboard
2The Dynamics of Belief Systems: Foundations Versus Coherence Theories
P. Gärdenfors. Revue Internationale de Philosophie, (1990)
16 years ago by @marciomr
show all tags
belief_revision
coherentism
foundationalism
belief_revisioncoherentismfoundationalism
(0)
copydeleteadd this publication to your clipboard
1Belief Revision: A Critique.
N. Friedman, and J. Halpern. Journal of Logic, Language and Information, 8 (4): 401-420 (1999)
17 years ago by @marciomr
show all tags
belief_revision
impresso
belief_revisionimpresso
(0)
copydeleteadd this publication to your clipboard
11A Framework for Handling Inconsistency in Changing Ontologies
P. Haase, F. van Harmelen, Z. Huang, H. Stuckenschmidt, and Y. Sure. Proceedings of the Fourth International Semantic Web Conference (ISWC2005), volume 3729 of LNCS, page 353--367. Springer, (November 2005)
17 years ago by @marciomr
show all tags
DLs
belief_revision
debugging
inconsistency
DLsbelief_revisiondebugginginconsistency
(0)
copydeleteadd this publication to your clipboard
1An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies
G. Qi, and J. Pan. Proceedings of International Workshop on Ontology Dynamics (IWOD'07), (June 2007)
17 years ago by @marciomr
show all tags
DLs
belief_revision
inconsistency
DLsbelief_revisioninconsistency
(0)
copydeleteadd this publication to your clipboard
1Semi-Revision (invited paper).
S. Hansson. Journal of Applied Non-Classical Logics, (1997)
17 years ago by @marciomr
show all tags
base_revision
belief_revision
semi_revision
base_revisionbelief_revisionsemi_revision
(0)
copydeleteadd this publication to your clipboard
2An Algorithm for Belief Revision
R. Wassermann. Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Morgan Kaufmann, (2000)
17 years ago by @marciomr
show all tags
algorithm
belief_revision
algorithmbelief_revision
(0)
copydeleteadd this publication to your clipboard
1Belief Base Revision For Expressive Description Logics
C. Halaschek-Wiener, Y. Katz, and B. Parsia. OWL: Experiences and Directions 2006, (2006)
17 years ago by @marciomr
show all tags
DLs
base_revision
belief_revision
impresso
semi_revision
DLsbase_revisionbelief_revisionimpressosemi_revision
(0)
copydeleteadd this publication to your clipboard
2A practical approach to revising prioritized knowledge bases
S. Benferhat, D. Dubois, H. Prade, and M. Williams. Studia Logica, 70, Kluwer, The Netherlands, bb.(2002)
17 years ago by @marciomr
show all tags
belief_revision
belief_revision
(0)
copydeleteadd this publication to your clipboard
2On Generalizing the AGM Postulates
G. Flouris, D. Plexousakis, and G. Antoniou. Proceedings of the 3rd European Starting AI Researcher Symposium (STAIRS-06), (2006)
17 years ago by @marciomr
show all tags
DLs
belief_revision
impresso
DLsbelief_revisionimpresso
(0)
copydeleteadd this publication to your clipboard
3The Implementation of a First-Order Logic AGM Belief Revision System.
S. Dixon, and W. Wobcke. ICTAI, page 40-47. (1993)
17 years ago by @marciomr
show all tags
algorithm
belief_revision
algorithmbelief_revision
(0)
copydeleteadd this publication to your clipboard
3Implementation of Belief Change Operators Using BDDs.
N. Gorogiannis, and M. Ryan. Studia Logica, 70 (1): 131-156 (2002)
17 years ago by @marciomr
show all tags
belief_revision
belief_revision
(0)
copydeleteadd this publication to your clipboard
2Local Change
S. Hansson, and R. Wassermann. Studia Logica, 70 (1): 49-76 (2002)
17 years ago by @marciomr
show all tags
belief_revision
relevance
belief_revisionrelevance
(0)
copydeleteadd this publication to your clipboard
1On The Logic of Theory Change
C. Alchourrón, P. Gärdenfors, and D. Makinson. Journal of Symbolic Logic, 50 (2): 510--530 (1985)
17 years ago by @marciomr
show all tags
belief_revision
belief_revision
(0)
copydeleteadd this publication to your clipboard
4On Belief Change and Ontology Evolution
G. Flouris. University of Crete, (2006)
17 years ago by @marciomr
show all tags
DLs
belief_revision
DLsbelief_revision
(0)
copydeleteadd this publication to your clipboard
2Updating Description Logics using the AGM Theory
G. Flouris, D. Plexousakis, and G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (May 2005)
17 years ago by @marciomr
show all tags
DLs
belief_revision
DLsbelief_revision
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

3On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.

1On the status of the postulate of recovery in the logic of theory change

1On the Logic of Theory Change: Contraction without Recovery

1An Essay on Contraction

2Horn Complements: Towards Horn-to-Horn Belief Revision.

2The Dynamics of Belief Systems: Foundations Versus Coherence Theories

1Belief Revision: A Critique.

11A Framework for Handling Inconsistency in Changing Ontologies

1An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies

1Semi-Revision (invited paper).

2An Algorithm for Belief Revision

1Belief Base Revision For Expressive Description Logics

2A practical approach to revising prioritized knowledge bases

2On Generalizing the AGM Postulates

3The Implementation of a First-Order Logic AGM Belief Revision System.

3Implementation of Belief Change Operators Using BDDs.

2Local Change

1On The Logic of Theory Change

4On Belief Change and Ontology Evolution

2Updating Description Logics using the AGM Theory

browse

related tags

similar tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)44 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

similar tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)44
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...