-
1
-
-
9444264710
-
Probabilistic reasoning with answer sets
-
Lifschitz, V., Niemel̈a, I. (eds.) LPNMR 2004. Springer, Heidelberg
-
Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel̈a, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.2923, pp. 21-33. Springer, Heidelberg (2004)
-
(2004)
LNCS (LNAI)
, vol.2923
, pp. 21-33
-
-
Baral, C.1
Gelfond, M.2
Rushton, J.N.3
-
2
-
-
58549087996
-
An implementation of extended P-log using XASP
-
Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. Springer, Heidelberg
-
Anh, H.T., Kencana Ramli, C.D.P., Daḿasio, 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
-
-
Anh, H.T.1
Kencana Ramli, C.D.P.2
Daḿasio, C.V.3
-
3
-
-
65849353731
-
Probabilistic reasoning with answer sets
-
Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. TPLP 9(1), 57-144 (2009)
-
(2009)
TPLP
, vol.9
, Issue.1
, pp. 57-144
-
-
Baral, C.1
Gelfond, M.2
Rushton, N.3
-
5
-
-
11244327376
-
-
Doctoral Thesis, the University of Melbourne, Australia
-
Heinze, C.: Modeling Intention Recognition for Intelligent Agent Systems, Doctoral Thesis, the University of Melbourne, Australia (2003), http://www.dsto.defence.gov.au/publications/scientific- record.php?record=3367
-
(2003)
Modeling Intention Recognition for Intelligent Agent Systems
-
-
Heinze, C.1
-
6
-
-
33744902833
-
Intelligent human-machine interaction based on dynamic bayesian networks probabilistic intention recognition
-
Tahboub, K.A.: Intelligent Human-Machine Interaction Based on Dynamic Bayesian Networks Probabilistic Intention Recognition. Journal of Intelligent Robotics Systems 45(1), 31-52 (2006)
-
(2006)
Journal of Intelligent Robotics Systems
, vol.45
, Issue.1
, pp. 31-52
-
-
Tahboub, K.A.1
-
7
-
-
51349141335
-
Tractable probabilistic models for intention recognition based on expert knowledge
-
Schrempf, O.C., Albrecht, D., Hanebeck, U.D.: Tractable Probabilistic Models for Intention Recognition Based on Expert Knowledge. In: Procs. 2007 IEEE/RSJ Intl. Conf. on Intelligent Robots and Systems (IROS 2007), pp. 1429-1434 (2007)
-
(2007)
Procs. 2007 IEEE/RSJ Intl. Conf. on Intelligent Robots and Systems (IROS 2007)
, pp. 1429-1434
-
-
Schrempf, O.C.1
Albrecht, D.2
Hanebeck, U.D.3
-
9
-
-
0037372121
-
A logic programming approach to knowledge state planning, II: The DLV K system
-
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge State Planning, II: The DLV K System. Artificial Intelligence 144, 157-211 (2003)
-
(2003)
Artificial Intelligence
, vol.144
, pp. 157-211
-
-
Eiter, T.1
Faber, W.2
Leone, N.3
Pfeifer, G.4
Polleres, A.5
-
10
-
-
34347364577
-
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
-
July
-
Tu, P.H., Son, T.C., Baral, C.: Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming. TPLP 7(4) (July 2007)
-
(2007)
TPLP
, vol.7
, Issue.4
-
-
Tu, P.H.1
Son, T.C.2
Baral, C.3
-
12
-
-
0027694534
-
Representing actions and change by logic programs
-
3
-
Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17(2,3,4), 301-323 (1993)
-
(1993)
Journal of Logic Programming
, vol.17
, Issue.2-4
, pp. 301-323
-
-
Gelfond, M.1
Lifschitz, V.2
-
16
-
-
71049194418
-
Evolution prospection
-
Himeji, Japan, April 2009Engineering Series, Springer, Heidelberg
-
Pereira, L.M., Anh, H.T.: Evolution Prospection. In: Procs. First KES Intl. Symposium on Intelligent Decision Technologies (KES-IDT 2009), Himeji, Japan, April 2009. Engineering Series, Springer, Heidelberg (2009)
-
(2009)
Procs. First KES Intl. Symposium on Intelligent Decision Technologies (KES-IDT 2009)
-
-
Pereira, L.M.1
Anh, H.T.2
-
17
-
-
77952029586
-
Evolving logic programs
-
Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. Springer, Heidelberg
-
Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: 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.3
Moniz Pereira, L.4
-
18
-
-
26844494428
-
The refined extension principle for semantics of dynamic logic programming
-
Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1), 7-32 (2005)
-
(2005)
Studia Logica
, vol.79
, Issue.1
, pp. 7-32
-
-
Alferes, J.J.1
Banti, F.2
Brogi, A.3
Leite, J.A.4
-
19
-
-
0034272237
-
Dynamic updates of non-monotonic knowledge bases
-
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: 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
Przymusinska, H.4
Przymusinski, T.C.5
-
20
-
-
84946744426
-
Smodels: An implementation of the stable model and well-founded semantics for normal logic programs
-
Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. Springer, Heidelberg
-
Niemel̃a, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.1265, pp. 420-429. Springer, Heidelberg (1997)
-
(1997)
LNCS (LNAI)
, vol.1265
, pp. 420-429
-
-
Niemel̃a, I.1
Simons, P.2
|