Search dblp for Publications

export results for "toc:db/conf/ictai/ictai1996.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictai/Aeken96,
  author       = {Francis Van Aeken},
  title        = {Le Salon, Where Agents Meet Actors},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {432--433},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560745},
  doi          = {10.1109/TAI.1996.560745},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Aeken96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AmgoudCB96,
  author       = {Leila Amgoud and
                  Claudette Cayrol and
                  Daniel Le Berre},
  title        = {Comparing Arguments Using Preference Ordering for Argument-Based Reasoning},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {400--403},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560731},
  doi          = {10.1109/TAI.1996.560731},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/AmgoudCB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ArieliA96,
  author       = {Ofer Arieli and
                  Arnon Avron},
  title        = {Automatic Diagnoses for Properly Stratified Knowledge-Bases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {392--399},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560481},
  doi          = {10.1109/TAI.1996.560481},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ArieliA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BakerCJLSS96,
  author       = {Michael J. Baker and
                  Laurent Charnay and
                  Michelle Joab and
                  Beno{\^{\i}}t Lemaire and
                  Brigitte Safar and
                  Daniel Schlienger},
  title        = {Incorporating Functionalities of Expert Medical Critique Dialogues
                  in the Design of a Graphical Interface},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {122--129},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560442},
  doi          = {10.1109/TAI.1996.560442},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BakerCJLSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BelhadjiI96,
  author       = {Said Belhadji and
                  Amar Isli},
  title        = {{AI} Tools in Scheduling Problem Solving: {A} Solver Based on a "Well-Behaved"
                  Restriction of TCSPs},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {438--439},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560772},
  doi          = {10.1109/TAI.1996.560772},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BelhadjiI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BenferhatG96,
  author       = {Salem Benferhat and
                  Laurent Garcia},
  title        = {A Local Approach to Reasoning with Conditional Knowledge Bases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {404--407},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560732},
  doi          = {10.1109/TAI.1996.560732},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BenferhatG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Blache96,
  author       = {Philippe Blache},
  title        = {Named Disjunctions and Lazy Evaluation for Syntactic Ambiguities},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {460--461},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560785},
  doi          = {10.1109/TAI.1996.560785},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Blache96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BoualiLR96,
  author       = {Fatma Bouali and
                  St{\'{e}}phane Loiseau and
                  Marie{-}Christine Rousset},
  title        = {Merging Test and Verification for Rule Base Debugging},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {166--169},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560447},
  doi          = {10.1109/TAI.1996.560447},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BoualiLR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Boutsinas96,
  author       = {Basilis Boutsinas},
  title        = {On Managing Nonmonotonic Transitive Relationships},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {374--382},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560479},
  doi          = {10.1109/TAI.1996.560479},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Boutsinas96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Braham96,
  author       = {Rafik Braham},
  title        = {Neural Networks with Long-Range Feedback: Design for Stable Dynamics},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {272--275},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560462},
  doi          = {10.1109/TAI.1996.560462},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Braham96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CanutE96,
  author       = {C. Marie{-}Fran{\c{c}}oise Canut and
                  Murielle Eloi},
  title        = {A Task-Based Production Environment for Intelligent Learning/Teaching
                  Systems: The "NGE" Kernel},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {447--449},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560777},
  doi          = {10.1109/TAI.1996.560777},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/CanutE96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CastelCT96,
  author       = {Charles Castel and
                  Laurent Chaudron and
                  Catherine Tessier},
  title        = {First Order C-Cubes for the Interpretation of Petri Nets: An Application
                  to Dynamic Scene Understanding},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {366--373},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560478},
  doi          = {10.1109/TAI.1996.560478},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/CastelCT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Castell96,
  author       = {Thierry Castell},
  title        = {Computation of Prime Implicates and Prime Implicants by a Variant
                  of the Davis and Putnam Procedure},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {428--429},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560739},
  doi          = {10.1109/TAI.1996.560739},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Castell96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Castro96,
  author       = {Carlos Castro},
  title        = {Binary {CSP} Solving as an Inference Process},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {462--463},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560786},
  doi          = {10.1109/TAI.1996.560786},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Castro96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CatfolisM96,
  author       = {Thierry Catfolis and
                  K{\"{u}}rt Meert},
  title        = {Implementing Empirical Modeling Techniques with Recurrent Neural Networks},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {434--435},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560746},
  doi          = {10.1109/TAI.1996.560746},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/CatfolisM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChengBL96,
  author       = {Jie Cheng and
                  David A. Bell and
                  Weiru Liu},
  title        = {A Practical Approach to Knowledge Representation and Reasoning in
                  Relational Databases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {470--471},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560791},
  doi          = {10.1109/TAI.1996.560791},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChengBL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChengLW96,
  author       = {B. M. W. Cheng and
                  Jimmy Ho{-}Man Lee and
                  J. C. K. Wu},
  title        = {A Constraint-based Nurse Rostering System Using a Redundant Modeling
                  Approach},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {140--148},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560444},
  doi          = {10.1109/TAI.1996.560444},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChengLW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChmeissJ96,
  author       = {Assef Chmeiss and
                  Philippe J{\'{e}}gou},
  title        = {Two New Donstraint Propagation Algorithms Requiring Small Space Complexity},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {286--289},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560465},
  doi          = {10.1109/TAI.1996.560465},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChmeissJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChouvetB96,
  author       = {Marie{-}Pierre Chouvet and
                  Florence Le Ber},
  title        = {Knowledge Bases and Agents for Domain Knowledge Representation},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {224--227},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560455},
  doi          = {10.1109/TAI.1996.560455},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChouvetB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChtiouiBDB96,
  author       = {Younes Chtioui and
                  Dominique Bertrand and
                  Marie{-}Fran{\c{c}}oise Devaux and
                  Dominique Barba},
  title        = {Application of a Hybrid Neural Network for the Discrimination of Seeds
                  by Artificial Vision},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {484--489},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560797},
  doi          = {10.1109/TAI.1996.560797},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChtiouiBDB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CollardEG96,
  author       = {Philippe Collard and
                  Cathy Escazut and
                  Alessio Gaspar},
  title        = {An Evolutionary Approach for Time Dependent Optimization},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {2--9},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560392},
  doi          = {10.1109/TAI.1996.560392},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/CollardEG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CornoPR96,
  author       = {Fulvio Corno and
                  Paolo Prinetto and
                  Matteo Sonza Reorda},
  title        = {A Genetic Algorithm for Automatic Generation of Test Logic for Digital
                  Circuits},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {10--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560394},
  doi          = {10.1109/TAI.1996.560394},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/CornoPR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DagoV96,
  author       = {Pierre Dago and
                  G{\'{e}}rard Verfaillie},
  title        = {Nogood Recording for Valued Constraint Satisfaction Problems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {132--139},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560443},
  doi          = {10.1109/TAI.1996.560443},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/DagoV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DahlFRT96,
  author       = {Ver{\'{o}}nica Dahl and
                  Andrew Fall and
                  Stephen Rochefort and
                  Paul Tarau},
  title        = {A Hypothetical Reasoning-based Framework for {NL} Processing},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {67--70},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560402},
  doi          = {10.1109/TAI.1996.560402},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/DahlFRT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Debruyne96,
  author       = {Romuald Debruyne},
  title        = {Arc-Consistency in Dynamic CSPs Is No More Prohibitive},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {299--307},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560467},
  doi          = {10.1109/TAI.1996.560467},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Debruyne96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DentM96,
  author       = {Michael J. Dent and
                  Robert E. Mercer},
  title        = {An Empirical Inverstigation of the Forward Checking Algorithm and
                  Its Derivatives},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {278--285},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560463},
  doi          = {10.1109/TAI.1996.560463},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/DentM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/EdwardsPP96,
  author       = {Mark A. Edwards and
                  Heather M. Powell and
                  Dominic Palmer{-}Brown},
  title        = {A Comparative Evaluation of a Natural Language Exploration Tool within
                  a Hypermedia Environment},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {480--483},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560796},
  doi          = {10.1109/TAI.1996.560796},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/EdwardsPP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/EdwardsSBS96,
  author       = {Mark Edwards and
                  Eugene Santos Jr. and
                  Sheila B. Banks and
                  Martin R. Stytz},
  title        = {Computer Generated Intelligent Companions for Distributed Virtual
                  Environments},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {450--452},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560779},
  doi          = {10.1109/TAI.1996.560779},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/EdwardsSBS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/El-GeresyA96,
  author       = {Baher A. El{-}Geresy and
                  Alia I. Abdelmoty},
  title        = {Order in Space: {A} General Formalism for Spatial Reasoning},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {183--191},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560450},
  doi          = {10.1109/TAI.1996.560450},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/El-GeresyA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/EscrigT96,
  author       = {M. Teresa Escrig and
                  Francisco Toledo},
  title        = {Enhancing Qualitative Relative Orientation with Qualitative Distance
                  for Robot Path Planning},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {174--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560449},
  doi          = {10.1109/TAI.1996.560449},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/EscrigT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Fabiani96,
  author       = {Patrick Fabiani},
  title        = {Strategy of Perception and Temporal Representation of Beliefs},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {48--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560399},
  doi          = {10.1109/TAI.1996.560399},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Fabiani96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GaizauskasCWRH96,
  author       = {Robert J. Gaizauskas and
                  Hamish Cunningham and
                  Yorick Wilks and
                  Peter J. Rodgers and
                  Kevin Humphreys},
  title        = {{GATE:} An Environment to Support Research and Development in Natural
                  Language Engineering},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {58--66},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560401},
  doi          = {10.1109/TAI.1996.560401},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/GaizauskasCWRH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GalloneC96,
  author       = {Jean{-}Michel Gallone and
                  Fran{\c{c}}ois Charpillet},
  title        = {Composing Approximated Algorithms Based on Hopfield Neural Network
                  for Building a Resource-Bounded Scheduler},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {445--446},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560776},
  doi          = {10.1109/TAI.1996.560776},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/GalloneC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GereviniPR96,
  author       = {Alfonso Gerevini and
                  Anna Perini and
                  Francesco Ricci},
  title        = {Incremental Algorithms for Managing Temporal Constraints},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {360--365},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560477},
  doi          = {10.1109/TAI.1996.560477},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/GereviniPR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Girard96,
  author       = {Madeleine Girard},
  title        = {Assistant Agents for Creation and Management of Distributed Applications},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {456--457},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560783},
  doi          = {10.1109/TAI.1996.560783},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Girard96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HallPF96,
  author       = {Gary Hall and
                  Fred Popowich and
                  Dan Fass},
  title        = {Natural Language Edit Controls: Constrained Natural Language Devices
                  in User Interfaces},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {475--477},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560793},
  doi          = {10.1109/TAI.1996.560793},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HallPF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HamidzadehA96,
  author       = {Babak Hamidzadeh and
                  Alireza Afshar},
  title        = {Opportunisitc Behavior and Its Automatic Adjustment in Dynamic Task
                  Domains},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {338--345},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560474},
  doi          = {10.1109/TAI.1996.560474},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HamidzadehA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HamiltonHC96,
  author       = {Howard J. Hamilton and
                  Robert J. Hilderman and
                  Nick Cercone},
  title        = {Attribute-oriented Induction Using Domain Generalization Graphs},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {246--253},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560458},
  doi          = {10.1109/TAI.1996.560458},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HamiltonHC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HanM96,
  author       = {Seung Soo Han and
                  Gary S. May},
  title        = {Optimization of Neural Network Structure and Learning Parameters Using
                  Genetic Algorithms},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {200--206},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560452},
  doi          = {10.1109/TAI.1996.560452},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HanM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HarabagiuM96,
  author       = {Sanda M. Harabagiu and
                  Dan I. Moldovan},
  title        = {{PARIS:} {A} Parallel Inference System},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {216--223},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560454},
  doi          = {10.1109/TAI.1996.560454},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HarabagiuM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HarringtonBS96,
  author       = {Robert A. Harrington and
                  Sheila B. Banks and
                  Eugene Santos Jr.},
  title        = {{GESIA:} Uncertainty-based Reasoning for a Generic Expert Systems
                  Intelligent User Interface},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {52--55},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560400},
  doi          = {10.1109/TAI.1996.560400},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HarringtonBS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HenzLZ96,
  author       = {Martin Henz and
                  Stefan Lauer and
                  Detlev Zimmermann},
  title        = {COMPOzE: Intention-based Music Composition through Constraint Programming},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {118--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560441},
  doi          = {10.1109/TAI.1996.560441},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/HenzLZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Hess96,
  author       = {Michael Hess},
  title        = {Deduction over Mixed-Level Logic Representations},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {383--390},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560480},
  doi          = {10.1109/TAI.1996.560480},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Hess96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Hunter96,
  author       = {Anthony Hunter},
  title        = {Intelligent Text Handling Using Default Logic},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {34--40},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560397},
  doi          = {10.1109/TAI.1996.560397},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Hunter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/IlottG96,
  author       = {P. W. Ilott and
                  A. J. Griffiths},
  title        = {Development of a Pumping System Decision Support Tool Based on Artificial
                  Intelligence},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {260--267},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560460},
  doi          = {10.1109/TAI.1996.560460},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/IlottG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JurisicaG96,
  author       = {Igor Jurisica and
                  Janice I. Glasgow},
  title        = {Case-Based Classification Using Similarity-Based Retrieval},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {410--419},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560735},
  doi          = {10.1109/TAI.1996.560735},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/JurisicaG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KohaviSD96,
  author       = {Ron Kohavi and
                  Dan Sommerfield and
                  James Dougherty},
  title        = {Data Mining Using {MLC++:} {A} Machine Learning Library in {C++}},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {234--245},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560457},
  doi          = {10.1109/TAI.1996.560457},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KohaviSD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KwanT96,
  author       = {Alvin C. M. Kwan and
                  Edward P. K. Tsang},
  title        = {Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {290--298},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560466},
  doi          = {10.1109/TAI.1996.560466},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KwanT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LauT96,
  author       = {T. L. Lau and
                  Edward P. K. Tsang},
  title        = {Applying a Mutation-based Genetic Algorithm to Processor Configuration
                  Problems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {17--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560395},
  doi          = {10.1109/TAI.1996.560395},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/LauT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LazzeriniM96,
  author       = {Beatrice Lazzerini and
                  Francesco Marcelloni},
  title        = {Reasonable Conclusions in Fuzzy Reasoning},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {440--442},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560774},
  doi          = {10.1109/TAI.1996.560774},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/LazzeriniM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Lindeberg96,
  author       = {Tony Lindeberg},
  title        = {Automatic Scale Selection as a Pre-Processing Stage to Interpreting
                  Real-World Data},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {490--490},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560799},
  doi          = {10.1109/TAI.1996.560799},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Lindeberg96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MarchandG96,
  author       = {Yannick Marchand and
                  Jean{-}Luc Gu{\'{e}}rin},
  title        = {Nestor: {A} Trail Blazer for Hypertexts},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {420--425},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560737},
  doi          = {10.1109/TAI.1996.560737},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MarchandG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MarchioriMK96,
  author       = {Elena Marchiori and
                  Massimo Marchiori and
                  Joost N. Kok},
  title        = {Forward-Tracking: {A} Technique for Searching Beyond Failure},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {324--331},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560472},
  doi          = {10.1109/TAI.1996.560472},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MarchioriMK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Massacci96,
  author       = {Fabio Massacci},
  title        = {Approximate Reasoning for Contextual Databases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {308--315},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560468},
  doi          = {10.1109/TAI.1996.560468},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Massacci96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/McCluskeyKP96,
  author       = {Thomas Leo McCluskey and
                  Diane E. Kitchin and
                  J. M. Porteous},
  title        = {Object-Centered Planning: Lifting Classical Planning from the Literal
                  Level to the Object Level},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {346--353},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560475},
  doi          = {10.1109/TAI.1996.560475},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/McCluskeyKP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MichelC96,
  author       = {Olivier Michel and
                  Philippe Collard},
  title        = {Artificial Neurogenesis: An Application to Autonomous Robotics},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {207--214},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560453},
  doi          = {10.1109/TAI.1996.560453},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MichelC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MichosSFK96,
  author       = {Stephanos E. Michos and
                  Efstathios Stamatatos and
                  Nikos Fakotakis and
                  George K. Kokkinakis},
  title        = {An Empirical Text Categorizing Computational Model Based on Stylistic
                  Aspects},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {71--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560403},
  doi          = {10.1109/TAI.1996.560403},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MichosSFK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MiuraS96,
  author       = {Takao Miura and
                  Isamu Shioya},
  title        = {Knowledge Acquisition for Classification Systems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {110--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560438},
  doi          = {10.1109/TAI.1996.560438},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MiuraS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MiyajimaMS96,
  author       = {Hiromi Miyajima and
                  Lixin Ma and
                  Hiroyuki Suwa},
  title        = {Dynamic Properties of Higher Order Random Neural Networks},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {430--431},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560743},
  doi          = {10.1109/TAI.1996.560743},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MiyajimaMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Pierret-Golbreich96,
  author       = {Christine Pierret{-}Golbreich},
  title        = {Correction of Dynamic Knowledge},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {228--231},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560456},
  doi          = {10.1109/TAI.1996.560456},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Pierret-Golbreich96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Pizzuti96,
  author       = {Clara Pizzuti},
  title        = {Computing Prime Implicants by Integer Programming},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {332--336},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560473},
  doi          = {10.1109/TAI.1996.560473},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Pizzuti96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Poggi96,
  author       = {Agostino Poggi},
  title        = {Integrating Agents and Objects to Develop Distributed {AI} Systems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {443--444},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560775},
  doi          = {10.1109/TAI.1996.560775},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Poggi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Prcovic96,
  author       = {Nicolas Prcovic},
  title        = {A Distributed Algorithm Solving CSPs with a Low Communication Cost},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {454--455},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560781},
  doi          = {10.1109/TAI.1996.560781},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Prcovic96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/RamauxF96,
  author       = {Nicolas Ramaux and
                  Dominique Fontaine},
  title        = {Recognizing a Scenario by Calculating a Temporal Proximity Index between
                  Constraint Graphs},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {464--466},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560788},
  doi          = {10.1109/TAI.1996.560788},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/RamauxF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ReynaudT96,
  author       = {Chantal Reynaud and
                  Fran{\c{c}}oise Tort},
  title        = {Use of Expertise Ontologies in the Knowledge Engineering Process},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {106--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560436},
  doi          = {10.1109/TAI.1996.560436},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ReynaudT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/RicheldiL96,
  author       = {Marco Richeldi and
                  Pier Luca Lanzi},
  title        = {{ADHOC:} a Tool for Performing Effective Feature Selection},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {102--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560434},
  doi          = {10.1109/TAI.1996.560434},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/RicheldiL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SanzogniBC96,
  author       = {Louis Sanzogni and
                  Richard F. Bonner and
                  Ringo Chan},
  title        = {Perceptrons with Polynomial Post-Processing},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {472--474},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560792},
  doi          = {10.1109/TAI.1996.560792},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SanzogniBC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SchroederMP96,
  author       = {Michael Schroeder and
                  Iara de Almeida M{\'{o}}ra and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {A Deliberative and Reactive Diagnosis Agent Based on Logic Programming},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {436--437},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560771},
  doi          = {10.1109/TAI.1996.560771},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SchroederMP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Shimodaira96,
  author       = {Hisashi Shimodaira},
  title        = {A New Genetic Algorithm Using Large Mutation Rates and Population-Elitist
                  Selection {(GALME)}},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560396},
  doi          = {10.1109/TAI.1996.560396},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Shimodaira96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SilvaS96,
  author       = {Jo{\~{a}}o P. Marques Silva and
                  Karem A. Sakallah},
  title        = {Conflict Analysis in Search Algorithms for Satisfiability},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {467--469},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560789},
  doi          = {10.1109/TAI.1996.560789},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SilvaS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/StaudtJQ96,
  author       = {Martin Staudt and
                  Matthias Jarke and
                  Christoph Quix},
  title        = {Active Change Notification in Advanced Knowledge Base Servers},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {96--99},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560433},
  doi          = {10.1109/TAI.1996.560433},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/StaudtJQ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TalonP96,
  author       = {Xavier Talon and
                  Christine Pierret{-}Golbreich},
  title        = {{TASK:} From the Specification to the Implementation},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {80--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560404},
  doi          = {10.1109/TAI.1996.560404},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/TalonP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Tambouratzis96,
  author       = {George Tambouratzis},
  title        = {Applying Logic Neural Networks to Hand-Written Character Recognition
                  Tasks},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {268--271},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560461},
  doi          = {10.1109/TAI.1996.560461},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Tambouratzis96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TelermanU96,
  author       = {Vitaly Telerman and
                  Dmitry Ushakov},
  title        = {Subdefinite Models as a Variety of Constraint Programming},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {157--164},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560446},
  doi          = {10.1109/TAI.1996.560446},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/TelermanU96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ThimmF96,
  author       = {Georg Thimm and
                  Emile Fiesler},
  title        = {A Boolean Appraoch to Construct Neural Networks for Non-Boolean Problems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {458--459},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560784},
  doi          = {10.1109/TAI.1996.560784},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ThimmF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TrajcevskiLG96,
  author       = {Goce Trajcevski and
                  Jorge Lobo and
                  Naveen Grover},
  title        = {Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge
                  Bases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {478--479},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560794},
  doi          = {10.1109/TAI.1996.560794},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/TrajcevskiLG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VanthienenDK96,
  author       = {Jan Vanthienen and
                  Elke Dries and
                  Jeroen Keppens},
  title        = {Clustering Knowledge in Tabular Knowledge Bases},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {88--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560430},
  doi          = {10.1109/TAI.1996.560430},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/VanthienenDK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VassilopoulosK96,
  author       = {John F. Vassilopoulos and
                  Cris Koutsougeras},
  title        = {Refinements in Training Schemes for the Coulomb Energy Network},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {194--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560451},
  doi          = {10.1109/TAI.1996.560451},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/VassilopoulosK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VlassisSEPT96,
  author       = {Nikos A. Vlassis and
                  Nikitas M. Sgouros and
                  G. Efthivoulidis and
                  George K. Papakonstantinou and
                  Panayotis Tsanakas},
  title        = {Global Path Planning for Autonomous Qualitative Navigation},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {354--359},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560476},
  doi          = {10.1109/TAI.1996.560476},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/VlassisSEPT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Washington96,
  author       = {Richard Washington},
  title        = {Incremental Markov-Model Planning},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {41--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560398},
  doi          = {10.1109/TAI.1996.560398},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Washington96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Wurtz96,
  author       = {J{\"{o}}rg W{\"{u}}rtz},
  title        = {Oz Scheduler: {A} Workbench for Scheduling Problems},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {149--156},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560445},
  doi          = {10.1109/TAI.1996.560445},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Wurtz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/XuZ96,
  author       = {Yue Xu and
                  Chengqi Zhang},
  title        = {An Improved Critical Diagnosis Reasoning Method},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {170--173},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560448},
  doi          = {10.1109/TAI.1996.560448},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/XuZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/YacoubDA96,
  author       = {Rachid Yacoub and
                  Michel Dumas and
                  Gilles Arnaud},
  title        = {Resolution Strategies for Focusing a Reason Maintenance System},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {316--323},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560471},
  doi          = {10.1109/TAI.1996.560471},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/YacoubDA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Zheng96,
  author       = {Zijian Zheng},
  title        = {Effects of Different Types of New Attribute on Constructive Induction},
  booktitle    = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  pages        = {254--257},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/TAI.1996.560459},
  doi          = {10.1109/TAI.1996.560459},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Zheng96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/1996,
  title        = {Eigth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '96, Toulouse, France, November 16-19, 1996},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4127/proceeding},
  isbn         = {0-8186-7686-8},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics