-
1
-
-
77952029586
-
Evolving logic programs
-
S. Flesca, S. Greco, N. Leone and G. Ianni, eds, LNCS 2424, Springer
-
J.J. Alferes, A. Brogi, J.A. Leite and L.M. Pereira, Evolving logic programs, in: Procs of the 8th European Conf on Logics in Artificial Intelligence (JELIA’02), S. Flesca, S. Greco, N. Leone and G. Ianni, eds, LNCS 2424, Springer, 2002, pp. 50-61.
-
(2002)
Procs of the 8th European Conf on Logics in Artificial Intelligence (JELIA’02)
, pp. 50-61
-
-
Alferes, J.J.1
Brogi, A.2
Leite, J.A.3
Pereira, L.M.4
-
2
-
-
58549087996
-
An implementation of extended plog using xasp
-
Springer
-
H.T. Anh, C.D.P.K. Ramli and C.V. Damásio, An implementation of extended plog using xasp, LNCS 5366 (2008), 739-743, Springer.
-
(2008)
LNCS
, vol.5366
, pp. 739-743
-
-
Anh, H.T.1
Ramli, C.D.P.K.2
Damásio, C.V.3
-
3
-
-
9444264710
-
Probabilistic reasoning with answer sets
-
LNAI
-
C. Baral, M. Gelfond and N. Rushton, Probabilistic reasoning with answer sets, in: LPNMR7, LNAI 2923, 2004, pp. 21-33.
-
(2004)
LPNMR7
, vol.2923
, pp. 21-33
-
-
Baral, C.1
Gelfond, M.2
Rushton, N.3
-
14
-
-
0001119421
-
The stable model semantics for logic programming
-
A.K. Robert and K. Bowen, eds, Cambridge, Massachusetts, The MIT Press
-
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming, in: Proceedings of the Fifth International Conference on Logic Programming, A.K. Robert and K. Bowen, eds, Cambridge, Massachusetts, The MIT Press, 1988, pp. 1070-1080
-
(1988)
Proceedings of the Fifth International Conference on Logic Programming
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
20
-
-
70350625264
-
On preferring and inspecting abductive models
-
LNCS, Springer, January
-
L.M. Pereira, P. Dell’Acqua and G. Lopes, On preferring and inspecting abductive models, in: Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL’09), LNCS 5418, pages 1-15. Springer, January 2009.
-
(2009)
Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL’09)
, vol.5418
, pp. 1-15
-
-
Pereira, L.M.1
Dell’Acqua, P.2
Lopes, G.3
-
21
-
-
85013623942
-
Preferring abductive models and inspecting side-effects for decision making (extended version of [20]
-
February
-
L.M. Pereira, P. Dell’Acqua and A.M. Pinto, Preferring abductive models and inspecting side-effects for decision making (extended version of [20], in: AI journal, February 2009.
-
(2009)
AI journal
-
-
Pereira, L.M.1
Dell’Acqua, P.2
Pinto, A.M.3
-
22
-
-
38349064861
-
Prospective logic agents
-
LNAI, Springer
-
L.M. Pereira and G. Lopes, Prospective logic agents, in: AI Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA’07), LNAI 4784, Springer, 2007, pp. 73-86.
-
(2007)
AI Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA’07)
, vol.4784
, pp. 73-86
-
-
Pereira, L.M.1
Lopes, G.2
-
25
-
-
33744822174
-
Revised stable models - a semantics for logic programs
-
LNAI, Springer
-
L.M. Pereira and A.M. Pinto, Revised stable models - a semantics for logic programs, in: 12th Portuguese Intl. Conf. on Artificial Intelligence (EPIA’05), LNAI 3808, Springer, 2005, pp. 29-42.
-
(2005)
12th Portuguese Intl. Conf. on Artificial Intelligence (EPIA’05)
, vol.3808
, pp. 29-42
-
-
Pereira, L.M.1
Pinto, A.M.2
-
27
-
-
85050168926
-
Cause and counterfactual
-
December
-
H.A. Simon and N. Rescher, Cause and counterfactual, Philosophy of Science 33(4) (December 1966), 323-340.
-
(1966)
Philosophy of Science
, vol.33
, Issue.4
, pp. 323-340
-
-
Simon, H.A.1
Rescher, N.2
-
28
-
-
0003503711
-
-
Lexington Books, D.C. Heath and Co, Lexington, MA
-
G.A. Whitmore and M.C. Findlay, Stochastic Dominance: An Approach to Decision-Making Under Risk. Lexington Books, D.C. Heath and Co, Lexington, MA, 1978.
-
(1978)
Stochastic Dominance: An Approach to Decision-Making Under Risk
-
-
Whitmore, G.A.1
Findlay, M.C.2
|