Mary Lou Padgett, Thomas Lindbald, chairs/editors ; sponsoring societies, the Society for Computer Simulation International, NASA--National Aeronautics and Space Administration ; cooperating, SPIE--the International Society of Optical Engineering, INNS--the International Neural Networks Society, the IEEE Neural Networks Council
出版情報:
Bellingham, Wash. : SPIE, c1996 ix, 598 p. ; 28 cm
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
sponsored by the IEEE Computer Society, the IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence [PAMI] ; in cooperation with ACM SIGART, IEEE Circuits and Systems Society, IEEE Control Systems Society ... [et al.]
出版情報:
Los Alamitos, CA : IEEE Computer Society Press, c1996 xii, 486 p. ; 24 cm
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
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
sponsored by IEEE Computer Society, IEEE Technical Committee on Pattern Analysis and Machine Intelligence (PAMI) ; in cooperation with IEEE Computer Society TAI ... [et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c1996 x, 346 p. ; 28 cm
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
The volume presents 14 revised full papers togehter with two invited contributions and two introductory surveys particularly commissioned for this book
Among the topics addressed are computational learning, commonsense reasoning, constraint logic programming, fuzzy reasoning, vague data, inductive inference, belief revision, action theory, uncertainty, and probabilistic diagnosis
The volume presents 14 revised full papers togehter with two invited contributions and two introductory surveys particularly commissioned for this book
Among the topics addressed are computational learning, commonsense reasoning, constraint logic programming, fuzzy reasoning, vague data, inductive inference, belief revision, action theory, uncertainty, and probabilistic diagnosis
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
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