default search action
8th ICTAI 1996: Toulouse, France
- Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996. IEEE Computer Society 1996, ISBN 0-8186-7686-8
Genetic Algorithms
- Philippe Collard, Cathy Escazut, Alessio Gaspar:
An Evolutionary Approach for Time Dependent Optimization. 2-9 - Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. 10-16 - T. L. Lau, Edward P. K. Tsang:
Applying a Mutation-based Genetic Algorithm to Processor Configuration Problems. 17-24 - Hisashi Shimodaira:
A New Genetic Algorithm Using Large Mutation Rates and Population-Elitist Selection (GALME). 25-32
Reasoning Under Uncertainty
- Anthony Hunter
Intelligent Text Handling Using Default Logic. 34-40 - Richard Washington:
Incremental Markov-Model Planning. 41-47 - Patrick Fabiani:
Strategy of Perception and Temporal Representation of Beliefs. 48-51 - Robert A. Harrington, Sheila B. Banks, Eugene Santos Jr.:
GESIA: Uncertainty-based Reasoning for a Generic Expert Systems Intelligent User Interface. 52-55
Natural Language Processing
- Robert J. Gaizauskas
GATE: An Environment to Support Research and Development in Natural Language Engineering. 58-66 - Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau:
A Hypothetical Reasoning-based Framework for NL Processing. 67-70 - Stephanos E. Michos, Efstathios Stamatatos, Nikos Fakotakis, George K. Kokkinakis:
An Empirical Text Categorizing Computational Model Based on Stylistic Aspects. 71-77
Knowledge Base Technology I
- Xavier Talon, Christine Pierret-Golbreich:
TASK: From the Specification to the Implementation. 80-87 - Jan Vanthienen
Clustering Knowledge in Tabular Knowledge Bases. 88-95 - Martin Staudt, Matthias Jarke, Christoph Quix:
Active Change Notification in Advanced Knowledge Base Servers. 96-99
Knowledge Acquisition & Machine Learning I
- Marco Richeldi, Pier Luca Lanzi
ADHOC: a Tool for Performing Effective Feature Selection. 102-105 - Chantal Reynaud, Françoise Tort:
Use of Expertise Ontologies in the Knowledge Engineering Process. 106-109 - Takao Miura, Isamu Shioya:
Knowledge Acquisition for Classification Systems. 110-115
AI Applications I
- Martin Henz, Stefan Lauer, Detlev Zimmermann:
COMPOzE: Intention-based Music Composition through Constraint Programming. 118-121 - Michael J. Baker, Laurent Charnay, Michelle Joab, Benoît Lemaire, Brigitte Safar, Daniel Schlienger:
Incorporating Functionalities of Expert Medical Critique Dialogues in the Design of a Graphical Interface. 122-129
Constraint Satisfaction
- Pierre Dago, Gérard Verfaillie:
Nogood Recording for Valued Constraint Satisfaction Problems. 132-139 - B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. 140-148 - Jörg Würtz:
Oz Scheduler: A Workbench for Scheduling Problems. 149-156 - Vitaly Telerman, Dmitry Ushakov:
Subdefinite Models as a Variety of Constraint Programming. 157-164
Qualitative Reasoning
- Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset:
Merging Test and Verification for Rule Base Debugging. 166-169 - Yue Xu, Chengqi Zhang
An Improved Critical Diagnosis Reasoning Method. 170-173 - M. Teresa Escrig, Francisco Toledo:
Enhancing Qualitative Relative Orientation with Qualitative Distance for Robot Path Planning. 174-182 - Baher A. El-Geresy, Alia I. Abdelmoty:
Order in Space: A General Formalism for Spatial Reasoning. 183-191
Neural Networks I
- John F. Vassilopoulos, Cris Koutsougeras:
Refinements in Training Schemes for the Coulomb Energy Network. 194-199 - Seung Soo Han, Gary S. May:
Optimization of Neural Network Structure and Learning Parameters Using Genetic Algorithms. 200-206 - Olivier Michel, Philippe Collard:
Artificial Neurogenesis: An Application to Autonomous Robotics. 207-214
Knowledge Base Technology II
- Sanda M. Harabagiu
PARIS: A Parallel Inference System. 216-223 - Marie-Pierre Chouvet, Florence Le Ber:
Knowledge Bases and Agents for Domain Knowledge Representation. 224-227 - Christine Pierret-Golbreich:
Correction of Dynamic Knowledge. 228-231
Knowledge Acquisition & Machinge Learning II
- Ron Kohavi, Dan Sommerfield, James Dougherty:
Data Mining Using MLC++: A Machine Learning Library in C++. 234-245 - Howard J. Hamilton, Robert J. Hilderman, Nick Cercone:
Attribute-oriented Induction Using Domain Generalization Graphs. 246-253 - Zijian Zheng:
Effects of Different Types of New Attribute on Constructive Induction. 254-257
Neural Networks II
- P. W. Ilott, A. J. Griffiths:
Development of a Pumping System Decision Support Tool Based on Artificial Intelligence. 260-267 - George Tambouratzis
Applying Logic Neural Networks to Hand-Written Character Recognition Tasks. 268-271 - Rafik Braham:
Neural Networks with Long-Range Feedback: Design for Stable Dynamics. 272-275
Constraint Satisfaction II
- Michael J. Dent, Robert E. Mercer:
An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives. 278-285 - Assef Chmeiss, Philippe Jégou:
Two New Donstraint Propagation Algorithms Requiring Small Space Complexity. 286-289 - Alvin C. M. Kwan, Edward P. K. Tsang:
Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping. 290-298 - Romuald Debruyne:
Arc-Consistency in Dynamic CSPs Is No More Prohibitive. 299-307
Automated Reasoning
- Fabio Massacci
Approximate Reasoning for Contextual Databases. 308-315 - Rachid Yacoub, Michel Dumas, Gilles Arnaud:
Resolution Strategies for Focusing a Reason Maintenance System. 316-323 - Elena Marchiori, Massimo Marchiori, Joost N. Kok:
Forward-Tracking: A Technique for Searching Beyond Failure. 324-331 - Clara Pizzuti:
Computing Prime Implicants by Integer Programming. 332-336
Planning
- Babak Hamidzadeh, Alireza Afshar:
Opportunisitc Behavior and Its Automatic Adjustment in Dynamic Task Domains. 338-345 - Thomas Leo McCluskey, Diane E. Kitchin, J. M. Porteous:
Object-Centered Planning: Lifting Classical Planning from the Literal Level to the Object Level. 346-353 - Nikos A. Vlassis, Nikitas M. Sgouros, G. Efthivoulidis, George K. Papakonstantinou, Panayotis Tsanakas:
Global Path Planning for Autonomous Qualitative Navigation. 354-359 - Alfonso Gerevini, Anna Perini, Francesco Ricci:
Incremental Algorithms for Managing Temporal Constraints. 360-365
Knowledge Representation
- Charles Castel, Laurent Chaudron, Catherine Tessier:
First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding. 366-373 - Basilis Boutsinas:
On Managing Nonmonotonic Transitive Relationships. 374-382 - Michael Hess:
Deduction over Mixed-Level Logic Representations. 383-390
Non-Standard Logics
- Ofer Arieli, Arnon Avron:
Automatic Diagnoses for Properly Stratified Knowledge-Bases. 392-399 - Leila Amgoud
Comparing Arguments Using Preference Ordering for Argument-Based Reasoning. 400-403 - Salem Benferhat, Laurent Garcia:
A Local Approach to Reasoning with Conditional Knowledge Bases. 404-407
AI Applications II
- Igor Jurisica, Janice I. Glasgow:
Case-Based Classification Using Similarity-Based Retrieval. 410-419 - Yannick Marchand, Jean-Luc Guérin:
Nestor: A Trail Blazer for Hypertexts. 420-425
Poster Session I
- Thierry Castell:
Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. 428-429 - Hiromi Miyajima, Lixin Ma, Hiroyuki Suwa:
Dynamic Properties of Higher Order Random Neural Networks. 430-431 - Francis Van Aeken:
Le Salon, Where Agents Meet Actors. 432-433 - Thierry Catfolis, Kürt Meert:
Implementing Empirical Modeling Techniques with Recurrent Neural Networks. 434-435 - Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira:
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. 436-437 - Said Belhadji, Amar Isli:
AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs. 438-439 - Beatrice Lazzerini, Francesco Marcelloni:
Reasonable Conclusions in Fuzzy Reasoning. 440-442 - Agostino Poggi:
Integrating Agents and Objects to Develop Distributed AI Systems. 443-444 - Jean-Michel Gallone, François Charpillet:
Composing Approximated Algorithms Based on Hopfield Neural Network for Building a Resource-Bounded Scheduler. 445-446 - C. Marie-Françoise Canut, Murielle Eloi:
A Task-Based Production Environment for Intelligent Learning/Teaching Systems: The "NGE" Kernel. 447-449 - Mark Edwards, Eugene Santos Jr., Sheila B. Banks, Martin R. Stytz:
Computer Generated Intelligent Companions for Distributed Virtual Environments. 450-452
Poster Session II
- Nicolas Prcovic:
A Distributed Algorithm Solving CSPs with a Low Communication Cost. 454-455 - Madeleine Girard:
Assistant Agents for Creation and Management of Distributed Applications. 456-457 - Georg Thimm, Emile Fiesler:
A Boolean Appraoch to Construct Neural Networks for Non-Boolean Problems. 458-459 - Philippe Blache:
Named Disjunctions and Lazy Evaluation for Syntactic Ambiguities. 460-461 - Carlos Castro:
Binary CSP Solving as an Inference Process. 462-463 - Nicolas Ramaux, Dominique Fontaine:
Recognizing a Scenario by Calculating a Temporal Proximity Index between Constraint Graphs. 464-466 - João P. Marques Silva, Karem A. Sakallah:
Conflict Analysis in Search Algorithms for Satisfiability. 467-469 - Jie Cheng, David A. Bell, Weiru Liu:
A Practical Approach to Knowledge Representation and Reasoning in Relational Databases. 470-471 - Louis Sanzogni, Richard F. Bonner, Ringo Chan:
Perceptrons with Polynomial Post-Processing. 472-474 - Gary Hall, Fred Popowich, Dan Fass:
Natural Language Edit Controls: Constrained Natural Language Devices in User Interfaces. 475-477 - Goce Trajcevski, Jorge Lobo, Naveen Grover:
Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. 478-479 - Mark A. Edwards, Heather M. Powell, Dominic Palmer-Brown:
A Comparative Evaluation of a Natural Language Exploration Tool within a Hypermedia Environment. 480-483 - Younes Chtioui, Dominique Bertrand, Marie-Françoise Devaux, Dominique Barba:
Application of a Hybrid Neural Network for the Discrimination of Seeds by Artificial Vision. 484-489 - Tony Lindeberg:
Automatic Scale Selection as a Pre-Processing Stage to Interpreting Real-World Data. 490-490
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: