-
2
-
-
33745606742
-
-
Billington, D.: The proof algorithms of plausible logic form a hierarchy. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), 3809, pp. 796-799. Springer, Heidelberg (2005)
-
Billington, D.: The proof algorithms of plausible logic form a hierarchy. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 796-799. Springer, Heidelberg (2005)
-
-
-
-
3
-
-
2442535392
-
Propositional plausible logic: Introduction and implementation
-
Billington, D., Rock, A.: Propositional plausible logic: Introduction and implementation. Studia Logica 67, 243-269 (2001)
-
(2001)
Studia Logica
, vol.67
, pp. 243-269
-
-
Billington, D.1
Rock, A.2
-
4
-
-
0002439923
-
Intelligence without reason
-
San Mateo, CA, pp, Morgan Kaufmann, San Francisco
-
Brooks, R.A.: Intelligence without reason. In: ICJAI-91. 12th Int Joint Conf on Artificial Intelligence, San Mateo, CA, pp. 569-595. Morgan Kaufmann, San Francisco (1991)
-
(1991)
ICJAI-91. 12th Int Joint Conf on Artificial Intelligence
, pp. 569-595
-
-
Brooks, R.A.1
-
6
-
-
0000016031
-
Markov localization for mobile robots in dynamic environments
-
Fox, D., Burgard, W., Thrun, S.: Markov localization for mobile robots in dynamic environments. Journal of Artificial Intelligent Research 11, 391-427 (1999)
-
(1999)
Journal of Artificial Intelligent Research
, vol.11
, pp. 391-427
-
-
Fox, D.1
Burgard, W.2
Thrun, S.3
-
8
-
-
38149006648
-
Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory
-
forthcoming
-
Haemmi, R., Hartmann, S.: Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory. Information Fusion (forthcoming)
-
Information Fusion
-
-
Haemmi, R.1
Hartmann, S.2
-
10
-
-
84855583197
-
Non-monotonic Reasoning for Localisation in RoboCup
-
Sammut, C (ed, UNSW, Sydney () CD-ROM
-
Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Non-monotonic Reasoning for Localisation in RoboCup. In: Sammut, C (ed.) Australasian Conf. on Robotics and Automation. UNSW, Sydney (2005) CD-ROM
-
(2005)
Australasian Conf. on Robotics and Automation
-
-
Billington, D.1
Estivill-Castro, V.2
Hexel, R.3
Rock, A.4
-
12
-
-
38149098905
-
An implementation of propositional plausible logic
-
Edwards, J, ed, IEEE Computer Society, Los Alamitos
-
Rock, A., Billington, D.: An implementation of propositional plausible logic. In: Edwards, J. (ed.) 23rd Australasian Computer Science Conf. Australian Computer Science Comms, pp. 204-210. IEEE Computer Society, Los Alamitos (2000)
-
(2000)
23rd Australasian Computer Science Conf. Australian Computer Science Comms
, pp. 204-210
-
-
Rock, A.1
Billington, D.2
-
13
-
-
84943278319
-
-
Röfer, T., Jüngel, M.: Fast and robust edge-based localization in the SONY four-legged robot league. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), 3020, Springer, Heidelberg (2004)
-
Röfer, T., Jüngel, M.: Fast and robust edge-based localization in the SONY four-legged robot league. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), vol. 3020, Springer, Heidelberg (2004)
-
-
-
-
14
-
-
0003584577
-
-
2nd edn. Prentice-Hall, Englewood Cliffs, NJ
-
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (2002)
-
(2002)
Artificial Intelligence: A Modern Approach
-
-
Russell, S.1
Norvig, P.2
-
15
-
-
0035336711
-
Robust Monte Carlo localization for mobile robots
-
Thrun, S., Fox, D., Burgard, W., Dellaert, F.: Robust Monte Carlo localization for mobile robots, Artificial Intelligence 128, 99-141 (2001)
-
(2001)
Artificial Intelligence
, vol.128
, pp. 99-141
-
-
Thrun, S.1
Fox, D.2
Burgard, W.3
Dellaert, F.4
|