選択資料から書架並びで前後20冊ずつを表示します。
Knowledge acquisition, modeling and management : 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999 : proceedings / Dieter Fensel, Rudi Studer (eds.)
書庫2階
Knowledge engineering and knowledge management : methods, models, and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.)
書庫2階
Problem-solving methods : understanding, description, development, and reuse / Dieter Fensel
書庫2階
XPS-99 : Knowledge-based systems : survey and future directions : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / Frank Puppe (ed.)
書庫2階
Design and development of knowledge-based systems : from life cycle to methodology / Giovanni Guida, Carlo Tasso
書庫2階
Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings / Manuela Veloso, Agnar Aamodt (eds.)
書庫2階
Case-based reasoning research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings / David B. Leake, Enric Plaza, (eds.)
書庫2階
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (eds.)
書庫2階
Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001 : proceedings / David W. Aha, Ian Watson (eds.)
書庫2階
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.)
書庫2階
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]
: hbk
書庫2階
Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards
書庫2階
Uncertain information processing in expert systems / authors, Petr Hájek, Tomáš Havránek, Radim Jiroušek
書庫2階
Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings / Ian D. Watson (ed.)
書庫2階
Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner
書庫2階
A methodology for uncertainty in knowledge-based systems / Kurt Weichselberger, Sigrid Pöhlmann
書庫2階
Concepts and characteristics of knowledge-based systems : selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, 1987 / edited by Mario Tokoro, Yuichiro Anzai, Akinori Yonezawa
書庫2階
Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991 : proceedings / F. Schmalhofer, G. Strube, Th. Wetter (eds.)
書庫2階
Developing industrial case-based reasoning applications : the INRECA methodology / Ralph Bergmann ...[et al.]
書庫2階