-
1
-
-
77952029586
-
Evolving logic programs
-
Flesca, S, Greco, S, Leone, N, Ianni, G, eds, JELIA 2002, Springer, Heidelberg
-
Alferes, J.J., Brogi, A., Leite, JA., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50-61. Springer, Heidelberg (2002)
-
(2002)
LNCS (LNAI
, vol.2424
, pp. 50-61
-
-
Alferes, J.J.1
Brogi, A.2
Leite, J.A.3
Pereira, L.M.4
-
3
-
-
33747205495
-
Toward a general logicist methodology for engineering ethically correct robots
-
Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38-44 (2006)
-
(2006)
IEEE Intelligent Systems
, vol.21
, Issue.4
, pp. 38-44
-
-
Bringsjord, S.1
Arkoudas, K.2
Bello, P.3
-
5
-
-
38349065908
-
-
Dell'Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69-84 (2005)
-
Dell'Acqua, P., Pereira, L.M.: Preferential theory revision. In: Pereira, L.M., Wheeler, G. (eds.) Procs. Computational Models of Scientific Reasoning and Applications, pp. 69-84 (2005)
-
-
-
-
7
-
-
84902743640
-
The problem of abortion and the doctrine of double effect
-
Foot, P.: The problem of abortion and the doctrine of double effect. Oxford Review 5,5-15 (1967)
-
(1967)
Oxford Review
, vol.5
, pp. 5-15
-
-
Foot, P.1
-
8
-
-
0001119421
-
The stable model semantics for logic programming
-
Kowalski, R, Bowen, K.A, eds, MIT Press, Cambridge
-
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th Intl. Logic Programming Conf., MIT Press, Cambridge (1988)
-
(1988)
5th Intl. Logic Programming Conf
-
-
Gelfond, M.1
Lifschitz, V.2
-
9
-
-
39049160136
-
-
Gigerenzer, G, Engel, C, eds, MIT Press, Cambridge
-
Gigerenzer, G., Engel, C. (eds.): Heuristics and the Law. MIT Press, Cambridge (2006)
-
(2006)
Heuristics and the Law
-
-
-
10
-
-
33646147588
-
Particularism and generalism: How AI can help us to better understand moral cognition
-
Anderson, M, Anderson, S, Armen, C, eds, Stanford, California, USA
-
Guarini, M.: Particularism and generalism: how AI can help us to better understand moral cognition. In: Anderson, M., Anderson, S., Armen, C. (eds.) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press, Stanford, California, USA (2005)
-
(2005)
Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press
-
-
Guarini, M.1
-
11
-
-
34347324337
-
-
How Nature Designed Our Universal Sense of Right and Wrong. Little Brown, Boston, USA
-
Hauser, M.D.: Moral Minds, How Nature Designed Our Universal Sense of Right and Wrong. Little Brown, Boston - USA (2007)
-
(2007)
Moral Minds
-
-
Hauser, M.D.1
-
13
-
-
0000699514
-
The role of abduction in logic programming
-
Gabbay, D, Hogger, C, Robinson, J, eds, Oxford University Press, Oxford
-
Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235-324. Oxford University Press, Oxford (1998)
-
(1998)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.5
, pp. 235-324
-
-
Kakas, A.1
Kowalski, R.2
Toni, F.3
-
15
-
-
33745615178
-
-
Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Procs. of CLIMA VI. LNCS (LNAI), p. 122. Springer, Heidelberg (2006)
-
Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Procs. of CLIMA VI. LNCS (LNAI), p. 122. Springer, Heidelberg (2006)
-
-
-
-
17
-
-
33747230391
-
Computational models of ethical reasoning: Challenges, initial steps, and future directions
-
McLaren, B.M.: Computational models of ethical reasoning: Challenges, initial steps, and future directions. IEEE Intelligent Systems 21(4), 29-37 (2006)
-
(2006)
IEEE Intelligent Systems
, vol.21
, Issue.4
, pp. 29-37
-
-
McLaren, B.M.1
-
18
-
-
33947532286
-
Universal moral grammar: Theory, evidence, and the future
-
Mikhail, J.: Universal moral grammar: Theory, evidence, and the future. Trends in Cognitive Sciences 11(4), 143-152 (2007)
-
(2007)
Trends in Cognitive Sciences
, vol.11
, Issue.4
, pp. 143-152
-
-
Mikhail, J.1
-
19
-
-
38349064861
-
Prospective logic agents
-
Neves, J.M, Santos, M.F, Machado, J.M, eds, EPIA 2007. Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence., Springer, Heidelberg
-
Pereira, L.M., Lopes, G.: Prospective logic agents. In: Neves, J.M., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence. LNCS (LNAI), Springer, Heidelberg (2007)
-
(2007)
LNCS (LNAI
-
-
Pereira, L.M.1
Lopes, G.2
-
20
-
-
84957389891
-
Moral decision making with ACORDA
-
Dershowitz, N, Voronkov, A, eds
-
Pereira, L.M., Saptawijaya, A.: Moral decision making with ACORDA. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. Short papers call, Local Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (2007)
-
(2007)
LPAR 2007. Short papers call, Local Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning
-
-
Pereira, L.M.1
Saptawijaya, A.2
-
21
-
-
33747293847
-
Prospects for a Kantian machine
-
Powers, T.M.: Prospects for a Kantian machine. IEEE Intelligent Systems 21(4), 46-51 (2006)
-
(2006)
IEEE Intelligent Systems
, vol.21
, Issue.4
, pp. 46-51
-
-
Powers, T.M.1
-
22
-
-
50349088402
-
What could statistics do for ethics? The idea of a commonsenseprocessing-based safety valve
-
Anderson, M, Anderson, S, Armen, C, eds, Stanford, California, USA
-
Rzepka, R., Araki, K.: What could statistics do for ethics? The idea of a commonsenseprocessing-based safety valve. In: Anderson, M., Anderson, S., Armen, C. (eds.) Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press, Stanford, California, USA (2005)
-
(2005)
Machine ethics: Papers from the AAAI Fall Symposium, AAAI Press
-
-
Rzepka, R.1
Araki, K.2
|