Sciweavers

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