-
1
-
-
3142681030
-
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
-
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
-
4
-
-
65849353731
-
Probabilistic reasoning with answer sets
-
Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming 9(1), 57-144 (2009)
-
(2009)
Theory and Practice of Logic Programming
, vol.9
, Issue.1
, pp. 57-144
-
-
Baral, C.1
Gelfond, M.2
Rushton, N.3
-
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
-
10
-
-
80054816143
-
Proactive intention recognition for home ambient intelligence
-
IOS Press
-
Han, T.A., Pereira, L.M.: Proactive intention recognition for home ambient intelligence. In: IE Workshop on AI Techniques for Ambient Intelligence, Ambient Intelligence and Smart Environments, vol. 8, pp. 91-100. IOS Press (2010)
-
(2010)
IE Workshop on AI Techniques for Ambient Intelligence, Ambient Intelligence and Smart Environments
, vol.8
, pp. 91-100
-
-
Han, T.A.1
Pereira, L.M.2
-
11
-
-
58549087996
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
|