-
1
-
-
0029476453
-
An Intelligent Assistant for Nuclear Test Ban Treaty Verification
-
Mason, C, An Intelligent Assistant for Nuclear Test Ban Treaty Verification, IEEE Expert, vol 10, no 6, 1995
-
(1995)
IEEE Expert
, vol.10
, Issue.6
-
-
Mason, C.1
-
2
-
-
0009343722
-
Johnson datms: A Framework for Distributed Assumption Based Reasoning
-
L. Gasser and M. N. Huhns, Pitman/Morgan Kaufmann, London
-
Cindy L. Mason and Rowland 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, pp 293-318, 1989.
-
(1989)
Distributed Artificial Intelligence 2
, pp. 293-318
-
-
Mason, C.L.1
Rowland, R.2
-
3
-
-
0347080528
-
Distributed Truth Maintenance
-
Dean, S. M, Springer-Verlag
-
Huhns, M. N., Bridgeland, D. M.: Distributed Truth Maintenance. In Dean, S. M., editor, Cooperating Knowledge Based Systems, pages 133-147. Springer-Verlag, 1990.
-
(1990)
Cooperating Knowledge Based Systems
, pp. 133-147
-
-
Huhns, M.N.1
Bridgeland, D.M.2
-
4
-
-
0022680851
-
An Assumption Based Truth Maintenance System
-
de Kleer J., An Assumption Based Truth Maintenance System, in Artificial Intelligence, 28, pp. 127-162, 1986
-
(1986)
Artificial Intelligence
, vol.28
, pp. 127-162
-
-
De Kleer, J.1
-
7
-
-
84949475434
-
A System to Support Complex Inquiries
-
La Habana, 6-11 march
-
Dragoni A.F., Ceresi, C. and Pasquali, V., A System to Support Complex Inquiries, in Proc. of the "V Congreso Iberoamericano de Derecho e Informatica", La Habana, 6-11 march 1996
-
(1996)
Proc. Of the "V Congreso Iberoamericano De Derecho E Informatica"
-
-
Dragoni, A.F.1
Ceresi, C.2
Pasquali, V.3
-
9
-
-
84958752575
-
-
Intelligent Agents III, LNAI n° 1193, Springer-Verlag
-
A.F. Dragoni, P. Giorgini, "Belief Revision through the Belief Function Formalism in a Multi-Agent Environment", Intelligent Agents III, LNAI n° 1193, Springer-Verlag, 1997
-
(1997)
Belief Revision through the Belief Function Formalism in a Multi-Agent Environment
-
-
Dragoni, A.F.1
Giorgini, P.2
-
11
-
-
84968314764
-
On the Logic of Theory Change: Partial meet Contraction and Revision Functions
-
Alchourron C.E., Gardenfors P., and Makinson D., On the Logic of Theory Change: Partial meet Contraction and Revision Functions, in The Journal of Simbolic Logic, 50, pp. 510-530, 1985
-
(1985)
The Journal of Simbolic Logic, 50
, pp. 510-530
-
-
Alchourron, C.E.1
Gardenfors, P.2
Makinson, D.3
-
16
-
-
0028273627
-
A Survey of Belief Revision and Update Rules in Various Uncertainty Models
-
Dubois D. and Prade H., A Survey of Belief Revision and Update Rules in Various Uncertainty Models, in International Journal of Intelligent Systems, 9, pp. 61-100, 1994.
-
(1994)
International Journal of Intelligent Systems, 9
, pp. 61-100
-
-
Dubois, D.1
Prade, H.2
-
18
-
-
84957715272
-
A Generalized Approach to Consistency-Based Belief Revision
-
Gori, M. and Soda, G
-
Dragoni A.F., Mascaretti F. and Puliti P., A Generalized Approach to Consistency-Based Belief Revision, in Gori, M. and Soda, G. (Eds.), Topics in Artificial Intelligence, LNAI 992, Springer Verlag, 1995
-
(1995)
Topics in Artificial Intelligence, LNAI 992, Springer Verlag
-
-
Dragoni, A.F.1
Mascaretti, F.2
Puliti, P.3
-
20
-
-
0023329093
-
A Theory of Diagnosis from First Principles
-
R. Reiter, A Theory of Diagnosis from First Principles, in Artificial Intelligence, 53, 1987
-
(1987)
Artificial Intelligence, 53
-
-
Reiter, R.1
-
25
-
-
0026822833
-
Computational Aspects of the Mobius Transform of a Graph, IEEE Transactions in Systems
-
Kennes, R., Computational Aspects of the Mobius Transform of a Graph, IEEE Transactions in Systems, Man and Cybernetics, 22, pp 201-223, 1992
-
(1992)
Man and Cybernetics
, vol.22
, pp. 201-223
-
-
Kennes, R.1
-
28
-
-
84890575528
-
Learning Agents' Reliability through Bayesian Conditioning: A simulation study
-
Weiss, LNAI n°, Springer-Verlag
-
A.F. Dragoni, P. Giorgini, "Learning Agents' Reliability through Bayesian Conditioning: a simulation study", in Weiss (ed.) "Learning in DAI Systems", LNAI n°, Springer-Verlag, 1997.
-
(1997)
Learning in DAI Systems
-
-
Dragoni, A.F.1
Giorgini, P.2
|