-
1
-
-
0034272237
-
Dynamic updates of non-monotonic knowledge bases
-
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinski, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. J. Logic Programming, 45(1-3):43-70, 2000.
-
(2000)
J. Logic Programming
, vol.45
, Issue.1-3
, pp. 43-70
-
-
Alferes, J.J.1
Leite, J.A.2
Pereira, L.M.3
Przymusinski, H.4
Przymusinski, T.C.5
-
2
-
-
84943178056
-
Updates plus preferences
-
M. O. Aciego, I. P. de Guzmn, G. Brewka, and L. M. Pereira, editors LNAI 1919 Berlin Springer
-
J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. de Guzmn, G. Brewka, and L. M. Pereira, editors, Logics in AI, Procs. JELIA'00, LNAI 1919, pages 345-360, Berlin, 2000. Springer.
-
(2000)
Logics in AI, Procs. JELIA'00
, pp. 345-360
-
-
Alferes, J.J.1
Pereira, L.M.2
-
6
-
-
0001119421
-
The stable model semantics for logic programming
-
R. Kowalski and K. A. Bowen, editors MIT Press
-
M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP'88, pages 1070-1080. MIT Press, 1988.
-
(1988)
ICLP'88
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
7
-
-
21444449615
-
Towards a unified agent architecture that combines rationality with reactivity
-
D. Pedreschi and C. Zaniolo, editors LNCS 1154 Springer
-
R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, Intl. Workshop LID'96, LNCS 1154, pages 137-149. Springer, 1996.
-
(1996)
Logic in Databases, Intl. Workshop LID'96
, pp. 137-149
-
-
Kowalski, R.A.1
Sadri, F.2
-
8
-
-
0033906996
-
Strategies in combined learning via logic programs
-
E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63-87, 2000.
-
(2000)
Machine Learning
, vol.38
, Issue.1-2
, pp. 63-87
-
-
Lamma, E.1
Riguzzi, F.2
Pereira, L.M.3
-
9
-
-
0010220909
-
Minerva - A dynamic logic programming agent architecture
-
To appear
-
J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva - A Dynamic Logic Programming Agent Architecture. To appear in: ATAL01 - 8th Int. Workshop on Agent Theories, Architectures, and Languages, 2001.
-
(2001)
ATAL01 - 8th Int. Workshop on Agent Theories, Architectures, and Languages
-
-
Leite, J.A.1
Alferes, J.J.2
Pereira, L.M.3
-
10
-
-
0041409283
-
Iterated logic program updates
-
J. Jaffar, editor Cambridge, Mass. MIT Press
-
J. A. Leite and L. M. Pereira. Iterated logic program updates. In J. Jaffar, editor, Proc. Joint Intl. Conf. Symp. on Logic Programming 1998, pages 265-278, Cambridge, Mass., 1998. MIT Press.
-
(1998)
Proc. Joint Intl. Conf. Symp. on Logic Programming 1998
, pp. 265-278
-
-
Leite, J.A.1
Pereira, L.M.2
|