-
2
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón C. E., Gärdenfors P., Makinson D. On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic. 50:1985;510-530.
-
(1985)
J. Symb. Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
3
-
-
0347067571
-
-
C. Aravindan, 1995
-
C. Aravindan, 1995.
-
-
-
-
5
-
-
0006300631
-
Knowledge base dynamics, abduction, and database updates
-
Aravindan C., Dung P. M. Knowledge base dynamics, abduction, and database updates. J. Appl. Non-Classical Logics. 5:1995;51-76.
-
(1995)
J. Appl. Non-Classical Logics
, vol.5
, pp. 51-76
-
-
Aravindan, C.1
Dung, P.M.2
-
8
-
-
84958779225
-
Tableaux for diagnosis applications
-
G. Didier. Springer
-
Baumgartner P., Fröhlich P., Furbach U., Nejdl W. Tableaux for diagnosis applications. Didier G. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1227. 1997b;76-90 Springer.
-
(1997)
Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1227
, pp. 76-90
-
-
Baumgartner, P.1
Fröhlich, P.2
Furbach, U.3
Nejdl, W.4
-
11
-
-
0013203993
-
Intensional updates: Abduction via deduction
-
D. H. D. Warren, & P. Szeredi. MIT Press
-
Bry F. Intensional updates: abduction via deduction. Warren D. H. D., Szeredi P. Proceedings of the International Conference on Logic Programming. 1990;561-575 MIT Press.
-
(1990)
Proceedings of the International Conference on Logic Programming
, pp. 561-575
-
-
Bry, F.1
-
13
-
-
84958987603
-
-
P. Miglioli, U. Moscato, D. Mundici, & M. Ornaghi. Springer
-
Bry F., Yahya A. Miglioli P., Moscato U., Mundici D., Ornaghi M. Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071. 1996;143-159 Springer.
-
(1996)
Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071
, pp. 143-159
-
-
Bry, F.1
Yahya, A.2
-
15
-
-
84990557471
-
A spectrum of logical definitions of model-based diagnosis
-
Console L., Torasso P. A spectrum of logical definitions of model-based diagnosis. Comput. Intell. 7:1991;133-141.
-
(1991)
Comput. Intell.
, vol.7
, pp. 133-141
-
-
Console, L.1
Torasso, P.2
-
16
-
-
0020183057
-
On the correct translation of update operations on relational views
-
Dayal U., Bernstein P. A. On the correct translation of update operations on relational views. ACM Trans. Database Syst. 8:1982;381-416.
-
(1982)
ACM Trans. Database Syst.
, vol.8
, pp. 381-416
-
-
Dayal, U.1
Bernstein, P.A.2
-
18
-
-
0011745103
-
An extension of SLD by abduction and integrity maintenance for view updating in deductive databases
-
M. Michael. MIT Press
-
Decker H. An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. Michael M. Proceedings of the Joint International Conference and Symposium on Logic Programming. 1996;157-169 MIT Press.
-
(1996)
Proceedings of the Joint International Conference and Symposium on Logic Programming
, pp. 157-169
-
-
Decker, H.1
-
22
-
-
0003353428
-
Belief revision: An introduction
-
P. Gärdenfors. Cambridge University Press
-
Gärdenfors P. Belief revision: an introduction. Gärdenfors P. Belief Revision. 1992;1-28 Cambridge University Press.
-
(1992)
Belief Revision
, pp. 1-28
-
-
Gärdenfors, P.1
-
23
-
-
0002695051
-
Belief revision
-
D. M. Gabbay, C. J. Hogger, & J. A. Robinson. Oxford University Press
-
Gärdenfors P., Rott H. Belief revision. Gabbay D. M., Hogger C. J., Robinson J. A. Handbook of Logic in AI and Logic Programming, volume IV: Epistemic and Temporal Reasoning. 1995;35-132 Oxford University Press.
-
(1995)
Handbook of Logic in AI and Logic Programming, Volume IV: Epistemic and Temporal Reasoning
, pp. 35-132
-
-
Gärdenfors, P.1
Rott, H.2
-
26
-
-
0002658844
-
Maintenance of materialized views: Problems, techniques, and applications
-
Gupta A., Mumick I. S. Maintenance of materialized views: problems, techniques, and applications. IEEE DE Bulletin. 18:1995;3-19.
-
(1995)
IEEE de Bulletin
, vol.18
, pp. 3-19
-
-
Gupta, A.1
Mumick, I.S.2
-
27
-
-
0346437321
-
-
S. O. Hansson
-
S. O. Hansson.
-
-
-
-
28
-
-
0000977561
-
Belief contraction without recovery
-
Hansson S. O. Belief contraction without recovery. Stud. Log. 50:1991b;251-260.
-
(1991)
Stud. Log.
, vol.50
, pp. 251-260
-
-
Hansson, S.O.1
-
29
-
-
0347698188
-
-
Department of Computing, Imperial College, London, U.K.
-
A. C. Kakas, P. Mancarella, Department of Computing, Imperial College, London, U.K. 1990.
-
(1990)
-
-
Kakas, A.C.1
Mancarella, P.2
-
30
-
-
0039247125
-
Algorithms for translating view updates to database updates for views involving selections, projections, and joins
-
ACM. p. 154-163
-
Keller A. M. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. Proceedings of the Fourth ACM Symposium on Principles of Database Systems. 1985;ACM. p. 154-163.
-
(1985)
Proceedings of the Fourth ACM Symposium on Principles of Database Systems
-
-
Keller, A.M.1
-
31
-
-
0025401306
-
View updates in relational databases with an independent scheme
-
Langerak R. View updates in relational databases with an independent scheme. ACM Trans. Database Syst. 15:1990;40-66.
-
(1990)
ACM Trans. Database Syst.
, vol.15
, pp. 40-66
-
-
Langerak, R.1
-
33
-
-
85032870902
-
SATCHMO: A theorem prover implemented in prolog
-
E. Lusk, & R. Overbeek. Springer
-
Manthey R., Bry F. SATCHMO: a theorem prover implemented in prolog. Lusk E., Overbeek R. Proceedings of the Ninth Conference on Automated Deduction, Argonne, Illinois, May 1988, LNCS 310. 1988;415-434 Springer.
-
(1988)
Proceedings of the Ninth Conference on Automated Deduction, Argonne, Illinois, May 1988, LNCS 310
, pp. 415-434
-
-
Manthey, R.1
Bry, F.2
-
34
-
-
37349044608
-
Circumscription - A form of non-monotonic reasoning
-
McCarthy J. Circumscription - a form of non-monotonic reasoning. Artif. Intell. 13:1985;27-39.
-
(1985)
Artif. Intell.
, vol.13
, pp. 27-39
-
-
McCarthy, J.1
-
36
-
-
84958961954
-
A tableau calculus for minimal model reasoning
-
Miglioli, P. Moscato, U. Mundici, & D. Ornaghi. Springer
-
Niemelä I. A tableau calculus for minimal model reasoning. Miglioli, Moscato P., Mundici U., Ornaghi D. Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071. 1996b;278-294 Springer.
-
(1996)
Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071
, pp. 278-294
-
-
Niemelä, I.1
-
37
-
-
84990556284
-
Explanation and prediction: An architecture for default and abductive reasoning
-
Poole D. Explanation and prediction: an architecture for default and abductive reasoning. Comput. Intell. 5:1989;97-110.
-
(1989)
Comput. Intell.
, vol.5
, pp. 97-110
-
-
Poole, D.1
-
38
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter R. A theory of diagnosis from first principles. Artif. Intell. 32:April 1987;57-95.
-
(1987)
Artif. Intell.
, vol.32
, pp. 57-95
-
-
Reiter, R.1
-
39
-
-
0001685428
-
Automated deduction with hyper-resolution
-
Robinson J. A. Automated deduction with hyper-resolution. Int. J. Comput. Math. 1:1965;227-234.
-
(1965)
Int. J. Comput. Math.
, vol.1
, pp. 227-234
-
-
Robinson, J.A.1
|