close
1.

図書

図書
Balázs Kégl, Guy Lapalme (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xv, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3501 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Jean-Claude Heudin (ed.)
出版情報: Berlin : Springer, c2000  xi, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1834 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
edited by D.A. Waterman, Frederick Hayes-Roth
出版情報: New York : Academic Press, c1978  xiv, 658 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
edited by W. Bibel and B. Petkoff
出版情報: Amsterdam ; New York : [Published by] North-Holland for the European Coordinating Committee for Artificial Intelligence , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 247 p. ; 24 cm
所蔵情報: loading…
5.

図書

図書
edited by Ben du Boulay and David Hogg, Luc Steels
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xiv, 682 p. ; 23 cm
所蔵情報: loading…
6.

図書

図書
Evelina Lamma, Paola Mello (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1792 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  x, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
Integrating Constraint Solving into Proof Planning / Erica Melis ; Jürgen Zimmer ; Tobias Muller
Termination of Constraint Contextual Rewriting / Alessandro Armando ; Silvio Ranise
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination / Gilles Dowek
Normal Forms and Proofs in Combined Modal and Temporal Logics / U. Hustadt ; C. Dixon ; R. A. Schmidt ; M. FisherSession 2:
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic / Paqui Lucio
Handling Differential Equations with Constraints for Decision Support / Jorge Cruz ; Pedro BarahonaSession 3:
Non-trivial Symbolic Computations in Proof Planning / Volker Sorge
Integrating Computer Algebra and Reasoning through the Type System of Aldor / Erik Poll ; Simon Thompson
Combinations of Model Checking and Theorem Proving / Tomás E. Uribe
Compiling Multi-paradigm Declarative Programs into Prolog / Sergio Antoy ; Michael HanusSession 4:
Modular Redundancy for Theorem Proving / Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio
Composing and Controlling Search in Reasoning Theories Using Mappings / Alessandro Coglio ; Fausto Giunchiglia ; José Meseguer ; Carolyn L. Talcott
Why Combined Decision Problems Are Often Intractable / Klaus U. SchulzInvited Paper:
Session 5
Congruence Closure Modulo Associativity and Commutativity / L. Bachmair ; I. V. Ramakrishnan ; A. Tiwari ; L. Vigneron
Combining Equational Theories Sharing Non-Collapse-Free Constructors / Franz Baader ; Cesare Tinelli
Comparing Expressiveness of Set Constructor Symbols / Agostino Dovier ; Carla Piazza ; Alberto Policriti
Author Index
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
8.

図書

図書
Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu (eds.)
出版情報: Berlin : Springer, c2000  xiv, 750 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1793 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
Experiments on Information Retrieval Using Case-Based Reasoning / Carlos Ramirez
A Probabilistic Exemplar-Based Model for Case-Based Reasoning / Andrés F. Rodríguez ; Sunil Vadera ; L. Enrique Sucar
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective / Ricardo P. Beausoleil
A Methodology to Parallel the Temperature Cycle in Simulated Annealing / Héctor Sanvicente Sánchez ; Juan Frausto Solís
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm / Joaquín Pérez ; Rodolfo Pazos ; Juan Frausto ; David Romero ; Laura Cruz
A Practical Approach for Logic Program Analysis and Transformation / Wamberto Weber-Vasconcelos ; Eudenia Xavier Meneses
Experiments in Answer Sets Planning / M. Balduccini ; G. Brignoli ; G.A. Lanzarone ; F. Magni ; A. Provetti
Robotics and Computer Vision
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment / F. Curatelli ; O. Mayora-Ibarra
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems / Homero V. Ríos ; Ana Luisa Solís ; Emilio Aguirre ; Lourdes Guerrero ; Joaquín Peña ; Alberto Santamaría
Detection and Tracking of Facial Features in Video Sequences / Rogério Schmidt Feris ; Teófilo Emídio de Campos ; Roberto Marcondes Cesar Junior
An Application of Behavior-Based Architecture for Mobile Robots Design / Sergio Uribe-Gutierrez ; Horacio Martinez-Alfaro
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems / Gildardo Sánchez-Ante ; Fernando Ramos
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors / Leonardo Romero ; Eduardo Morales ; Enrique Sucar
Evolving Insect Locomotion Using Cooperative Genetic Programming / Edgar E. Vallejo
On the Minimal Cooperative Attitude in Multi-robotics Systems / Giovani Gómez
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC / Raúl Leal Ascencio ; Marco Pérez Cisneros
Machine Learning
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning / Carlos Mariano
Automatic Extraction of Logic Program Transformations from Examples / Marcelo A.T. Aragão
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System / Carlos Zozaya-Gorostiza ; David R. Orellana-Moyao
A Framework for Interleaving Planning-while-Learning and Execution / Marcello Balduccini
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World / Jianjun Yan ; Naoyuki Tokuda ; Juichi Miyamichi
RuLess: A Method for the Acquisition and Simplification of Rules / Pablo R. de Buen Rodriguez ; Eduardo F. Morales
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology / Daniel Antonio Callegari ; Flávio Moreira de Oliveira
Rapid Fine-Tuning of Computationally Intensive Classifiers / Stefan Zemke
Qualitative Knowledge Acquisition for Learning Organizations / Rafael E. Bourguet ; Rogelio Soto
Applying One-Sided Selection to Unbalanced Datasets / Gustavo E.A.P.A. Batista ; Andre C.P.L.F. Carvalho ; Maria Carolina Monard
Neural Networks
NSL/ASL: Distributed Simulation of Modular Neural Networks / Alfredo Weitzenfeld ; Oscar Peguero ; Sebastián Gutiérrez
Dynamical Behavior of an Electronic Neuron of Commutation / A. Padrón ; J. L. Pérez ; A. Herrera ; R. Prieto
Training Neural Networks Using Non-standard Norms - Preliminary Results / Angel Kuri Morales
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport / Armando García-Rodríguez ; Ramón M. Rodríguez-Dagnino ; Christos Douligeris
Constructing a Query Facility for RBS Networks / Marijke F. Augusteijn ; Kelly Shaw
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training / P. Rayón Villela ; J. H. Sossa Azuela
Investigation of the One-Armed Bandit by Neural Network / Frank C. Lin ; Xiaojiang Ju
Knowledge-Based Systems
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram / B. Das ; S.K. Mitra ; S. Banerjee
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry / Benedikt Bietzker ; Oliver Karch ; Hartmut Noltemeier
Risks Inside-Out / Osvaldo Cairó ; Julio Barreiro ; Francisco Solsona
A Specificic Domain Translator Application in a Floristic Digital Library / Dulcinea Navarrete ; Rogelio Dávila ; Alfredo Sánchez
A Cooperative, Deductive and Self-Adaptive Web Authoring Environment / Dominique Decouchant ; Ana María Martínez-Enríquez
Definition of a General Conceptualization Method for the Expert Knowledge / Almudena Sierra-Alonso
Segmenting the e-Commerce Market Using the Generative Topographic Mapping / A. Vellido ; P.J.G. Lisboa ; K. Meehan
Speech Recognition and Natural Language
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation / Anna Esposito ; Eugène C. Ezin ; Carlos A. Reyes-García
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology / Ingrid Kirschning ; Nancy Aguas
Explaining Abstract Data Types with Sentential and Diagrammatic Elements / Agustin A. Araya ; Jessica H. Chu
Dialogue Structure Influence Over Anaphora Resolution / Patricio Martínez-Barco ; Manuel Palomar
Processing of Spanish Definite Descriptions / Rafael Muñoz ; Antonio Ferrández
Syntatic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation / Miguel Angel Ibarra Rivera ; Jesús Favela Vara ; Aurelio López-López
Comparison of Conceptual Graphs / Manuel Montes-y-Gómez ; Alexander Gelbukh
Multiagent Systems
Interaction of Purposeful Agents that Use Different Ontologies / Adolfo Guzmán ; Jesús Olivares ; Araceli Demetrio ; Carmen Domínguez
Multi-agent Adaptive Dynamic Programming / Snehasis Mukhopadhyay ; Joby Varghese
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning / Monica Lagazio ; Evan Govender
Intelligent Interface Agents Behavior Modeling / Jorge J. Gómez-Sanz ; Juan Pavón ; Francisco Garijo
Memory Based Reasoning and Agents Adaptive Behavior / Ana S. Aguera ; Alejandro Guerra ; Manuel Martínez
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent / Pedro Pablo González Pérez ; José Negrete Martínez ; Ariel Barreiro García ; Carlos Gershenson García
Action Selection Properties in a Software Simulated Agent
MultiAgent Planning: A Resource Based Approach / José Juan Palacios Pérez
Reasoning Under Uncertainty
Dynamic Fuzzy Logic / José Luis Pérez-Silva ; Felipe Lara-Rosano
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System / A. M. Martínez-Enríquez ; O. R. Sereno-Peñaloza
Probabilistic Model-Based Diagnosis / Pablo H. Ibargüengoytia
Instance Metrics Improvement by Probabilistic Support / Héctor Jiménez ; Guillermo Morales
EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation / G. Arroyo-Figueroa
Intelligent Tutoring Systems
A Complete Teamwork Model in a Dynamic Environment / M. Goyal ; N. Parameswaran
Towards a Personalized Web-Based Educational System / J. G. Boticario ; E. Gaudioso
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment / Gerardo Ayala ; Arlette Hernández
Author Index
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
9.

図書

図書
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
10.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼