Refine your search

Your search returned 237 results.

Sort
Results
Practical reasoning : international conference on formal and applied practical reasoning, FAPR'96 : proceedings, Bonn, Germany, June 3-7, 1996 / edited by Dov M. Gabbay and Hans Jurgen Ohlbach

by International conference on formal and applied practical rea | .

Series: Lecture notes in computer science ; v.1085Edition: Language: English Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: 1 Call number: 681.342:517.1 Int:96.

Advances in case-based reasoning : 3rd European workshop proceedings, EWCBR-96, Lausanne, Switzerland, Nov.14-16, 1996 / edited by Ian Smith and Boi Faltings

by | .

Series: Lecture notes in computer science ; v.1168Edition: Language: English Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: 1 Call number: 681.342:517.1 Adv:3:96.

Tarkasangraha : an english translation / edited by K.P. Parab

by Bhatta, Annam | .

Series: Edition: Language: English Publication details: Varanasi ; Pious Book Pub., ; 1982Availability: Items available for loan: 1 Call number: 16 Bha.

Reasoning with logic programming

by Alferes, Jose Julio | Pereira, Luis Moniz | .

Series: Lecture notes in computer science ; v.1111Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1996Availability: Items available for loan: 1 Call number: 681.342:681.3.06 Alf.

Frame problem in artificial intelligence : proceedings of the workshop, Lawrence, Kansas, Apr. 12-15, 1987 / edited by Frank M. Brown

by | .

Series: Edition: Language: English Publication details: California ; Morgan Kaufmann Pub., ; 1987Availability: Items available for loan: 1 Call number: 681.342 Fra:87.

Readings in nonmonotonic reasoning / edited by Matthew L. Ginsberg

by | .

Series: Edition: Language: English Publication details: Los Altos ; Morgan Kaufmann Pub., ; 1987Availability: Items available for loan: 1 Call number: 681.342 Rea.

Nonmonotonic reasoning

by Antoniou, Grigoris | .

Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1997 ; 1997Availability: Items available for loan: 1 Call number: 681.342:517.1 Ant(2).

Nonmonotonic reasoning

by Antoniou, Grigoris | .

Series: Edition: Language: English Publication details: Cambridge ; MIT Press ; 1997Availability: Items available for loan: 1 Call number: 681.342:517.1 Ant.

Nonmonotonic logics : basic concepts, results, and techniques

by Schlechta, Karl | .

Series: Lecture notes in computer science ; v.1187Edition: Language: English Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: 1 Call number: 681.342:517.1 Sch.

Pages

Powered by Koha