-
1
-
-
0026169896
-
Combining Multiple Knowledge Bases
-
Baral, C., Kraus, S. and Minker, J., "Combining Multiple Knowledge Bases", IEEE Trans. Knowledge and Data Engineering, vol. 3., pp. 208-220 (1991).
-
(1991)
IEEE Trans. Knowledge and Data Engineering
, vol.3
, pp. 208-220
-
-
Baral, C.1
Kraus, S.2
Minker, J.3
-
2
-
-
0022189405
-
Speculative Computation, Parallelism, and Functional Programming
-
Burton, F. W., "Speculative Computation, Parallelism, and Functional Programming", IEEE Transactions on Computers, vol. c-34 pp. 1190-1193 (1985).
-
(1985)
IEEE Transactions on Computers
, vol.C-34
, pp. 1190-1193
-
-
Burton, F.W.1
-
3
-
-
0002061313
-
Abduction Compared with Negation by Failure
-
Eshghi, K., Kowalski, R. A., "Abduction Compared with Negation by Failure", Proceedings of ICLP'89, pp. 234-254 (1989).
-
(1989)
Proceedings of ICLP'89
, pp. 234-254
-
-
Eshghi, K.1
Kowalski, R.A.2
-
4
-
-
0010220984
-
Experiment with Speculative Parallelism in Parlog
-
Gregory, S., "Experiment with Speculative Parallelism in Parlog", Proceedings of ILPS'93, pp. 370-387 (1993).
-
(1993)
Proceedings of ILPS'93
, pp. 370-387
-
-
Gregory, S.1
-
6
-
-
0000699514
-
The Role of Abduction in Logic Programming
-
Kakas, A. C., Kowalski, R., Toni, F., "The Role of Abduction in Logic Programming", Handbook of Logic in Artificial Intelligence and Logic Programming 5, pp. 235-324 (1998).
-
(1998)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.5
, pp. 235-324
-
-
Kakas, A.C.1
Kowalski, R.2
Toni, F.3
-
7
-
-
0041593687
-
From Logic Programming to Multi-Agent Systems
-
Kowalski, R. A., Sadri, F., "From Logic Programming to Multi-Agent Systems", Annals of Mathematics and Artificial Intelligence, vol. 25, pp.391-419 (1999)
-
(1999)
Annals of Mathematics and Artificial Intelligence
, vol.25
, pp. 391-419
-
-
Kowalski, R.A.1
Sadri, F.2
-
8
-
-
85158073093
-
A Formal Theory of Multiple Agent Nonmonotonic Reasoning
-
Morgenstern, L., "A Formal Theory of Multiple Agent Nonmonotonic Reasoning", Proceedings of AAAI'90, pp. 538-544 (1990).
-
(1990)
Proceedings of AAAI'90
, pp. 538-544
-
-
Morgenstern, L.1
-
9
-
-
0031187203
-
The Independent Choice Logic for Modeling Multiple Agents under Uncertainty
-
Poole, D., "The Independent Choice Logic for Modeling Multiple Agents under Uncertainty", Artificial Intelligence, 94(1-2), pp. 7-56 (1997).
-
(1997)
Artificial Intelligence
, vol.94
, Issue.1-2
, pp. 7-56
-
-
Poole, D.1
-
10
-
-
0001599027
-
On the Declarative Semantics of Stratified Deductive Databases and Logic Programs
-
Morgan Kaufmann Publishers
-
Przymusinski, T., "On the Declarative Semantics of Stratified Deductive Databases and Logic Programs", Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, pp. 193-216 (1988).
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 193-216
-
-
Przymusinski, T.1
-
11
-
-
49149147322
-
A Logic for Default Reasoning
-
Reiter, R., "A Logic for Default Reasoning", Artificial Intelligence, 13, pp. 81-132 (1980).
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
|