Sciweavers

268 search results - page 7 / 54
» Revising Contextual Theories
Sort
View
COLT
2000
Springer
13 years 12 months ago
Improved Algorithms for Theory Revision with Queries
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
AI
2004
Springer
13 years 7 months ago
Theory revision with queries: Horn, read-once, and parity formulas
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
AIML
1998
13 years 9 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
ICML
1994
IEEE
13 years 11 months ago
Revision of Production System Rule-Bases
We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
Patrick M. Murphy, Michael J. Pazzani
DAGSTUHL
2007
13 years 9 months ago
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
Gabriele Kern-Isberner