Sciweavers

268 search results - page 7 / 54
» Revising Contextual Theories
Sort
View
COLT
2000
Springer
15 years 1 months ago
Improved Algorithms for Theory Revision with Queries
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
AI
2004
Springer
14 years 9 months ago
Theory revision with queries: Horn, read-once, and parity formulas
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
AIML
1998
14 years 10 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
15 years 28 days 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
14 years 11 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