The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (1996)
Toulousse, FRANCE
Nov. 16, 1996 to Nov. 19, 1996
ISSN: 1082-3409
ISBN: 0-8186-7686-8
TABLE OF CONTENTS

Reviewers (PDF)

pp. xvii

Panels (PDF)

pp. xx
Session 1: Genetic Algorithms: Session Chairs: Ph. Collard, Universit? de Nice-Sophia Antipolis and TBA

An Evolutionary Approach For Time Dependant Optimization (Abstract)

Cathy Escazut Alessio Gaspar , University of Nice-Sophia Antipolis
Philippe Collard , University of Nice-Sophia Antipolis
pp. 2

A Genetic Algortithm for Automatic Generation of Test Logic for Digital Circuits (Abstract)

F. Corno , Politecnico di Torino, Dipartimento di Automatica e Informatica, Torino, Italy
M. Sonza Reorda , Politecnico di Torino, Dipartimento di Automatica e Informatica, Torino, Italy
P. Prinetto , Politecnico di Torino, Dipartimento di Automatica e Informatica, Torino, Italy
pp. 10

A New Genetic Algorithm Using Large Mutation Rates and Population-Elitist Selection (GALME) (Abstract)

Hisashi Shimodaira , Department of Information and Communication, Bunkyo University, Chigasaki-City, Kanagawa, Japan
pp. 25
Session 2: Reasoning Under Uncertainty: Session Chairs: A. Hunter, Imperial College and TBA

Incremental Markov-Model Planning (Abstract)

Richard Washington , Philadelphia VAMC and University of Pennsylvania
pp. 41

Strategy of Perception and Temporal Representation of Beliefs (Abstract)

Patrick J. Fabiani , Centre d'Etudes et de Recherches de Toulouse D.E.R.A.
pp. 48

GESIA: Uncertainty-Based Reasoning for a Generic Expert System Intelligent User Interface (Abstract)

Eugene Santos Jr. , Air Force Institute of Technology
Robert A. Harrington , Air Force Institute of Technology
Sheila Banks , Air Force Institute of Technology
pp. 52
Session 3: Natural Language Processing: Session Chairs: R. Gaizauskas, The University of Sheffield and TBA

GATE: An Environment to SupportResearch and Development in Natural Language Engineering (Abstract)

Kevin Humphreys , Department of Computer Science, University of Sheffield
Hamish Cunningham , Department of Computer Science, University of Sheffield
Yorick Wilks , Department of Computer Science, University of Sheffield
Robert Gaizauskas , Department of Computer Science, University of Sheffield
Peter Rodgers , Department of Computer Science, University of Sheffield
pp. 58

A Hypothetical Reasoning Based Framework for NL Processing (Abstract)

Paul Tarau , Universite de Moncton
Veronica Dahl , Simon Fraser University
Stephen Rochefort , Simon Fraser University
Andrew Fall , Simon Fraser University
pp. 67

An Empirical Text Categorizing Computational Model Based on Stylistic Aspects (Abstract)

E. Stamatatos , University of Patras
N. Fakotakis , University of Patras
S.E. Michos , University of Patras
G. Kokkinakis , University of Patras
pp. 71

A Comparative Evaluation of a Natural Language Exploration Tool within a Hypermedia Environment (Abstract)

Heather Powell , Department of Computing, Nottingham Trent University, England.
Mark A. Edwards , Department of Computing, Nottingham Trent University, England.
Dominic Palmer-Brown. , Department of Computing, Nottingham Trent University, England.
pp. 480
Session 4: Knowledge Base Technology I: Session Chairs: M. Staudt, RWTH Aachen and TBA

TASK: from the specification to the implementation. (Abstract)

Xavier Talon , University of Paris Sud
Christine Pierret-Golbreich , University of Paris Sud
pp. 80
Session 5: Knowledge Acquisition & Machine Learning I: Session Chairs: C. Reynaud, Universit? Paris-Sud and TBA

ADHOC: a Tool for Performing Effective Feature Selection (Abstract)

Pier Luca Lanzi , Politecnico di Milano
Marco Richeldi , CSELT, Centro Studi E Laboratori Telecomunicazioni
pp. 102

Use of Expertise Ontologies in the Knowledge Engineering Process (Abstract)

C. Reynaud , Universite Paris-Sud
F. Tort , Universite Paris-Sud
pp. 106

Knowledge Acquisition for Classification Systems (Abstract)

Takao Miura , Sanno College, Kamikasuya 1573, Isehara, Kanagawa, JAPAN
Isamu Shioya , Sanno College, Kamikasuya 1573, Isehara, Kanagawa, JAPAN
pp. 110
Session 6: AI Applications I: Session Chairs: M. Henz, DFKI and TBA

COMPOzE---Intention-based Music Composition through Constraint Programming (Abstract)

Stefan Lauer , University of Saarland
Martin Henz , University of Saarland
Detlev Zimmermann , University of Saarland
pp. 118
Session 7: Constraint Satisfaction I: Session Chairs: J. W?rtz, DFKI and TBA

A Constraint-Based Nurse Rostering System Using a Redundant Modeling Approach (Abstract)

J.H.M. Lee , The Chinese University of Hong Kong
J.C.K. Wu , The Chinese University of Hong Kong
B.M.W. Cheng , The Chinese University of Hong Kong
pp. 140

Oz Scheduler: A Workbench for Scheduling Problems (Abstract)

Joerg Wuertz , University of the Saarland
pp. 149

Subdefinite Models as a Variety of Constraint Programming (Abstract)

V. Telerman , Institute of Informatics Systems, Russian Research Institute of Artificial Intelligence
D. Ushakov , Institute of Informatics Systems, Russian Research Institute of Artificial Intelligence
pp. 157
Session 8: Qualitative Reasoning: Session Chairs: F. Bouali, Universit? Paris XI-Orsay and TBA

An Improved Critical Diagnosis Reasoning Method (Abstract)

Y. Xu , Distributed Artificial Intelligence Centre, Department of Mathematics, Statistic and Computing Science, The University of New England, Armidale, NSW 2351, Australia
C. Zhang , Distributed Artificial Intelligence Centre, Department of Mathematics, Statistic and Computing Science, The University of New England, Armidale, NSW 2351, Australia
pp. 170

Order in Space : A General Formalism for Spatial Reasoning (Abstract)

Baher A. El-Geresy , University of Glamorgan
Alia I. Abdelmoty , University of Glamorgan
pp. 183
Session 9: Neural Networks I: Session Chairs: C. Koutsougeras, Tulane University and TBA

Optimization of Neural Network Structure and Learning Parameters Using Genetic Algorithms (Abstract)

Gary S. May , Georgia Institute of Technology
Seung-Soo Han , Georgia Institute of Technology
pp. 200
Session 10: Knowledge Base Technology II: Session Chairs: D. Moldovan, Southern Methodist University and TBA

Correctness of Dynamic Knowledge (Abstract)

Christine Pierret-Golbreich , Universite Paris Sud
pp. 228
Session 11: Knowledge Acquisition & Machine Learning II: Session Chairs: R. Kohavi, Silicon Graphics and TBA

Data Mining using MLC++, A Machine Learning Library in C++ (Abstract)

Dan Sommerfield , Silicon Graphics, Inc.
James Dougherty , Sun Microsystems
Ron Kohavi , Silicon Graphics, Inc.
pp. 234

Attribute-Oriented Induction Using Domain Generalization Graphs (Abstract)

Nick Cercone , University of Regina
Robert J. Hilderman , University of Regina
Howard J. Hamilton , University of Regina
pp. 246
Session 12: Neural Networks II: Session Chairs: P.W. Ilott, University of Wales and TBA

Development of a Pumping System Decision Support Tool Based on Artificial Intelligence (Abstract)

A.J. Griffiths , Division of Mechanical Engineering and Energy Studies, Cardiff School of Engineering, University of Wales Cardiff, UK.
P.W. Ilott , Division of Mechanical Engineering and Energy Studies, Cardiff School of Engineering, University of Wales Cardiff, UK.
pp. 260

Applying Logic Neural Networks to Hand-Written Character Recognition Tasks (Abstract)

G. Tambouratzis , Institute for Language and Speech Processing, Athens, Greece.
pp. 268

Neural Networks with Long-Range Feedback: Design for Stable Dynamics (Abstract)

R. Braham , Ecole Nationale des Sciences de l' Informatique, Tunisia
pp. 272
Session 13: Constraint Satisfaction II: Session Chairs: M.J. Dent, University of Western Ontario and TBA

An Empirical Investigation of the Forward Checking Algorithm and its Derivatives (Abstract)

Robert E. Mercer , University of Western Ontario
Michael J. Dent , University of Western Ontario
pp. 278

Two New Constraint Propagation Algorithms Requiring Small Space Complexity (Abstract)

P. Jegou , CMI - Universite de Provence, FRANCE
A. Chmeiss , CMI - Universite de Provence, FRANCE
pp. 286

Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping (Abstract)

A.C.M. Kwan , Dept. of Computer Science, University of Essex
E.P.K. Tsang , Dept. of Computer Science, University of Essex
pp. 290
Session 14: Automated Reasoning: Session Chairs: F. Massacci, University of Cambridge and TBA

Approximate Reasoning for Contextual Databases (Abstract)

Fabio Massacci , University of Cambridge
pp. 308

Forward-Tracking: A Technique for Searching Beyond Failure (Abstract)

Joost N. Kok , University of Leiden
Massimo Marchiori , University of Padova
pp. 324

Computing Prime Implicants by Integer Programming (Abstract)

Clara Pizzuti , Universita' della Calabria
pp. 332
Session 15: Planning: Session Chairs: T.L. McCluskey, University of Huddersfield and TBA

Opportunistic Behavior and Its Automatic Adjustment in Dynamic Task Domains (Abstract)

A. Afshar , Computer Science Department, University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong
B. Hamidzadeh , Computer Science Department, University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong
pp. 338

Object-Centred Planning: Lifting Classical Planning from the Literal Level to the Object Level (Abstract)

J. M. Porteous , The University of Huddersfield
T. L. McCluskey , The University of Huddersfield
D.E. Kitchin , The University of Huddersfield
pp. 346

Global Path Planning for Autonomous Qualitative Navigation (Abstract)

N. M. Sgouros , National Technical University of Athens, Department of Electrical & Computer Engineering, Zographou Campus, Athens, Greece
P. Tsanakas , National Technical University of Athens, Department of Electrical & Computer Engineering, Zographou Campus, Athens, Greece
G. Efthivoulidis , National Technical University of Athens, Department of Electrical & Computer Engineering, Zographou Campus, Athens, Greece
N. A. Vlassis , National Technical University of Athens, Department of Electrical & Computer Engineering, Zographou Campus, Athens, Greece
G. Papakonstantinou , National Technical University of Athens, Department of Electrical & Computer Engineering, Zographou Campus, Athens, Greece
pp. 354
Session 16: Knowledge Representation: Session Chairs: M. Hess, University of Zurich and TBA

On Managing Nonmontonic Transitive Relationships (Abstract)

B. Boutsinas , University of Patras, Dept. Of Computer Engineering & Informatics, Patras, Greece
pp. 374
Session 17: Non-Standard Logics: Session Chairs: L. Amgoud, IRIT Universite' Paul Sabatier and TBA

Automatic Diagnoses for Properly Stratified Knowledge-Bases (Abstract)

Arnon Avron , Tel-Aviv University
Ofer Arieli , Tel-Aviv University
pp. 392

A Local Approach to Reasoning with Conditional Knowledge Bases (Abstract)

Salem Benferhat , Universite Paul Sabatier
Laurent Garcia , Universite Paul Sabatier
pp. 404
Session 18: AI Applications II: Session Chairs: J. Glasgow, University of Toronto and TBA

Case-Based Classification Using Similarity-Based Retrieval (Abstract)

Janice Glasgow , Queen's University
Igor Jurisica , University of Toronto
pp. 410
Session 19: Poster Session I: Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure

Dynamical properties of higher order random neural networks (Abstract)

Lixin Ma , Kagoshima University
Hiroyuki Suwa , Kagoshima University
Hiromi Miyajima , Kagoshima University
pp. 430

A Deliberative and Reactive Diagnosis Agent based on Logic Programming (Abstract)

Michael Schroeder , Universitaet Hannover
Iara de Almeida Mora , Universidade Nova de Lisboa
Luis Moniz Pereirat , Universidade Nova de Lisboa
pp. 436

A Task-Based Production Environment for Intelligent Learning/Teaching Systems : the 'NGE' Kernel (Abstract)

Murielle Eloi , Laboratoire LGC/ Equipe API - IUT 'A'
Marie-Francoise Canut , Laboratoire LGC/ Equipe API - IUT 'A'
pp. 447
Session 20: Poster Session II

Recognising a Scenario by Calculating a Temporal Proximity Index between Constraint Graphs. (Abstract)

Nicolas Ramaux , Universite de Technologie de Compiegne
Dominique Fontaine , Universite de Technologie de Compiegne
pp. 464

Conflict Analysis in Search Algorithms for Satisfiability (Abstract)

Joao P. Marques Silva , Cadence European Laboratories
Karem A. Sakallah , University of Michigan
pp. 467

A Practical Approach to Knowledge Representation and Reasoning in Relational Databases (PDF)

Jie Cheng , University of Ulster at Jordanstown
David A. Bell , University of Ulster at Jordanstown
and Weiru Liu , University of Ulster at Jordanstown
pp. 470

Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases (PDF)

Jorge Lobo , University of Illinois at Chicago
Naveen Grover , University of Illinois at Chicago
Goce Trajcevski , University of Illinois at Chicago
pp. 478
Keynote Address III:

Author Index (PDF)

pp. 491
89 ms
(Ver )