close
1.

図書

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

図書

図書
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…
3.

図書

図書
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:
4.

図書

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

図書

図書
Howard J. Hamilton
出版情報: Berlin : Springer, c2000  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1822 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Games / Constraint Satisfaction
Unifying Single-Agent and Two-Player Search / J. Schaeffer ; A. Plaat
Are Bees Better than Fruitflies? / J. van Rijswijck
A Constraint Directed Model for Partial Constraint Satisfaction Problems / S. Nagarajan ; S. Goodwin ; A. Sattar
Natural Language I
Using Noun Phrase Heads to Extract Document Keyphrases / K. Barker ; N. Cornacchia
Expanding the Type Hierarchy with Nonlexical Concepts / C. Barrière ; F. Popowich
Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions / B. Moulin ; D. Kattani ; B. Gauthier ; andW. Chaker
An Extendable Natural Language Interface to a Consumer Service Database / P.P. Kubon ; G. Tisher
Knowledge Representation
Identifying and Eliminating Irrelevant Instances Using Information Theory / M. Sebban ; R. Nock
Keep It Simple: A Case-Base Maintenance Policy Based on Clustering and Information Theory / Q. Yang ; J. Wu
On the Integration of Recursive <$>{\cal A}{\cal L}{\cal N}<$>-Theories / A. Vitória ; M. Mamede
Natural Language II
Collocation Discovery for Optimal Bilingual Lexicon Development / S. McDonald ; D. Turcato ; P. McFetridge,F. Popowich ; J. Toole
The Power of the TSNLP: Lessons from a Diagnostic Evaluation of a Broad-Coverage Parser / E. Scarlett ; S. Szpakowicz
A Parallel Approach to Unified Cognitive Modeling of Language Processing within a Visual Context / C. Hannon ; D. Cook
AI Applications
Interact: A Staged Approach to Customer Service Automation / Y. Lallement ; M.S. Fox
Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine / U. Hahn ; S. Schulz
The Use of Ontologies and Meta-knowledge to Facilitate the Sharing ofKnowledge in a Multi-agent Personal Communication System / R. Liscano ; K. Baker ; J. Meech
Machine Learning / Data Mining
ASERC - A Genetic Sequencing Operator for Asymmetric Permutation Problems / K.C. Wiese ; S.D. Goodwin
CViz: An Interactive Visualization System for Rule Induction / J. Han ; A. An ; N. Cercone
Learning Pseudo-independent Models: Analytical and Experimental Results / Y. Xiang ; X. Hu ; N.J. Cercone ; H.J. Hamilton
Planning / Theorem Proving / Artificial Life
Learning Rewrite Rules versus Search Control Rules to Improve Plan Quality / M.A. Upal ; R. Elio
Scheduling Methods for Parallel Automated Theorem Proving / G. Stenz ; A. Wolf
Simulating Competing Alife Organisms by Constructive Compound Neural Networks / J. Yan ; N. Tokuda ; J. Miyamichi
Neural Networks
A Recognition-Based Alternative to Discrimination-Based Multi-layer Perceptrons / T. Eavis ; N. Japkowicz
Accelerated Backpropagation Learning: Extended Dynamic Parallel Tangent Optimization Algorithm / A.A. Ghorbani ; L. Bayat
Neural ARX Models and PAC Learning / K. Najarian ; G.A. Dumont ; M.S. Davies ; N.E. Heckman
Posters
Qualitative Descriptors and Action Perception / J.-C. Baillie ; J.-G. Ganascia
A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data / J. Bowes ; E. Neufeld ; J.E. Greer ; J. Cooke
Towards an Automated Citation Classifier / M. Garzone ; R.E. Mercer
Typical Example Selection for Learning Classifiers
Comparative Study of Neural Network Controllers for Nonlinear Dynamic Systems / M.F. Hussin ; B.M. Abouelnasr ; A.A. Shoukry
The Iterative Multi-agent Method for Solving Complex Search Problems / K. Karimi
Relational Learning with Transfer of Knowledge Between Domains / J. Morin ; S. Matwin
Surviving in a Hostile Multi-agent Environment: How Simple Affective States Can Aid in the Competition for Resources / M. Scheutz
Task-Structure Based Mediation: The Travel-Planning Assistant Example / Q. Situ ; E. Stroulia
Considerations on Compositional Update Operators / M. Suderman ; J. Delgrande
The Degeneration of Relevance in Uncertain Temporal Domains: AnEmpirical Study / A.Y. Tawfik ; T. Barrie
The Learnability of Naive Bayes / H. Zhang ; C.X. Ling ; Z. Zhao
Invited Presentations
Parsing to Meaning, Statistically / E. Charniak
Automated Discovery: A Fusion of Multidisciplinary Principles / J. Żytkow
Author Index
Games / Constraint Satisfaction
Unifying Single-Agent and Two-Player Search / J. Schaeffer ; A. Plaat
Are Bees Better than Fruitflies? / J. van Rijswijck
6.

図書

図書
Rasiah Loganantharaj, Günther Palm, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2000  xvii, 751 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1821 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Berthe Y. Choueiry, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2000  xi, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1864 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Susanne Biundo, Maria Fox (eds.)
出版情報: Berlin : Springer, c2000  viii, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1809 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
Manuela Veloso, Enrico Pagello, Hiroaki Kitano (eds.)
出版情報: Berlin : Springer, c2000  xiv, 802 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1856 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Riichiro Mizoguchi, John Slaney (eds.)
出版情報: Berlin : Springer, c2000  xx, 835 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1886 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼