-
3
-
-
0026185718
-
Unification and anti-unification in the calculus of constructions
-
Amsterdam, The Netherlands, 15-18 July. IEEE Computer Society Press
-
Pfenning, F. 1991. Unification and anti-unification in the calculus of constructions. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, Amsterdam, The Netherlands, 15-18 July. IEEE Computer Society Press, pp. 74-85.
-
(1991)
Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science
, pp. 74-85
-
-
Pfenning, F.1
-
5
-
-
2942734273
-
On axiomatization of many-valued logics associated with formalization of plausible reasoning
-
Anshakov, O.M., Finn, V.K., Skvortsov, D.P. 1989. On axiomatization of many-valued logics associated with formalization of plausible reasoning, Studio Logica v42 N4 423-447.
-
(1989)
Studio Logica
, vol.42
, Issue.4
, pp. 423-447
-
-
Anshakov, O.M.1
Finn, V.K.2
Skvortsov, D.P.3
-
7
-
-
0031126053
-
Golog: A logic programming language for dynamic domains
-
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming v31, 59-84.
-
(1997)
Journal of Logic Programming
, vol.31
, pp. 59-84
-
-
Levesque, H.J.1
Reiter, R.2
Lesperance, Y.3
Lin, F.4
Scherl, R.B.5
-
9
-
-
10044273831
-
Deductive and inductive reasoning for processing the complaints of unsatisfied customers
-
LNAI, Loughborough University, UK
-
th IEA/AIE Conference, LNAI, Loughborough University, UK.
-
(2003)
th IEA/AIE Conference
-
-
Galitsky, B.1
Pampapathi, R.2
-
10
-
-
10044299279
-
On the training of mental reasoning: Searching the works of literature
-
Pensacola Beach, FL
-
Galitsky, B. 2002. On the training of mental reasoning: searching the works of literature. FLAIRS - 02, Pensacola Beach, FL, pp.36-41.
-
(2002)
FLAIRS - 02
, pp. 36-41
-
-
Galitsky, B.1
-
11
-
-
10044252871
-
Using inductive reasoning and reasoning about dynamic domains for automatic processing of claims DIMACS
-
Rutgers University NJ
-
Galitsky, B. and Vinogradov, D. 2002. Using inductive reasoning and reasoning about dynamic domains for automatic processing of claims DIMACS Tech Report #2002-42 Rutgers University NJ.
-
(2002)
Tech Report #2002-42
, vol.2002
, Issue.42
-
-
Galitsky, B.1
Vinogradov, D.2
-
14
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
D. Michie ed., American Elsevier, New York, NY, 1969
-
McCarthy, J. and Hayes, P.J. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence", in D. Michie ed., Machine Intelligence 4, American Elsevier, New York, NY, 1969.
-
(1969)
Machine Intelligence
, vol.4
-
-
McCarthy, J.1
Hayes, P.J.2
-
16
-
-
10044294589
-
A fuzzy emotional agent for decision-making in
-
Anchorage, AK, USA
-
El-Nasr, M.S., Skubic, M. 1998. A Fuzzy Emotional Agent for Decision-Making in a Mobile Robot, proc. of WCCI'98, Anchorage, AK, USA.
-
(1998)
A Mobile Robot, Proc. of WCCI'98
-
-
El-Nasr, M.S.1
Skubic, M.2
-
17
-
-
0010789020
-
Review of affective computing
-
Sloman, A. 1999. Review of Affective Computing. AI Magazine 20 n1, 127-133.
-
(1999)
AI Magazine
, vol.20
, Issue.1
, pp. 127-133
-
-
Sloman, A.1
|