메뉴 건너뛰기




Volumn 7180 LNCS, Issue , 2012, Pages 212-227

Moral reasoning under uncertainty

Author keywords

Evolution Prospection; Logic Programming; Moral Reasoning; P log; Uncertainty Reasoning

Indexed keywords

COHERENT COMBINATION; DECISION MAKERS; EVOLUTION PROSPECTION; MORAL JUDGMENT; MORAL REASONING; P-LOG; PROBABILISTIC INFERENCE; PROGRAMMING FRAMEWORK; UNCERTAINTY REASONING;

EID: 84858325564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28717-6_18     Document Type: Conference Paper
Times cited : (36)

References (28)
  • 1
    • 3142681030 scopus 로고    scopus 로고
    • Abduction in well-founded semantics and generalized stable models via tabled dual programs
    • Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming 4(4), 383-428 (2004)
    • (2004) Theory and Practice of Logic Programming , vol.4 , Issue.4 , pp. 383-428
    • Alferes, J.J.1    Pereira, L.M.2    Swift, T.3
  • 2
    • 34547364379 scopus 로고    scopus 로고
    • The status of machine ethics: A report from the AAAI Symposium
    • Anderson, M., Anderson, S.L.: The status of machine ethics: a report from the AAAI Symposium. Minds and Machines 17, 1-10 (2007)
    • (2007) Minds and Machines , vol.17 , pp. 1-10
    • Anderson, M.1    Anderson, S.L.2
  • 7
    • 84902743640 scopus 로고
    • 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
  • 11
    • 58549087996 scopus 로고    scopus 로고
    • An Implementation of Extended P-Log Using XASP
    • Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. Springer, Heidelberg
    • Han, T.A., Kencana Ramli, C.D.P., Damásio, C.V.: An Implementation of Extended P-Log Using XASP. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 739-743. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5366 , pp. 739-743
    • Han, T.A.1    Kencana Ramli, C.D.P.2    Damásio, C.V.3
  • 15
    • 77749264827 scopus 로고    scopus 로고
    • Prospective Storytelling Agents
    • Carro, M., Peña, R. (eds.) PADL 2010. Springer, Heidelberg
    • Lopes, G., Pereira, L.M.: Prospective Storytelling Agents. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 294-296. Springer, Heidelberg (2010), http://centria.di.fct.unl.pt/~lmp/publications/slides/padl10/ quick moral robot.avi
    • (2010) LNCS , vol.5937 , pp. 294-296
    • Lopes, G.1    Pereira, L.M.2
  • 16
    • 33947532286 scopus 로고    scopus 로고
    • 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
  • 17
    • 84858331368 scopus 로고    scopus 로고
    • Quantifying the standard of proof beyond a reasonable doubt: A comment on three comments
    • Newman, J.O.: Quantifying the standard of proof beyond a reasonable doubt: a comment on three comments. Law, Probability and Risk 5(3-4), 267-269 (2006)
    • (2006) Law, Probability and Risk , vol.5 , Issue.3-4 , pp. 267-269
    • Newman, J.O.1
  • 18
    • 9444264710 scopus 로고    scopus 로고
    • Probabilistic Reasoning with Answer Sets
    • Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. Springer, Heidelberg
    • Baral, C., Gelfond, M., Rushton, N.: Probabilistic Reasoning With Answer Sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 21-33. Springer, Heidelberg (2003)
    • (2003) LNCS (LNAI) , vol.2923 , pp. 21-33
    • Baral, C.1    Gelfond, M.2    Rushton, N.3
  • 19
    • 80054796439 scopus 로고    scopus 로고
    • Inspecting and preferring abductive models
    • World Scientific Publishers forthcoming
    • Pereira, L.M., Dell'Acqua, P., Pinto, A.M., Lopes, G.: Inspecting and preferring abductive models. In: Handbook on Reasoning-based Intelligent Systems. World Scientific Publishers (2011) (forthcoming), http://centria.fct. unl.pt/∼lmp/publications/ online-papers/rbis.pdf
    • (2011) Handbook on Reasoning-based Intelligent Systems
    • Pereira, L.M.1    Dell'Acqua, P.2    Pinto, A.M.3    Lopes, G.4
  • 21
    • 38349064861 scopus 로고    scopus 로고
    • Prospective Logic Agents
    • Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. Springer, Heidelberg
    • Pereira, L.M., Lopes, G.: Prospective Logic Agents. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 73-86. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI) , vol.4874 , pp. 73-86
    • Pereira, L.M.1    Lopes, G.2
  • 23
    • 84858325716 scopus 로고    scopus 로고
    • Modelling morality with prospective logic
    • Cambridge U. P.
    • Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Machine Ethics, pp. 398-421. Cambridge U. P. (2011)
    • (2011) Machine Ethics , pp. 398-421
    • Pereira, L.M.1    Saptawijaya, A.2
  • 24
    • 80052019068 scopus 로고    scopus 로고
    • Intention recognition with evolution prospection and causal bayesian networks
    • Madureira, A., et al. (eds.) Springer, Heidelberg
    • Pereira, L.P.,Han, T.A.: Intention recognition with evolution prospection and causal bayesian networks. In: Madureira, A., et al. (eds.) Computational Intelligence for Engineering Systems: Emergent Applications, vol. 46, pp. 1-33. Springer, Heidelberg (2011)
    • (2011) Computational Intelligence for Engineering Systems: Emergent Applications , vol.46 , pp. 1-33
    • Pereira, L.P.1    Han, T.A.2
  • 28
    • 79960146792 scopus 로고    scopus 로고
    • Libraries, interfaces and packages
    • XSB. version 3.2 March
    • XSB. The XSB system version 3.2 vol. 2: Libraries, interfaces and packages (March 2009)
    • (2009) The XSB System , vol.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.