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