-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the Logic of Theory Change: Partial meet Contraction and Revision Functions, The Journal of Simbolic Logic, No. 50 (1985) 510-530.
-
(1985)
The Journal of Simbolic Logic
, Issue.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0002150682
-
Inconsistency management and prioritized syntax-based entailment
-
S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade, Inconsistency Management and Prioritized Syntax-Based Entailment, in: Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93) (1993) 640-645.
-
(1993)
Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93)
, pp. 640-645
-
-
Benferhat, S.1
Cayrol, C.2
Dubois, D.3
Lang, J.4
Prade, H.5
-
3
-
-
0022825872
-
Handling uncertain information: A review of numeric and non-numeric methods
-
Kanal and Lemmer, Eds.
-
R. K. Bhatnagare and L.N. Kanal, Handling Uncertain Information: A Review of Numeric and Non-numeric Methods, in: Kanal and Lemmer, Eds., Uncertainty in Artificial Intelligence (1986).
-
(1986)
Uncertainty in Artificial Intelligence
-
-
Bhatnagare, R.K.1
Kanal, L.N.2
-
6
-
-
0022680851
-
An assumption based truth maintenance system
-
J. de Kleer, An Assumption Based Truth Maintenance System, Artificial Intelligence 28, (1986) 127-162.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 127-162
-
-
De Kleer, J.1
-
8
-
-
0002404185
-
Reason maintenance and belief revision: Foundation versus coherence theories
-
P. Gärdenfors, Ed., Cambridge University Press
-
J. Doyle, Reason Maintenance and Belief Revision: Foundation versus Coherence Theories, in: P. Gärdenfors, Ed., Belief Revision (Cambridge University Press, 1992).
-
(1992)
Belief Revision
-
-
Doyle, J.1
-
9
-
-
0040662997
-
A model for belief revision in a multi-agent environment
-
E. Werner and Y. Demazeau, Eds., Elsevier Science Publisher, Amsterdam
-
A.F. Dragoni, A Model for Belief Revision in a Multi-Agent Environment, in: E. Werner and Y. Demazeau, Eds., Decentralized A.I.3. (Elsevier Science Publisher, Amsterdam, 1992).
-
(1992)
Decentralized A.I.3
-
-
Dragoni, A.F.1
-
11
-
-
84957717951
-
Distributed belief revision versus distributed truth maintenance
-
New Orleans IEEE Press
-
A.F. Dragoni and P. Puliti, Distributed Belief Revision versus Distributed Truth Maintenance. In: Proc. 6th IEEE Int. Conf. on Tools with A.I., New Orleans (IEEE Press, 1994).
-
(1994)
Proc. 6th IEEE Int. Conf. on Tools with A.I.
-
-
Dragoni, A.F.1
Puliti, P.2
-
12
-
-
84957715272
-
A generalized approach to consistency based belief revision
-
LNAI Springer-Verlag
-
A.F. Dragoni, F. Mascaretti, P. Puliti, A Generalized Approach to Consistency Based Belief Revision, Proceedings of the 4th Conference of the Italian Association for Artificial Intelligence, Lectur Notes in Artificial Intelligence, LNAI 992 (Springer-Verlag, 1995).
-
(1995)
Proceedings of the 4th Conference of the Italian Association for Artificial Intelligence, Lectur Notes in Artificial Intelligence
, vol.992
-
-
Dragoni, A.F.1
Mascaretti, F.2
Puliti, P.3
-
13
-
-
0028273627
-
A survey of belief revision and update rules in various uncertainty models
-
D. Dubois and H. Prade, A Survey of Belief Revision and Update Rules in Various Uncertainty Models, International Journal of Intelligence Systems 9, (1994) 61-100.
-
(1994)
International Journal of Intelligence Systems
, vol.9
, pp. 61-100
-
-
Dubois, D.1
Prade, H.2
-
14
-
-
0002429286
-
Belief change and possibility theory
-
P. Gärdenfors, Ed., Cambridge University Press
-
D. Dubois and H. Prade, Belief Change and Possibility Theory, in: P. Gärdenfors, Ed., Belief Revision (Cambridge University Press, 1992).
-
(1992)
Belief Revision
-
-
Dubois, D.1
Prade, H.2
-
15
-
-
0040662996
-
Knowledge, decision making, and uncertainty
-
A. Gale, Ed.
-
J. Fox, Knowledge, Decision Making, and Uncertainty, in: A. Gale, Ed., Artificial Intelligence and Statistics (1986).
-
(1986)
Artificial Intelligence and Statistics
-
-
Fox, J.1
-
18
-
-
0003353428
-
Belief revision: An introduction
-
P. Gärdenfors, Ed., Cambridge University Press
-
P. Gärdenfors, Belief Revision: An Introduction, in: P. Gärdenfors, Ed., Belief Revision (Cambridge University Press, 1992).
-
(1992)
Belief Revision
-
-
Gärdenfors, P.1
-
23
-
-
0038884965
-
Belief maintenance: An integrated approach to uncertainty management
-
J. Pearl and G. Shafer, Eds., Morgan Kaufmann
-
K.B. Laskey and P.E. Lehner, Belief Maintenance: An Integrated Approach to Uncertainty Management, in: J. Pearl and G. Shafer, Eds., Readings in Uncertain Reasoning (Morgan Kaufmann, 1990).
-
(1990)
Readings in Uncertain Reasoning
-
-
Laskey, K.B.1
Lehner, P.E.2
-
25
-
-
0028199517
-
A survey of belief revision and updating in classical logic
-
F. Lévy, A Survey of Belief Revision and Updating in Classical Logic, International Journal of Intelligence Systems 9, (1994) 29-59.
-
(1994)
International Journal of Intelligence Systems
, vol.9
, pp. 29-59
-
-
Lévy, F.1
-
26
-
-
0009343722
-
DATMS: A framework for distributed assumption based reasoning
-
L. Gasser and M.N. Huhns, Eds., Pitman/Morgan Kaufmann, London
-
C.L. Mason and R.R. Johnson, DATMS: A Framework for Distributed Assumption Based Reasoning, in: L. Gasser and M.N. Huhns, Eds., Distributed Artificial Intelligence 2 (Pitman/Morgan Kaufmann, London, 1989) 293-318.
-
(1989)
Distributed Artificial Intelligence
, vol.2
, pp. 293-318
-
-
Mason, C.L.1
Johnson, R.R.2
-
28
-
-
0038884956
-
-
Artificial Intelligence Laboratory, Dept. of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan Feb.
-
T.A. Montgomery, J. Lee, D.J. Musliner, D.E. Damouth, Y. So and E.H. Durfee, MICE Users Guide, Artificial Intelligence Laboratory, Dept. of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan (Feb. 1992).
-
(1992)
MICE Users Guide
-
-
Montgomery, T.A.1
Lee, J.2
Musliner, D.J.3
Damouth, D.E.4
So, Y.5
Durfee, E.H.6
-
30
-
-
0012946141
-
Base revision operations and schemes: Semantics, representation, and complexity
-
Wiley and Sons
-
B. Nebel, Base Revision Operations and Schemes: Semantics, Representation, and Complexity, in: Proc. of the 11th European Conference on Artificial Intelligence (Wiley and Sons, 1994).
-
(1994)
Proc. of the 11th European Conference on Artificial Intelligence
-
-
Nebel, B.1
-
32
-
-
0002130827
-
Syntax based approaches to belief revision
-
P. Gärdenfors, Ed., Cambridge University Press
-
B. Nebel, Syntax Based Approaches to Belief Revision, in: P. Gärdenfors, Ed., Belief Revision (Cambridge University Press, 1992).
-
(1992)
Belief Revision
-
-
Nebel, B.1
-
33
-
-
84915466888
-
A complexity analysis of assumption-based truth maintenance systems
-
B. Smith and G. Kelleher, Eds., Ellis Horwood Series in Artificial Intelligence
-
G.M. Provan, A Complexity Analysis of Assumption-Based Truth Maintenance Systems, in: B. Smith and G. Kelleher, Eds., Reason Maintenance Systems and Their Applications (Ellis Horwood Series in Artificial Intelligence, 1988).
-
(1988)
Reason Maintenance Systems and Their Applications
-
-
Provan, G.M.1
-
34
-
-
0023329093
-
A theory of diagnosis from first principles
-
R. Reiter, A Theory of Diagnosis from First Principles, Artificial Intelligence, (1987).
-
(1987)
Artificial Intelligence
-
-
Reiter, R.1
-
35
-
-
0026925452
-
A logic for reasoning with inconsistent knowledge
-
N. Roos, A Logic for Reasoning with Inconsistent Knowledge, Artificial Intelligence 57, (1992).
-
(1992)
Artificial Intelligence
, vol.57
-
-
Roos, N.1
-
36
-
-
0009985273
-
Belief functions
-
J. Pearl and G. Shafer, Eds., Morgan Kaufmann
-
G. Shafer, Belief Functions, in: J. Pearl and G. Shafer, Eds., Readings in Uncertain Reasoning (Morgan Kaufmann, 1990).
-
(1990)
Readings in Uncertain Reasoning
-
-
Shafer, G.1
-
37
-
-
0003278816
-
The Bayesian and belief-function formalisms a general perpsective for auditing
-
J. Pearl and G. Shafer, Eds., Morgan Kaufmann
-
G. Shafer and R. Srivastava, The Bayesian and Belief-Function Formalisms a General Perpsective for Auditing, in: J. Pearl and G. Shafer, Eds., Readings in Uncertain Reasoning (Morgan Kaufmann, 1990).
-
(1990)
Readings in Uncertain Reasoning
-
-
Shafer, G.1
Srivastava, R.2
-
39
-
-
85033126564
-
The revised gardenfors postulates and update semantics
-
Goos and Hartmanis, Eds., da ICDT '90
-
L. Willard and L.Y. Yuan, The Revised Gardenfors Postulates and Update Semantics, Lectures Notes in Computer Science, in: Goos and Hartmanis, Eds., da ICDT '90.
-
Lectures Notes in Computer Science
-
-
Willard, L.1
Yuan, L.Y.2
|