close
1.

図書

図書
Hiroaki Kitano, ed
出版情報: Berlin ; Tokyo : Springer, c1998  xiv, 520 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1395 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
José Mira, Angel Pasqual del Pobil, Moonis Ali (eds.)
出版情報: Berlin : Springer, c1998  xxiv, 887 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1415 . Lecture notes in artificial intelligence . 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert systems, IEA-98-AIE, Benicàssim, Castellón, Spain, June 1-4, 1998 : proceedings ; vol. 1
所蔵情報: loading…
3.

図書

図書
Robert E. Mercer, Eric Neufeld (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xii, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1418 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with 10 extended abstracts were carefully reviewed and selected from a total of more than twice as many submissions
The book is divided in topical sections on planning, constraints, search and databases
applications
genetic algorithms
learning and natural language
reasoning
uncertainty
learning
The 28 revised full papers presented together with 10 extended abstracts were carefully reviewed and selected from a total of more than twice as many submissions
The book is divided in topical sections on planning, constraints, search and databases
applications
4.

図書

図書
Zbigniew W. Raś, Andrzej Skowron (eds.)
出版情報: Berlin ; New York : Springer, c1999  xii, 676 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1609 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Ibrahim Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali (eds.)
出版情報: Berlin : Springer, c1999  xix, 899 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1611 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Formalisations of Uncertain Reasoning / F. S. C. da Silva
Agent-Oriented Software Engineering / N. R. Jennings
A Unified-Metaheuristic Framework / I. H. Osman
Fuzzy Systems
A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems / S.-L. Wang ; Y.-H. Wu
Modeling Fuzzy Sets Using Object-Oriented Techniques / G. Y. C. Wong ; H. W. Chun
A Fuzzy Approach to Map Building / H. Zreak ; M. Alwan ; M. Khaddour
Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems / D. Pacholczyk
Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model / R. Sendelj ; Yugoslav Navy ; V. Devedzic
Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model / H.-K. Fan ; C. Chen ; C.-M. Hong
A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain / T.-P. Hong ; T.-T. Wang
Neural Networks
Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic / Y. Dakroury ; A. A. El Al ; O. Badr
A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications / D. Manrique ; J. Ríos ; A. Vilarrasa
Study of Weight Importance in Neural Networks Working With Colineal Variables in Regression Problems / A. Martínez ; J. Castellanos ; C. Hernández ; F. de Mingo
The Parallel Path Artificial Micronet / G. Murray ; T. Hendtlass ; J. Podlena
Genetic Algorithms
A Generation Method to Produce GA with GP Capabilities for Signal Modeling / A. Ezzat ; N. Inuzuka ; H. Itoh
Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation / M. Rocha ; J. Neves
Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization / M. El-Beltagy ; A. Keane
A Genetic Algorithm for Visualizing Networks of Association Rules / F. Guillet ; P. Kuntz ; R. Lehn
Genetic Algorithms in Solving Graph Partitioning Problem / S. Shazely ; H. Baraka ; A. Abdel-Wahab ; H. Kamal
Application of Genetic Algorithms in Power System Stabilizer Design / A. I. Baaleh ; A. F. Sakr
A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain / E. B. Mansilla ; A. Mekaouche ; J. M. G. Guiu
Search
A New Gradient-Based Search Method: Grey-Gradient Search Method / C.-M. Chen ; H. Fan
An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts / D. A. L. Piriyakumar ; P. Levi
Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems / A. R. Appas ; A. M. Darwish ; A. El-Dessouki ; S. I. Shaheen
Reasoning
Cost-Based Abduction Using Binary Decision Diagrams / S. Kato ; S. Oono ; H. Seki
New Directions in Debugging Hardware Designs / F. Wotawa
Reasoning with Diagrams: The Semantics of Arrows / G. Ligozat
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis / H. Milde ; L. Hotz ; J. Kahl ; B. Neumann ; S. Wessel
Expert Systems and Applications
WebMaster: Knowledge-Based Verification of Web-Pages / F. van Harmelen ; J. van der Meer
Towards Task-Oriented User Support for Failure Mode and Effects Analysis / G. Peter ; D. Rösner
Incremental and Integrated Evaluation of Rule-Based Systems / P. G. Chander ; R. Shinghal ; T. Radhakrishnan
A Model of Reflection for Developing AI Applications / M. H. Ibrahim ; F. A. Cummins
A Compositional Process Control Model and Its Application to Biochemical Processes / C. M. Jonker ; J. Treur
Visual and Textual Knowledge Representation in DESIRE / R. Kremer ; P. van Leeuwen ; D. Pan
Verification of Knowledge Based-Systems for Power System Control Centers / J. Santos ; L. Faria ; C. Ramos ; Z. A. Vale ; A. Marques
Self-Crossover and Its Application to the Traveling Salesman Problem / M. K. Kundu ; N. R. Pal
Enabling Client-Server Explanation Facilities in a Real Time Expert System / N. Malheiro
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks / P. Fröhlich ; W. Nejdl ; M. Schroeder ; C. Damásio ; L. M. Pereira
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge / V. Y. Terziyan ; S. Puuronen
Alex: A Computer Aid for Treating Alexithymia / R. N. Smith ; W. J. Frawley
Case-Base Reasoning
Mechanizing Proofs of Integrity Constraints in the Situation Calculus / E. Kounalis ; P. Urso
Using Cases for Process Modelling: An Example from the Water Supply Industry / G. Saward
Financial Analysis by Case Based Reasoning / E. Aïmeur ; K. Boudina
Training of the Learner in Criminal Law by Case-Based Reasoning / S. Bélanger ; M. A. Thibodeau
Intelligent Agents
Constraint-Based Agent Specification for a Multi-Agent Stock Brokering System / B. H. Ooi ; A. K. Ghose
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents / C. Piccardi
Information Brokering Agents in Intelligent Websites
Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing / T. Gavrilova ; A. Voinov ; I. Lescheva
A Multi-agent Solution for Advanced Call Centers / B. Bauer ; C. Klein
A Multi-agent System for Emergency Management in Floods / J. Cuena ; M. Molina
Problem-Solving Frameworks for Sensible Agents in an Electronic Market / K. S. Barber ; A. Goel ; D. Han ; J. Kim ; T. H. Liu ; C. E. Martin ; R. McKay
A Model for Distributed Multi-agent Traffic Control / C. Bel ; W. van Stokkum
Smart Equipment Creating New Electronic Business Opportunities / R. Gustavsson
Distributed AI
Agent Oriented Conceptual Modeling of Parallel Workflow Systems / S. Aknine ; S. Pinson
A Distributed Algorithm as Mobile Agents / D. Deugo
Why Ontologies are Not Enough for Knowledge Sharing / W. Weber ; J. Agustí ; D. Robertson ; A. C. V. de Melo
Pattern Recognition and Vision
A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems / K. Mostafa ; I. Farag
Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database / M. E. Ragab ; E. M. Abed
Using Labeled and Unlabeled Data to Train a Multilayer Perceptron for Color Classification in Graphic Arts / A. Verikas ; A. Gelzinis ; K. Malmqvist
A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components / M.A. Rodrigues ; Y. Liu
A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation / E. Zangrouba ; T. Hedidar ; A. Jaoua
SAPIA: A Model Based Satellite Image Interpretation System / F. Ramparany ; F. Sandt
Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images / S. Shah ; J.K. Aggarwal
Machine Learning
Air-Crew Scheduling through Abduction / A. C. Kakas ; A. Michael
Unfold/Fold Inductive Proof: An Extension of a Folding Technique / R. Salem ; K. Bsaïes
On Solving the Capacity Assignment Problem Using Continuous Learning Automata / B. J. Oommen ; T. D. Roberts
Supervised Parameter Optimization of a Modular Machine Learning System / M. Link ; M. Ishitobi
Non-supervised Rectangular Classification of Binary Data / H. M. Sellami
Synthesizing Intelligent Behavior: A Learning Paradigm / M. S. Hamdi ; K. Kaiser
Automatic Input-output Configuration and Generation of ANN-based Process Models and Their Application in Machining / Z. J. Viharos ; L. Monostori
DCL: A Disjunctive Learning Algorithm for Rule Extraction / S. M. Abu-Soud ; M. R. Tolun
Temporal Reasoning
Modeling and Simulating Breakdown Situation in Telecommunication Networks / A. Osmani
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources / H. Kaikova
Introduction to Reasoning About Cyclic Intervals
A Multiple-Platform Decentralized Route Finding System / H. W. Guesgen ; D. Mitra
Heuristic Selection of Aggregated-Temporal Data for Knowledge Discovery / H. Hamilton ; D. J. Randall
Knowledge Representation
Architectural Knowledge Representation Using the Galois Lattice Technique / D. Chitchian ; S. Sariyildiz ; H. Koppelaar
Automated Solving of the DEDS Control Problems / F. Čapkovič
A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra
Unified Chromosome Representation for Large Scale Problems / H. H. Baraka ; S. Eid ; A. H. AbdelWahab
A Novel Framework for Hybrid Intelligent Systems / H. A. Hefny ; A. Abdel Wahab ; A. A. Bahnasawi
Planning and Scheduling
The Design of a Multi-tiered Bus Timetabling System / S. H. C. Chan
Scheduling of a Production Unit via Critical Block Neighborhood Structures / P. van Bael ; M. Rijckaert
An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT / N. Tomii ; L. J. Zhou ; N. Fukumura
Tutoring and Manufacturing Systems
Designing an Intelligent Tutoring Systems in the Domain of Formal Languages / D. Popovic
Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks / E. El-Sheikh ; J. Sticklen
An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems / C. Schaefer ; O. Lopez
The Economic Benefits of Internet-Based Business Operations in Manufacturing / E. Gide ; F. Soliman
CNC Manufacturing of Complex Surfaces Based on Solid Modeling / A. Elkeran ; M. A. El-baz
Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case / T. El-Fouly ; N. Zerhoini ; M. Ferney ; A. El Moundi
Intelligent Software Engineering
A Formal Approach to Lingware Development / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou
A Formal Knowledge Level Process Model of Requirements Engineering / D. E. Herlea ; N. J. E. Wijngaards
Pieces of Mind: Component-Based Software Development of Artificial Intelligence / J. Cakic
CNC Automatic Programming System for Wire-EDM / T. T. El-Midany ; H. T. Radwan
Index
Invited Talks
Formalisations of Uncertain Reasoning / F. S. C. da Silva
Agent-Oriented Software Engineering / N. R. Jennings
6.

図書

図書
Abdul Sattar, (ed.)
出版情報: Berlin ; New York : Springer Verlag, c1997  xvii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1342 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Sam Steel, Rachid Alami, (eds.)
出版情報: Berlin : Springer, c1997  ix, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1348 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Fausto Giunchiglia (ed.)
出版情報: Berlin : Springer, c1998  ix, 502 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1480 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn
An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise
An Extension of SATPLAN for Planning with Constraints / M. Baioletti ; S. Marcugini ; A. Milani
Reasoning about Generalized Intervals / P. Balbiani ; J.-F. Condotta ; L. Fariñas del Cerro ; A. Osnani
Formalizing Belief Reports - The Approach and a Case Study / M. Benerecetti ; P. Bouquet ; C. Ghidini
Extension Calculus and Query Answering in Prioritized Default Logic / F. Benhammadi ; P. Nicolas ; T. Schaub
Study of Symmetry in Qualitative Temporal Interval Networks / B. Benhamou ; A. Isli
A Blackboard Architecture for Guiding Interactive Proofs / C. Benzmüller ; V. Sorge
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach / B. Bessant ; E. Grégoire ; P. Marquis ; L. Sa¿is
Modelling Uncertainty with Kripke's Semantics / V. Boeva ; E. Tsiporkova ; B. De Baets
Using Linear Temporal Logic to Model and Solve Planning Problems / S. Cerrito ; M. Cialdea Mayer
Tailorable Interactive Agents for Scheduling Meetings / A. Cesta ; M. Collia ; D. D'Aloisi
Planning Diagonalization Proofs / L. Cheikhrouhou ; J. Siekmann
Theories and Proofs in Fault Diagnosis / I. Cicekli
Nonmonotonic Reasoning under Uncertain Evidence / C. Delrieux
Multicontext Systems with Importing Contexts / C. Dichev
Planning via Model Checking in Deterministic Domains: Preliminary
Report / M. Di Manzo ; E. Giunchiglia ; S. Ruffino
Acquisition of Useful Lemma-Knowledge in Automated Reasoning / J. Draeger
Constructing Translations between Individual Vocabularies in Multi-Agent Systems / R.M. van Eijk ; F.S. de Boer ; W. van der Hoek ; J.-J.Ch. Meyer
Belief Reconstruction in Cooperative Dialogues / A. Herzig ; D. Longin ; O. Rifi
Model Theoretic Semantics for Information Integration / L. Serafini
A Classification Learning Algorithm Robust to Irrelevant Features / H.A. Güvenir
Knowledge Assimilation and Proof Restoration Through the Addition of Goals / H. Hayashi
Learning Multiple Predicates / A. Kakas ; E. Lamma ; F. Riguzzi
Modal Reasoning and Rough Set Theory / C.-J. Liau
Overcoming Incomplete Information in NLP Systems - Verb
Subcategorization / J.G. Pereira Lopes ; J. Balsa
A Framework for Inductive Learning Based on Subsumption Lattices / Z. Markov ; N. Pelov
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks / A. Nachev ; N. Griffith ; A. Gerov
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems / D. Pacholczyk
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework / R. Sebastiani ; A. Villafiorita
Version Space Retraction with Instance-Based Boundary Sets / E.N. Smirnov ; P.J. Braspenning
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming / I. Stéphan
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies / T. Tahseen ; D.F. Gillies
Abstraction as a Form of Elaboration Tolerance
System Architecture of a Distributed Expert System for the Management of a National Data Network / I. Vlahavas ; N. Bassiliades ; I. Sakellariou ; M. Molina ; S. Ossowski ; I. Futo ; Z. Pasztor ; J. Szeredi ; I. Velbitskiy ; S. Yershov ; S. Golub ; I. Netesin
Strategy Selection for Automated Theorem Proving / A. Wolf
An Agent System for Intelligent Situation Assesment / Q. Yang ; I. Abi-Zeid ; L. Lamontagne
Knowledge Granularity and Action Selection / Y. Ye ; J.K. Tsotsos
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning / Z. Zhang
Author Index
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn
An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise
9.

図書

図書
Otthein Herzog, Andreas Günter (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1504 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Helder Coelho (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  xiii, 420 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1484 . Lecture notes in artificial intelligence
所蔵情報: loading…
11.

図書

図書
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998  xi, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
Representing and Reasoning with Context / Richmond H. Thomason
Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning Components / Alessandro Armando ; Silvio Ranise
Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin / Lawrence C. Paulson
Automatic Generation of Epsilon-Delta Proofs of Continuity / Michael Beeson
Finite Model Search for Equational Theories (FMSET) / Belaid Benhamou ; Laurent Heocque
Specification and Integration of Theorem Provers and Computer Algebra Systems / P.G.Bertoli ; J.Calmet ; F. Giunchiglia ; K.Homann
Colette, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
An Evolutionary Algorithm for Welding Task Sequence Ordering / Martin Damsbo ; Peder Thusgaard Ruhoff
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis / Uwe Egli ; Stephan Schmitt
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving / Stephane Fevre ; Dongming Wang
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer / Dirk Fuchs
Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract) / Ken-etsu Fujita
Inference and Verification in Medical Appropriateness Criteria using Grobner Bases / L.M. Laita ; E. Roanes-Lozano ; V. Maojo
The Unification Problem for One Relation Thue Systems / Christopher Lynch
Basic Completion with E-cycle Simplification / Christelle Scharff
SoleX: a Domain-Independent Scheme for Constraint Solver Extension / Eric Monfroy ; Christophe Ringeissen
Optimising Propositional Modal Satisfiability for Description Logic Subsumption / Ian Horrocks ; Peter F. Patel-Schneider
Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka / Christoph Kreitz
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems / Zbigniew W. Ras ; Jiyun Zheng
Alltypes: An ALgebraic Language and Type System / Fritz Schwarz
Real Parametrization of Algebraic Curves / J. Rafael Sendra ; Franz Winkler
Non-Clausal Reasoning with Propositional Definite Theories / Zbigniew Stachniak
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
12.

図書

図書
Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
出版情報: Berlin : Springer, c1998  x, 390 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1489 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書

図書
Grigoris Antoniou, John Slaney (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 332 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1502 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
Norman Foo (ed.)
出版情報: Berlin : Springer, c1999  xv, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1747 . Lecture notes in aritificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
Unsupervised Learning in Metagame / Graham E. Farr ; David R. Powell
Neural Nets
A Neural Networks Based Approach for Fast Mining Characteristic Rules / Monzurur Rahman ; Xinghuo Yu ; Bala Srinivasan
FANRE: A Fast Adaptive Neural Regression Estimator / Zhihua Zhou ; Shifu Chen ; Zhaoqian Chen
Neural Networks for Defuzification of Fuzzy Rules: An Application in Macroeconomic Forecasting / Raouf Veliev ; Alex Rubinov ; Andrew Stranieri
Knowledge Representation I
Semantic Integration of Databases Using Linguistic Knowledge / Jeong-Oog Lee ; Doo-Kwon Baik
Representing `Just Invalid' Knowledge / John Debenham
Maximising Expected Utility for Behaviour Arbitration / Julio K. Rosenblatt
Natural Language
Generating Natural Language Descriptions of Project Plans / Margaret Wasko ; Robert Dale
Categorizing Unknown Words: A Decision Tree-Based Misspelling Identifier / Janine Toole
Sync/Trans: Simultaneous Machine Interpretation between English and Japanese / Shigeki Matsubara ; Katsuhiko Toyama ; Yasuyoshi Inagaki
Belief Revision
Minimal Belief Change and Pareto-Optimality / Oliver Schulte
Basic Infobase Change / Thomas Meyer
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology / Wei Liu ; Mary-Anne Williams
Adaptive Algorithms
Genetic Programming for Multiple Class Object Detection / Mengjie Zhang ; Victor Ciesielski
A Simulated Annealing-Based Learning Algorithm for Boolean DNF / Andreas Albrecht ; Kathleen Steinhöfel
Mutant: A Genetic Learning System / Stéphane Calderoni ; Pierre Marcenac
Automated Reasoning
Computing Least Common Subsumers in Expressive Description Logics / Thomas Mantay
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover / Gernot Stenz ; Andreas Wolf
PTTP+GLiDeS: Guiding Linear Deductions with Semantics / Marianne Brown ; Geoff Sutcliffe
Neural Learning
Neural Network Learning Using Low-Discrepancy Sequence / Ivan Jordanov ; Robert Brown
An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles / Robert Cox ; David Clark ; Alice Richardson
Neurofuzzy Learning of Mobile Robot Behaviours / Richard Willgoss ; Javaid Iqbal
Knowledge Representation II
<$>\cal {INDU}<$>: An Interval & Duration Network / Arun K. Pujari ; G. Vijaya Kumari ; Abdul Sattar
A Logical Framework for Inductive Inference and Its Rationality / Wei Li
Semantics for Pollock's Defeasible Reasoning / Quoc Bao Vo ; Joe Thurbon
Heuristics
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching / Ian Horrocks ; Lin Padgham ; Laura Thomson
An Examination of Probabilistic Value-Ordering Heuristics / Matt Vernooy ; William S. Havens
Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains / Masahito Kurihara ; Hisashi Kondo
Knowledge Representation III
Abduction without Minimality / Abhaya C. Nayak ; Norman Y. Foo
Causal Propagation Semantics - A Study / Mikhail Prokopenko ; Maurice Pagnucco ; Pavlos Peppas ; Abhaya Nayak
Arc Weights for Approximate Evaluation of Dynamic Belief Networks / Nathalie Jitnah ; Ann E. Nicholson
Machine Learning II
Finding Cutpoints in Noisy Binary Sequences - A Revised Empirical Evaluation / Murlikrishna Viswanathan ; Chris S. Wallace ; David L. Dowe ; Kevin B. Korb
<$>\cal {Q}<$>-Learning in Continuous State and Action Spaces / Chris Gaskett ; David Wettergreen ; Alexander Zelinsky
Applications
On Understanding Global Behavior of Teams in Robot Soccer Simulators / Victor Korotkich ; Noel Patson
Visual Human-Machine Interaction
Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem / Edmund Burke ; Graham Kendall
Poster Papers (Extended Summary)
Fisheye Matching: Viewpoint-Sensitive Feature Generation Based on Concept Structure / Yasufumi Takama ; Mitsuru Ishizuka
A Procedural Approach for Rule Based Update / Sai Kiran Lakkaraju ; Yan Zhang
Learning Logic Programs with Local Variables from Positive Examples / M.R.K. Krishna Rao
Estimating Problem Value in an Intelligent Tutoring System Using Bayesian Networks / Michael Mayo ; Antonija Mitrovic
Evaluation of Number-Kanji Translation Method of Non-Segmented Japanese Sentences Using Inductive Learning with Degenerated Input / Masafumi Matsuhara ; Kenji Araki ; Yoshio Momouchi ; Koji Tochinai
A Serving Agent for Integrating Soft Computing and Software Agents / Zili Zhang ; Chengqi Zhang
A Visual Geographic Knowledge Classification and Its Relationship to the KADS Model / Paul Crowther
A Constraint Optimization Framework for MultiAgent Anytime Scheduling / Bill Havens ; Randy Goebel ; Jean Berger ; René Proulx
Evolving Modular Neural Networks Using Rule-Based Genetic Programming / Bret Talko ; Linda Stern ; Les Kitchen
A Trajectory Approach to Causality / Victor Jauregui ; Norman Foo
Bayesian Reasoning for Diagnosing Student Misconceptions about Decimals / Elise Dettmann ; Ann Nicholson ; Liz Sonenberg ; Kaye Stacey ; Vicki Steinle
Reconsidering Fitness and Convergence in Co-Evolutionary Design / Mary Lou Maher ; Peter Xianghua Wu
A Proposal of Generating Artistic Japanese Calligraphic Fonts / Tsuyoshi Nakamura ; Lifeng He ; Hidenori Itoh
Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling / Wen-Gong Chen ; Chen-Sen Ouyang ; Shie-Jue Lee
Knowledge-Based Communication Processes in Building Design / Wei Dai ; Robin Drogemuller
Information-Based Cooperation in Multiple Agent Systems / Yuefeng Li
Author Index
Machine Learning I
Generating Rule Sets from Model Trees / Geoffrey Holmes ; Mark Hall ; Eibe Frank
Classifying and Learning Cricket Shots Using Camera Motion / Mihai Lazarescu ; Svetha Venkatesh ; Geoff West
15.

図書

図書
Hing-Yan Lee, Hiroshi Motoda (eds.)
出版情報: Berlin : Springer, c1998  xix, 646 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1531 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書

図書
Setsuo Arikawa, Hiroshi Motoda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1532 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
On Classification and Regression / Shinichi Morishita
Knowledge Discovery in Biological and Chemical Domains / Stephen Muggleton
Random Case Analysis of Inductive Learning Algorithms / Kuniaki Uehara
On Variants of Iterative Learning / Steffen Lange ; Gunter Grieser
Uniform Characterizations of Polynomial-Query Learnabilities / Yosuke Hayashi ; Satoshi Matsumoto ; Ayumi Shinohara ; Masayuki Takeda
Inferring a Rewriting System from Examples / Yasuhito Mukouchi ; Ikuyo Yamaue ; Masako Sato
Toward Genomic Hypothesis Creator: View Designer for Discovery / Osamu Maruyama ; Tomoyuki Uchida ; Takayoshi Shoudai ; Satoru Miyano
Visualization of Community Knowledge Interaction Using Associative Rep-resentation / Takashi Hirata ; Harumi Maeda ; Toyoaki Nishida
Discovering Characteristic Patterns from Collections of Classical Japanese Poems / Mayumi Yamasaki ; Tomoko Fukuda ; Ichirō Nanri
Approximate Retrieval of High-dimensional Data by Spatial Indexing / Takeshi Shinohara ; Jiyuan An ; Hiroki Ishizaka
Practical Algorithms for On-line Sampling / Carlos Domingo ; Ricard Gavaldà ; Osamu Watanabe
Discovering Conceptual Differences among People from Cases / Tetsuya Yoshida ; Teruyuki Kondo
Discovery of Unknown Causes from Unexpected Co-occurrence of Inferred Known Causes / Yukio Ohsawa ; Masahiko Yachida
Refining Search Expression by Discovering Hidden User's Interests / Wataru Sunayama ; Yuji Nomura
The Discovery of Rules from Brain Images / Hiroshi Tsukimoto ; Chie Morita
Instance Guided Rule Induction / Nobuhiro Yugami ; Yuiko Ohta ; Seishi Okamoto
Learning with Globally Predictive Tests / Michael J. Pazzani
Query-Initiated Discovery of Interesting Association Rules / Jongpil Yoon ; Larry Kerschberg
Boosting Cost-Sensitive Trees / Kai Ming Ting ; Zijian Zheng
On the Boosting Algorithm for Multiclass Functions based on Information-Theoretic Criterion for Approximation / Eiji Takimoto ; Akira Maruoka
The Continuous-Function Attribute Class in Decision Tree Induction / Michael Boronowsky
Feature Transformation and Multivariate Decision Tree Induction / Huan Liu ; Rudy Setiono
Formal Logics of Discovery and Hypothesis Formation by Machine / Petr Hájek ; Martin Holeňa
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses / Kimihito Ito ; Akihiro Yamamoto
On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion / Koichi Furukawa
Biochemical Knowledge Discovery Using Inductive Logic Programming / Ashwin Srinivasan ; R.D. King ; M.J.E. Sternberg
Computational Characteristics of Law Discovery Using Neural Networks / Ryohei Nakano ; Kazumi Saito
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems / Takashi Washio ; Hiroshi Motoda
Discovery of Differential Equations from Numerical Data / Koichi Niijima ; Hidemi Uchida ; Eiju Hirowatari ; Setsuo Arikawa
Automatic Transaction of Signal via Statistical Modeling / Genshiro Kitagawa ; Tomoyuki Higuchi
Empirical Comparison of Competing Query Learning Methods / Naoki Abe ; Hiroshi Mamitsuka ; Atsuyoshi Nakamura
Abstracting a Human's Decision Process by PRISM / Yoshitaka Kameya ; Taisuke Sato
Mechanisms of Self-Organized Renormalizability / Hiroshi H. Hasegawa ; Yoshikazu Ohtaki
An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases / Hiroki Arimura ; Atsushi Wataki ; Ryoichi Fujino ; Shinichi Shimozono
A Similarity Finding System under a Goal Concept / Makoto Haraguchi ; Tokuyasu Kakuta
Parallel Induction Algorithms for Large Samples / Tohgoroh Matsui ; Nobuhiro Inuzuka ; Hirohisa Seki ; Hidenori Itoh
Toward Effective Knowledge Acquisition with First Order Logic Induction / Xiaolong Zhang ; Tetsuo Narita ; Masayuki Numao
A Logic of Discovery / Jānis Bārzdiņ&sbreve; ; Rūsiņš Freivalds ; Carl H. Smith
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery / Jingde Cheng
Four-Fold Table Calculi for Discovery Science / Jan Ranch
Parallel Organization Algorithm for Graph Matching and Subgraph Isomorphism Detection / Yoshinori Nakanishi
Visualizing Semantic Clusters in the Internet Information Space / Etsuya Shibayama ; Jun Yabe ; Shin Takahashi ; Mitsuru Matsuda
KN on ZK - Knowledge Network on Network Note Pad ZK / Sachio Hirokawa ; Tsuyoshi Taguchi
Virtual Integration of Distributed Database by Multiple Agents / Takao Mohri ; Yuji Takada
Development of Some Methods and Tools for Discovering ConceptualKnowledge / Tu Bao Ho ; Trong Dung Nguyen ; Ngoc Binh Nguyen ; Takuya Ito
Reducing the Dimensions of Attributes by Selection and Aggregation / Akiko Aizawa
On the Number of Clusters in Cluster Analysis / Atsuhiro Takasu
Geometric Clustering Models in Feature Space / Mary Inaba ; Hiroshi Imai
Efficient Mining of Association Rules with Item Constraints / Shin-Mu Tseng
GDT-RS: A Probabilistic Rough Induction Approach / Juzhen Dong ; Ning Zhong ; Setsuo Ohsuga
A Constructive Fuzzy NGE Learning System / Maria do Carmo Nicoletti ; Flavia Oliveira Santos
Composing Inductive Applications Using Ontologies for Machine Learning / Akihiro Suyama ; Naoya Negishi ; Takahira Yamagchi
TDDA, a Data Mining Tool for Text Databases: A Case History in a Lung Cancer Text Database / Jeffrey A. Goldman ; Wesley Chu ; D. Stott Parker ; Robert M. Goldman
Crowww Classification and Retrieval on WWW / Phyllis Anwyl ; Atsushi Itoh ; Ayako Oono
Extracting Knowledge Patterns from Ticket Data / Maria de Fatima Rodrigues ; Carlos Ramos ; Pedro Rangel Henriques
Automatic Acquisition of Phoneme Models and Its Application to Phoneme Labeling of a Large Size of Speech Corpus / Motoyuki Suzuki ; Teruhiko Maeda ; Hiroki Mori ; Shozo Makino
An Experimental Agricultural Data Mining System / Kazunori Matsumoto
Data Mining Oriented System for Business Applications / Yukinobu Hamuro ; Naoki Katoh ; Katsutoshi Yada
Moving Object Recognition Using Wavelets and Learning of Eigenspaces / Shigeru Takano ; Teruya Minamoto
Search for New Methods for Assignment of Complex Molecular Spectra and a Program Package for Simulation of Molecular Spectra / Takehiko Tanaka ; Takashi Imajo
Computer Aided Hypotheses Based Drug Discovery Using CATALYSTRTM and PC GUHA Software Systems (A Case Study of Catechol Analogs Against Malignant Melanoma) / Jaroslava Halova ; Oldrich Strouf ; Premysl Zak ; Anna Sochorova ; Noritaka Uchida ; Hiroshi Okimoto ; Tomoaki Yuzuri ; Kazuhisa Sakakibara ; Minora Hirota
Knowledge Discovery through the Navigation Inside the Human Body / Toyofumi Saito ; Jun-ichiro Toriwaki ; Kensaku Mori
Application of Discovery Science to Solar-Terrestrial Physics / Tohru Araki ; Toshihiko Iyemori ; Masahito Nose ; Takaaki Wada ; Yoshifumi Futaana ; Genta Ueno ; Toyohisa Kamei ; Akinori Saito
Incorporating a Navigation Tool into a WWW Browser / Hiroshi Sawai ; Hayato Ohwada ; Fumio Mizoguchi
Author Index
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
17.

図書

図書
Minoru Asada, Hiroaki Kitano (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1604 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Overview and Award Papers
Overview Paper
Overview of RoboCup-98 / Minoru Asada ; Manuela Veloso ; Milind Tambe ; Itsuki Noda ; Hiroaki Kitano ; Gerhard K. Kraetzschmar
Scientific Challenge Award Papers
Character Design for Soccer Commentary / Binsted ; Sean Luke
Automatic Soccer Commentary and RoboCup / Hitoshi Malsubara ; Ian Frank ; Kutniko Tanaka-Ishii ; Hideyuki Nakashima ; Kôili Hashida
Rocco: A RoboCup Soccer Commentator System / Dirk Voelz ; Elisabeth André ; Gerd Herzog ; Thomas Rist
Champion Teams
The CMUnited-98 Champion Simulator Team / Peter Stone ; Patrick Riley
The CMUnited-98 Champion Small-Robot Team / Michael Bowling ; Sorin Achin ; Kwun Han
The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills / Jens-Steffen Gutmann ; Wolfgang Hatzack ; Immanuel Herrmann ; Bernhard Nebel ; Frank Rittinger ; Augustinus Topor ; Thilo Weigel ; Bruno Welsch
Technical Papers
Infrastructure
The Survey of RoboCup '98: Who, How and Why / Igor M. Verner
How to make a Challenging AI Course Enjoyable Using the RoboCup Soccer Simulation System / Silvia Coradeschi ; Jacek Malec
A Quadruped Robot for RoboCup Legged Robot Challenge in Paris '98 / Masahiro Fujita ; Stephane Zrehen
Robot Soccer with LEGO Mindstorms / Henrik Hautop Lund ; Luigi Pagliarini
Basic Skill
Ball-Receiving Skill Dependent on Centering in Soccer Simulation Games / Kazuaki Maeda ; Akinori Kohkeisu ; Tomoichi Takahashi
The Priority/Confidence Model as a Framework for Soccer Agents / Jan Lubbers ; Rogier R. Spaans
A User Oriented System for Developing Behavior Based Agents / Paul Scerri ; Anders Törne
Teamwork and Evaluation
From Play Recognition to Good Plays Detection - Reviewing RoboCup 97 Teams from Logfile / Tadashi Naruse
Inductive Verification and Validation of the KULRoT RoboCup Team / Kurt Driessens ; Nico Jacobs ; Nathalie Cossement ; Patrick Monsieurs ; Luc De Raedt
Layered, Resource-Adaptive Agents in the RoboCup Simulation / Christoph G. Jung
A Description-Processing System for Soccer Agents / Nobuhiro Ito ; Kouichi Nakagawa ; Xiaoyong Du ; Naohiro Ishii
Using an Explicit Teamwork Model and Learning in RoboCup / Stacy Marsella ; Jafar Adibi ; Yaser Al-Onaizan ; Ali Erdem ; Randall Hill ; Gal A.Kaminka ; Zhun Qiu
A Hybrid Agent Model, Mixing Short Term and Long Term Memory Abilities. An Application to RoboCup Competition / Fausto Torlerolo ; Chaierine Garbay
Learning and Evolution
Team-Partitioned, Opaque-Transition Reinforcement Learning
Cooperative Behavior Acquisition in a Multiple Mobile Robot Environment by Co-evolution / Eiji Uchibe ; Masateru Nakamura
Real Robot Perception, Mechanism, and Integration
Integrated Reactive Soccer Agents / Wei-min Sken ; liogelio Adobbati ; Srini Lanksham ; Hadi Moradi ; BenhamSalevii ; Sheila Tejada
An Innovative Approach to Vision, Localization and Orientation Using Omnidirectional RadialSignature Analysis / Andrew R. Price ; Trevor Jones
An Application ol Vision-Based Learning in RoboCup for a Real Robot with an Omnidirectional Vision System and the Team Description of Osaka University "Trackies" / Sho'ji Suzuki ; Tatsunori Kalo ; Hiroshi Ishizuka ; Yasutake Takahashi
The RoboCup-NAIST: A Cheap Multisensor-Based Mobile Robot with On-Line Visual Learning Capability / Takayuki Nakarnura ; Kazunori Terada ; Atsushi Shibata ; Hideaki Takeda
Team Description
Simulation
Andhill-98:A RoboCup Team which Reinforces Positioning with Observation / Tomohito Andou
Evolving Team Darwin United / David Andre ; Astro Teller
UBU: Utility-Based Uncertainty Handling in Synthetic Soccer / Magnus Boman ; Helena Aberg ; Asa Ahman ; Jens Andreasen ; Mats Danielson ; Carl-Gustaf Jansson ; Johan Kummeneje ; Harko Verhagen ; Johan Walter
AT Humboldt in RoboCup-98 / Pascal Gugenberger ; Jan Wendler ; Kay Schröter ; Hans-Dieter Burkhard
Individual Tactical Play and Pass with Communication between Players -Team Descriptions of Team Miya2- / Harukazu Jgarashi ; Shougo Kosue ; Masatoshi Miyahara
UKSC-team: A Cognitive Multi-Agent Approach to the RoboCup'98 Simulator League / Auguslo Cesar Pinto Lourciro da Costa ; Guilherme Bittencourt
Description of Team Erika / Takeshi Matsumura
Getting Global Performance through Local Information in PaSo-Team'98 / E. Pagello ; F. Montesello ; F. Garelli ; F. Candon ; P. Chioetto ; S. Griggio
A Direct Approach to Robot Soccer Agents: Description for the Team MAINZ ROLLING BRAINS Simulation League of RoboCup'98 / Daniel Polani ; Stefan Weber ; Thomas Ulhmann
CAT Finland: Executing Primitive Tasks in Parallel / Jukka Riekki ; Jussi Pajala ; Antti Tikanmki ; Juha Rning
A Multi-level Constraint-Based Controller for the Dynamo98 Robot Soccer Team / Yu Zhang ; Alan K. Mackworth
Real Robot Small-Size League
The small league RoboCup team of the VUB AI-Lab / Andreas Birk ; Thomas Walle ; Tony Belpaeme ; Johan Parent ; Tom De Vlaminck ; Holgcr Kenn
CUPS Glory - Soccer Robots with Local Intelligence / Thomas Braunl
The Cambridge University Robot Football Team Description / A. Rowstron ; B. Bradshaw ; D. Crosby ; T. Edmonds ; S. Hodges ; A. Hopper ; S. Lloyd ; J.Wang ; S. Wray
UQ RoboRoos: Preliminary Results for a Robot Soccer Team / Gordon Wyeth ; Brett Browning ; Ashley Tews
Real Robot Middle-Size League
ISocRob - Team Description / Pedro Aparicio ; Rodrigo Ventura ; Pedro Lima ; Carlos Pinto-Ferreira
Real MagiCol 98: Team Description and Results / E. González ; H. Loaiza ; A. Surez ; C. Morenoet
Agilo RoboCuppers: RoboCup Team Description / Michael Klupsch ; Maximilian Lückenhaus ; Christoph Zierl ; Ivan Laptev ; Thorsten Bandlow ; Marc Grimme ; Ignaz Kellcrcr ; Fabian Schwarzer
The Ulm Sparrows: Research into Sensorimotor Integration, Agency, Learning, and Multiagenl Cooperation / Stefan Enderle ; Stefan Sablatnoeg ; Thomas Boss ; Mark Dettinger ; Hans Braxmayer ; Heiko Folkerts ; Markus Klingler ; Dominik Maschke ; Gerd Mayrr ; Markus Mueller ; Alexander Neubeck ; Marcus Ritter ; Heiner Seidl ; Robert Woerz ; Guenther Palm
ART Azzurra Robot Team / Daniele Nardi ; Giorgio Clemente ; Enrico Pagello
Design and Evaluation of the T-Team of the University or Tuebingen for R,oboCup'98 / Michael Plagge ; Boris Diebold ; Richard Guenther ; Joern Ihlenburg ; Dirk Jung ; Keyan Zahedi ; Andreas Zell
Team Description of the GMD RoboCup-Team / A. Siegberg ; A. Bredenfeld ; H. Guenther ; H.U. Kobialka ; B. Klaassen ; U. Licht ; K.L.Paap ; P.G. Ploeger ; II. Streich ; J. Vollmer ; J. Wilberg ; R. Worst ; T. Christaller
UTTORI United: Cooperative Team Play Based on Communication / Kazutaka Yokota ; Koichi Ozaki ; Nobuyuki Watanabe ; Akihiro Matsumoto ; Daisuke Koyama ; Tatsuya Ishikawa ; Kuniaki Kawabata ; Hayato Kaelsu ; Hajime Asama
Legged robot league
Quadrrupcd Robot Guided by Enhanced Vision System and Supervision Modules / Vincent Hugel ; Patrick Bonnin ; Jean Christophe Bouramoué ; Didier Solheid ; Pierre Blazevic ; Dominique Duhaut
The CMTrio-98 Sony Legged Robot Team / William Uther
BabyTigers-98: Osaka Legged Robot Team / Noriaki Milsunaga ; Chizuko Mishima
Author Index
Overview and Award Papers
Overview Paper
Overview of RoboCup-98 / Minoru Asada ; Manuela Veloso ; Milind Tambe ; Itsuki Noda ; Hiroaki Kitano ; Gerhard K. Kraetzschmar
18.

図書

図書
Dario Floreano, Jean-Daniel Nicoud, Francesco Mondada (eds.)
出版情報: Berlin : Springer, c1999  xvi, 737 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1674 . Lecture notes in artificial intelligence
所蔵情報: loading…
19.

図書

図書
Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 310 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1701 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書

図書
Pedro Barahona, José J. Alferes (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 383 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1695 . Lecture notes in artificial intelligence
所蔵情報: loading…
21.

図書

図書
Ernesto Costa, Amilcar Cardoso (eds.)
出版情報: Berlin : Springer, 1997  xiv, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1323. Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
CBR and machine learning
constraints
intelligent tutoring
knowledge representation
multi-agent systems and DAI
nonmonotonic, qualitative and temporal reasoning, and problem solving
The volume presents 24 revised full papers and 9 revised posters selected fromn 74 submissions from various countries
Also included are two full invited papers and two abstracts of invited talks
The papers are organized in topical sections on automated reasoning and theorem proving
22.

図書

図書
Zbigniew W. Raś, Andrzej Skowron, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1325 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
Approximate reasoning, evolutionary computation
Knowledge representation and integration, learning and knowledge discovery
AI-Logics, discovery systems, data mining, query processing, etc
The 57 revised full papers were selected from a total of 117 submissions
Also included are four invited papers
Among the topics covered are intelligent information systems
23.

図書

図書
Flávio Moreira de Oliveira (ed.)
出版情報: Berlin : Springer, c1998  x, 258 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1515 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書

図書
Anca L. Ralescu, James G. Shanahan (eds.)
出版情報: Berlin : Springer, c1999  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1566 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Some Reflections on the Relationship between AI and Fuzzy Logic (FL) - A Heretical View - / Lotfi A. Zadeh
The Place of Fuzzy Logic in AI / Didier Dubois ; Henri Prade
Mass Assignment Fundamentals for Computing with Words / James F. Baldwin
A Method to Use Uncertain Domain Knowledge in the Induction of Classification Knowledge Based on ID3 / Hiroshi Narazaki ; Ichiro Shigaki
FRIL++ a Language for Object-Oriented Programming with Uncertainty / J. F. Baldwin ; T. P. Martin ; M. Vargas-Vera
Case-Based Reasoning: A Fuzzy Approach / Francesc Esteva ; Pere Garcia ; Lluís Godo ; Ramon López de Màntaras
System Identification of Fuzzy Cartesian Granules Feature Models Using Genetic Programming / Trevor P. Martin ; James G. Shanahan
Deep Fusion of Symbolic and Computational Processing for Next Generation User Interface / Shun'ichi Tano
Reasoning with Words about Geographic Information / Hans W. Guesgen
Fuzzy Morphology and Fuzzy Distances: New Definitions and Links in both Euclidean and Geodesic Cases / Isabelle Bloch
An Application of Possibility Theory Information Fusion to Satellite Image Classification / Ludovic Roux
Pattern Recognition of Strong Graphs Based on Possibilistic c-means and k-formulae Matching / L. Wendling ; J. Desachy
A Fuzzy-Neural Model for Co-ordination in Air Traffic Flow Management / Leïla Zerrouki ; Bernadette Bouchon-Meunier ; Rémy Fondacci
From Numerical Interpolation to Constructing Intelligent Behaviors / Jianwei Zhang ; Alois Knoll
A Brief Logopedics for the Data Used in a Neuro-Fuzzy Milieu / Vesa A. Niskanen
Evaluation of Fuzzy Quantified Expressions / Anca L. Ralescu ; Dan A. Ralescu ; Kaoru Hirota
Author Index
Some Reflections on the Relationship between AI and Fuzzy Logic (FL) - A Heretical View - / Lotfi A. Zadeh
The Place of Fuzzy Logic in AI / Didier Dubois ; Henri Prade
Mass Assignment Fundamentals for Computing with Words / James F. Baldwin
25.

図書

図書
Andreas Birk, John Demiris (eds.)
出版情報: Berlin ; New York : Springer, c1998  vi, 188 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1545 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Construction and Acquisition of Visual Categories / Tony Belpaeme ; Luc Steels ; Joris Van Looveren
Q-learning with Adaptive State Space Construction / Hajime Murao ; Shinzo Kitamura
Module Based Reinforcement Learning for a Real Robot / Csaba Szepesvari ; Zsolt Kalmar ; Andras Lorincz
Analysis and Design of Robot's Behavior: Towards a Methodology / Yassine Faihe ; Jean-Pierre Muller
Vision Based State Space Construction for Learning Mobile Robots in Multiagent Environments / Eiji Uchibe ; Minoru Asada ; Koh Hosoda
Transmitting Communication Skills Through Imitation in Autonomous Robots / Aude Billard ; Gillian Hayes
Continual Robot Learning with Constructive Neural Networks / Axel Grossmann ; Riccardo Poli
Robot Learning and Self-Sufficiency: What the Energy-Level Can Tell us About a Robot's Performance / Andreas Birk
Perceptual Grounding in Robots / Paul Vogt
A Learning Mobile Robot: Theory, Simulation and Practice / Nuno Chalmique Chagas ; John Hallam
Learning Complex Robot Behaviours by Evolutionary Computing with Task Decomposition / Wei-Po Lee ; Henrik H. Lund
Robot Learning Using Gate-Level Evolvable Hardware / Didier Keymeulen ; Kenji Konaka ; Masaya Iwata ; Yasuo Kuniyoshi ; Tetsuya Higuchi
The Construction and Acquisition of Visual Categories / Tony Belpaeme ; Luc Steels ; Joris Van Looveren
Q-learning with Adaptive State Space Construction / Hajime Murao ; Shinzo Kitamura
Module Based Reinforcement Learning for a Real Robot / Csaba Szepesvari ; Zsolt Kalmar ; Andras Lorincz
26.

図書

図書
Robert Trappl, Paolo Petta (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  251 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1195 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
Magnus Boman, Walter Van de Velde (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1237 . Lecture notes in artificial intelligence
所蔵情報: loading…
28.

図書

図書
David B. Leake, Enric Plaza, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 648 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1266 . Lecture notes in artificial intelligence
所蔵情報: loading…
29.

図書

図書
Gerald Sommer, Jan J. Koenderink, (eds.)
出版情報: Berlin ; New York : Springer, c1997  viii, 394 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1315
所蔵情報: loading…
30.

図書

図書
Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1303 . Lecture notes in artificial intelligence
所蔵情報: loading…
31.

図書

図書
Maurizio Lenzerini (ed.)
出版情報: Berlin : Springer-Verlag, c1997  xii, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1321 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書

図書
Trevor P. Martin, Ance L. Ralescu (eds.)
出版情報: Berlin : Springer, c1997  viii, 272 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1188 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書

図書
Günther Görz, Steffen Hölldobler, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  xi, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1137 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 379 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1138
所蔵情報: loading…
35.

図書

図書
Díbio L. Borges, Celso A.A. Kaestner, (eds.)
出版情報: Berlin ; New York : Springer, c1996  xii, 241 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1159 . Lecture notes in artificial intelligence
所蔵情報: loading…
36.

図書

図書
Ian Smith, Boi Faltings, (eds.)
出版情報: Berlin : Springer-Verlag, c1996  ix, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1168 . Lecture notes in artificial intelligence
所蔵情報: loading…
37.

図書

図書
Jacques Calmet, John A. Campbell, (eds.)
出版情報: Berlin ; New York ; tokyo : Springer-Verlag, c1995  x, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 958
所蔵情報: loading…
38.

図書

図書
Cristiano Castelfranchi, Jean-Pierre Müller (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  vi, 252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 957 . Lecture notes in artificial intelligence
所蔵情報: loading…
39.

図書

図書
Xin Yao, (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  viii, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 956 . Lecture notes in artificial intelligence
所蔵情報: loading…
40.

図書

図書
Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xii, 268 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 981 . Lecture notes in artificial intelligence
所蔵情報: loading…
41.

図書

図書
Carlos Pinto-Ferreira, Nuno J. Mamede (eds.)
出版情報: Berlin ; Tokyo : Springer, c1995  xiv, 487 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 990 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

図書

図書
Marco Gori, Giovanni Soda (eds.)
出版情報: Berlin : Springer-Verlag, c1995  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 992 . Lecture notes in artificial intelligence
所蔵情報: loading…
43.

図書

図書
Manuela Veloso, Agnar Aamodt (eds.)
出版情報: Berlin : Springer-Verlag, c1995  x, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1010 . Lecture notes in artificial intelligence
所蔵情報: loading…
44.

図書

図書
Jacques Wainer, Ariadne Carvalho (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xii, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 991 . Lecture notes in artificial intelligence
所蔵情報: loading…
45.

図書

図書
Walter Van de Velde, John W. Perram (eds.)
出版情報: Berlin : Springer-Verlag, c1996  xiv, 232 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1038 . Lecture notes in artificial intelligence
所蔵情報: loading…
46.

図書

図書
Gordon McCalla, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996  xii, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1081 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書

図書
Zbigniew W. Raś, Maciek Michalewicz, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  xi, 664 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1079 . Lecture notes in artificial intelligence
所蔵情報: loading…
48.

図書

図書
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
出版情報: Berlin : Springer, c1996  xv, 719 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
Claude Frasson, Gilles Gauthier, Alan Lesgold, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996  xvii, 688 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1086
所蔵情報: loading…
50.

図書

図書
Norman Foo, Randy Goebel, (eds.)
出版情報: Berlin : Springer, c1996  xxi, 658 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1114 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼