Knowledge-base revision

Knowledge Engineering Review

Volumn 15, Issue 4, 2000, Pages 339-370

  Papini, O ^a  

^a UNIVERSITÉ DE TOULON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS;

KNOWLEDGE BASE REVISION; NONMONOTONIC REASONING; REVISABLE REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0034438256     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S026988890000401X     Document Type: Article

References (58)

1. On the logic of theory change: Partial meet functions for contraction and revision
2. Maintaining arc consistency through constraint retraction
3. Arc-consistency in dynamic constraint satisfaction problem
4. Language features for flexible handling of exceptions in information systems
5. Solving over-constrained CSP using weighted OBDD
6. Revision sequences and nested conditionals
7. Generalised update: Belief change in dynamics settings
8. Symbolic boolean manipulation with ordered binary decision diagrams
9. Investigations into theory of knowledge base revision
10. On the logic of iterated revision
11. An assumption-based TMS
12. Belief maintenance in dynamic constraint networks
13. A truth maintenance system
14. Automated reasoning using possibilistic logic
15. On the complexity of propositional knowledge base revision
16. Updating logical databases
17. On the semantic of updates in databases
18. Conditional logics of belief change
19. A knowledge base for belief change, part II: Revision and update
20. Belief revision: A critique
21. Belief revision
22. Reasoning about action -I: A possible models approach; II: The qualification problem
23. Linear logic
24. Two modellings for theory change
25. Rational belief change, Popper functions and counterfactuals
26. Evaluation sémantique en calcul propositionnel
27. On the difference between updating a knowledge base and revising it
28. Propositional knowledge base revision and minimal change
29. Belief revision revisited
30. A survey of belief revision and updating in classical logic
31. Probabilities of conditionals and conditional probabilities
32. Five faces of minimality
33. The relations between the logic of theory change and nonmonotonic logic
34. Application of circumscription to formalising common sense knowledge
35. Circumscription a form of non-monotonic reasoning
36. Network of constraints: Fundamental properties and applications to picture processing
37. Belief revision and default reasoning: Syntax-based approach
38. Calcul propositionnel étendu: Un cadre pour la révision multiple
39. Révision des connaissances
40. Revision in extended propositional calculus
41. A logic for default reasoning
42. Stubborness: An enhancement scheme for backjumping and nogood recording
43. Révision de bases de connaissances
44. Ordinal conditional functions: A dynamic theory of epistemic states
45. Sur le collectif du projet inter-PRC. Gestion de l'évolutif et de l'incertain dans une base de connaissances
46. Sur le collectif sur les CSP. Autour du problème de satisfaction de contraintes
47. Solving constraint satisfaction problems using finite state automata
48. And next
49. The revised Gärdenfors postulates and update semantics
50. Transmutations of knowledge systems
51. Iterated theory base change: A computational model
52. Reasoning about action using a possible models approach