11
Material Type:
Livro
Simply logical intelligent reasoning by example
Peter A. Flach
Chichester Wiley New York c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T10.01 F571sl e.1 ) (Acessar)
This feature requires javascript
12
Material Type:
Livro
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
AISC'98 (Conference) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)
Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-
Berlin London Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1476 ) e outros locais(Acessar)
This feature requires javascript
13
Material Type:
Livro
Logics in artificial intelligence European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings
JELIA 2000 (2000 Málaga, Spain) Manuel Ojeda-Aciego 1967-
Berlin Springer London c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1919 ) e outros locais(Acessar)
This feature requires javascript
14
Material Type:
Livro
Conditional inference and logic for intelligent systems a theory of measure-free conditioning
Irwin R. Goodman Hung T Nguyen 1944-; E Walker 1930- (Elbert)
Amsterdam, Netherlands New York North-Holland New York, N.Y., U.S.A. Distributors for the U.S. and Canada, Elsevier Science Pub. Co. 1991
Localização:
IME - Inst. Matemática e Estatística
(QA860 G653c ) (Acessar)
This feature requires javascript
15
Material Type:
Livro
Representing and reasoning with probabilistic knowledge a logical approach to probabilities
Fahiem Bacchus
Cambridge, Mass. MIT Press c1990
Localização:
EPBC - Esc. Politécnica-Bib Central
(519.21 B12r ) (Acessar)
This feature requires javascript
16
Material Type:
Livro
Logics in artificial intelligence 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
JELIA 2002 (2002 Cosenza, Italy) Sergio Flesca 1971-
New York Springer 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2424 ) (Acessar)
This feature requires javascript
17
Material Type:
Livro
Advances in logic, artificial intelligence, and robotics LAPTEC 2002
Congress of Logic Applied to Technology (3rd 2002 São Paulo, Brazil) Jair Minoro Abe; João Inácio da Silva Filho
Amsterdam IOS Press/Ohmsha Washington, DC 2002
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.8 C76L 3. v.2 ) e outros locais(Acessar)
This feature requires javascript
18
Material Type:
Livro
Reasoning with incomplete information
David W. Etherington
London Pitman Los Altos Morgan Kaufmann 1988
Localização:
IME - Inst. Matemática e Estatística
(QA860 E84r e.1 ) (Acessar)
This feature requires javascript
19
Material Type:
Livro
The logic of information structures
H. Wansing (Heinrich)
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lnai v.681 e.1 ) e outros locais(Acessar)
This feature requires javascript
20
Material Type:
Livro
Handbook of logic in artificial intelligence and logic programming
Dov M Gabbay 1945-; Christopher John Hogger; J.A Robinson (John Alan)
Oxford Clarendon Press Oxford New York Oxford University Press 1993-1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T10.01 H236 v.4 e.1 ) e outros locais(Acessar)
This feature requires javascript