Search dblp for Publications

export results for "toc:db/conf/ijcai/ijcai95.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ijcai/AdeD95,
  author       = {Hilde Ad{\'{e}} and
                  Marc Denecker},
  title        = {{AILP:} Abductive Inductive Logic Programming},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1201--1209},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AdeD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AndersonM95,
  author       = {Michael Anderson and
                  Robert McCartney},
  title        = {Inter-diagrammatic Reasoning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {878--884},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/113.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AndersonM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Andre95,
  author       = {David Andre},
  title        = {The Automatic Programming of Agents that Learn Mental Models and Create
                  Simple Plans of Action},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {741--750},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/097.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Andre95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AndreFGHHKNPRWBJ95,
  author       = {Elisabeth Andr{\'{e}} and
                  Wolfgang Finkler and
                  Winfried Graf and
                  Karin Harbusch and
                  Jochen Heinsohn and
                  Anne Kilger and
                  Bernhard Nebel and
                  Hans{-}J{\"{u}}rgen Profitlich and
                  Thomas Rist and
                  Wolfgang Wahlster and
                  Andreas Butz and
                  Anthony Jameson},
  title        = {{WIP:} From Multimedia to Intellimedia},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2053--2054},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/135.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AndreFGHHKNPRWBJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AsherV95,
  author       = {Nicholas Asher and
                  Laure Vieu},
  title        = {Toward a Geometry of Common Sense: {A} Semantics and a Complete Axiomatization
                  of Mereotopology},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {846--852},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/109.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AsherV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Azzam95,
  author       = {Saliha Azzam},
  title        = {Anaphors, PPs and Disambiguation Process for Conceptual Analysis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1354--1359},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/043.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Azzam95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaaderL95,
  author       = {Franz Baader and
                  Armin Laux},
  title        = {Terminological Logics with Modal Operators},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {808--815},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/104.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaaderL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BacchusHL95,
  author       = {Fahiem Bacchus and
                  Joseph Y. Halpern and
                  Hector J. Levesque},
  title        = {Reasoning about Noisy Sensors in the Situation Calculus},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1933--1940},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/116.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BacchusHL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BachmairCRAC95,
  author       = {Leo Bachmair and
                  Ta Chen and
                  I. V. Ramakrishnan and
                  Siva Anantharaman and
                  Jacques Chabin},
  title        = {Experiments with Associative-Commutative Discrimination Nets},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {348--355},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/046.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BachmairCRAC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BackstromJ95,
  author       = {Christer B{\"{a}}ckstr{\"{o}}m and
                  Peter Jonsson},
  title        = {Planning with Abstraction Hierarchies can be Exponentially Less Efficient},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1599--1605},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/075.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BackstromJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BalaHVDW95,
  author       = {Jerzy W. Bala and
                  Jeffrey Huang and
                  Haleh Vafaie and
                  Kenneth A. De Jong and
                  Harry Wechsler},
  title        = {Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern
                  Classification},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {719--724},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/094.pdf},
  timestamp    = {Fri, 12 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BalaHVDW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BalujaP95,
  author       = {Shumeet Baluja and
                  Dean Pomerleau},
  title        = {Using the Representation in a Neural Network's Hidden Layer for Task-Specific
                  Focus of Attention},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {133--141},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/018.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BalujaP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaptisteP95,
  author       = {Philippe Baptiste and
                  Claude Le Pape},
  title        = {A Theoretical and Experimental Comparison of Constraint Propagation
                  Techniques for Disjunctive Scheduling},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {600--606},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/079.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaptisteP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Baral95,
  author       = {Chitta Baral},
  title        = {Reasoning about actions: Non-deterministic effects, Constraints, and
                  Qualification},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2017--2026},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/127.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Baral95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarbeauKS95,
  author       = {Michel Barbeau and
                  Froduald Kabanza and
                  Richard St{-}Denis},
  title        = {Synthesizing Plant Controllers Using Real-time Goals},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {791--800},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/102.pdf},
  timestamp    = {Thu, 30 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BarbeauKS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumgartnerFS95,
  author       = {Peter Baumgartner and
                  Ulrich Furbach and
                  Frieder Stolzenburg},
  title        = {Model Elimination, Logic Programming and Computing Answers},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {335--341},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/044.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaumgartnerFS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BayardoM95,
  author       = {Roberto J. Bayardo Jr. and
                  Daniel P. Miranker},
  title        = {On the Space-Time Trade-off in Solving Constraint Satisfaction Problems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {558--562},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/073.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BayardoM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenferhatDP95,
  author       = {Salem Benferhat and
                  Didier Dubois and
                  Henri Prade},
  title        = {How to Infer from Inconsisent Beliefs without Revising?},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1449--1457},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BenferhatDP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BennettD95,
  author       = {Scott W. Bennett and
                  Gerald DeJong},
  title        = {{GRASPER:} {A} Permissive Planning Robot},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2065--2066},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/141.pdf},
  timestamp    = {Mon, 31 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BennettD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BessiereFR95,
  author       = {Christian Bessi{\`{e}}re and
                  Eugene C. Freuder and
                  Jean{-}Charles R{\'{e}}gin},
  title        = {Using Inference to Reduce Arc Consistency Computation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {592--599},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/078.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BessiereFR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bhattacharya95,
  author       = {Subir Bhattacharya},
  title        = {Experimenting with Revisits in Game Tree Search},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {243--251},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/032.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bhattacharya95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BistarelliMR95,
  author       = {Stefano Bistarelli and
                  Ugo Montanari and
                  Francesca Rossi},
  title        = {Constraint Solving over Semirings},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {624--630},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/082.pdf},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BistarelliMR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlocherS95,
  author       = {Anselm Blocher and
                  J{\"{o}}rg R. J. Schirra},
  title        = {Optional Deep Case Filling and Focus Control with Mental Images: {ANTLIMA-KOREF}},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {417--423},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/055.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BlocherS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlumF95,
  author       = {Avrim Blum and
                  Merrick L. Furst},
  title        = {Fast Planning Through Planning Graph Analysis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1636--1642},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/080.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BlumF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bochman95,
  author       = {Alexander Bochman},
  title        = {On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1518--1524},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/065.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bochman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bostrom95,
  author       = {Henrik Bostr{\"{o}}m},
  title        = {Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1194--1200},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/023.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bostrom95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bottcher95,
  author       = {Claudia B{\"{o}}ttcher},
  title        = {No Faults in Structure? How to Diagnose Hidden Interactions},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1728--1735},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/091.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Bottcher95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Boutilier95,
  author       = {Craig Boutilier},
  title        = {Generalized Update: Belief Change in Dynamic Settings},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1550--1556},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/069.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Boutilier95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoutilierDG95,
  author       = {Craig Boutilier and
                  Richard Dearden and
                  Mois{\'{e}}s Goldszmidt},
  title        = {Exploiting Structure in Policy Construction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1104--1113},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BoutilierDG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoutilierP95,
  author       = {Craig Boutilier and
                  Martin L. Puterman},
  title        = {Process-Oriented Planning and Average-Reward Optimality},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1096--1103},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BoutilierP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrafmanF95,
  author       = {Ronen I. Brafman and
                  Nir Friedman},
  title        = {On Decision-Theoretic Foundations for Defaults},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1458--1465},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/057.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrafmanF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrafmanS95,
  author       = {Ronen I. Brafman and
                  Yoav Shoham},
  title        = {Knowledge Considerations in Robotics and Distribution of Robotic Tasks},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {96--102},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/013.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrafmanS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrafmanT95,
  author       = {Ronen I. Brafman and
                  Moshe Tennenholtz},
  title        = {Towards Action Prediction Using a Mental-Level Model},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2010--2016},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/126.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrafmanT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrantingA95,
  author       = {Karl Branting and
                  David W. Aha},
  title        = {Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving
                  Episodes},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {384--390},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/051.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrantingA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BresinaDS95,
  author       = {John L. Bresina and
                  Mark Drummond and
                  Keith Swanson},
  title        = {Expected Solution Quality},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1583--1591},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/073.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BresinaDS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BriggsC95,
  author       = {Will Briggs and
                  Diane J. Cook},
  title        = {Flexible Social Laws},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {688--693},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/090.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BriggsC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BritanikM95,
  author       = {J. M. Britanik and
                  Michael M. Marefat},
  title        = {Hierarchical Plan Merging with Application to Process Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1677--1685},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/085.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BritanikM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BundyL95,
  author       = {Alan Bundy and
                  Vincent Lombart},
  title        = {Relational Rippling: {A} General Approach},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {175--181},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/023.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BundyL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaferraP95,
  author       = {Ricardo Caferra and
                  Nicolas Peltier},
  title        = {Extending Semantic Resolution via Automated Model Building: Applications},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {328--334},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/043.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CaferraP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaoJW95,
  author       = {Yong Cao and
                  Bernhard Jung and
                  Ipke Wachsmuth},
  title        = {Situated Verbal Interaction in Virtual Design and Assembly},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2061--2062},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/139.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CaoJW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cayrol95,
  author       = {Claudette Cayrol},
  title        = {On the Relation between Argumentation and Non-monotonic Coherence-Based
                  Entailment},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1443--1448},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/055.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Cayrol95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChaI95,
  author       = {Byungki Cha and
                  Kazuo Iwama},
  title        = {Performance Test of Local Search Algorithms Using New Types of Random
                  {CNF} Formulas},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {304--311},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/040.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChaI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChaudhriM95,
  author       = {Vinay K. Chaudhri and
                  John Mylopoulos},
  title        = {Efficient Algorithms and Performance Results for Multi-User Knowledge
                  Bases},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {759--767},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/099.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChaudhriM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chen95,
  author       = {Pang C. Chen},
  title        = {On Bootstrapping Local Search with Trail-Markers},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {252--258},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Chen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChengJL95,
  author       = {Xiaochun Cheng and
                  Yunfei Jiang and
                  Xuhua Liu},
  title        = {The Rationality and Decidability of Fuzzy Implications},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1910--1915},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/113.pdf},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChengJL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChopraS95,
  author       = {Rajiv Chopra and
                  Rohini K. Srihari},
  title        = {Control Structures for Incorporating Picture-Specific Context in Image
                  Interpretation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {50--55},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChopraS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChoueiryFW95,
  author       = {Berthe Y. Choueiry and
                  Boi Faltings and
                  Rainer Weigel},
  title        = {Abstraction by Interchangeability in Resource Allocation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1694--1703},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/087.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ChoueiryFW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Chu-CarrollC95,
  author       = {Jennifer Chu{-}Carroll and
                  Sandra Carberry},
  title        = {Generating Information-Sharing Subdialogues in Expert-User Consultation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1243--1250},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/029.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Chu-CarrollC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CollinsP95,
  author       = {Gregg Collins and
                  Louise Pryor},
  title        = {Planning Under Uncertainty: Some Key Issues},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1567--1575},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CollinsP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CrawfordDLMP95,
  author       = {James M. Crawford and
                  Daniel Dvorak and
                  Diane J. Litman and
                  Anil Mishra and
                  Peter F. Patel{-}Schneider},
  title        = {Device Representation and Reasoning with Affective Relations},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1814--1820},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/101.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CrawfordDLMP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Darwiche95,
  author       = {Adnan Darwiche},
  title        = {Model-Based Diagnosis using Causal Networks},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {211--219},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/028.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Darwiche95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DeJongB95,
  author       = {Gerald DeJong and
                  Scott W. Bennett},
  title        = {Extending Classical Planning to Real-World Execution with Machine
                  Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1153--1161},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/018.pdf},
  timestamp    = {Mon, 31 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DeJongB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DeanL95,
  author       = {Thomas Dean and
                  Shieu{-}Hong Lin},
  title        = {Decomposition Techniques for Planning in Stochastic Domains},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1121--1129},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DeanL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DegtyarevV95,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  title        = {Equality Elimination for the Inverse Method and Extension Procedures},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {342--347},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DegtyarevV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Delgrande95,
  author       = {James P. Delgrande},
  title        = {Syntactic Conditional Closures for Defeasible Reasoning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1488--1494},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/061.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Delgrande95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DengM95,
  author       = {Kan Deng and
                  Andrew W. Moore},
  title        = {Multiresolution Instance-Based Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1233--1242},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/028.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DengM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DohertyLS95,
  author       = {Patrick Doherty and
                  Witold Lukaszewicz and
                  Andrzej Szalas},
  title        = {Computing Circumscription Revisited: Preliminary Report},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1502--1508},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/063.pdf},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/DohertyLS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Domingos95,
  author       = {Pedro M. Domingos},
  title        = {Rule Induction and Instance-Based Learning: {A} Unified Approach},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1226--1232},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/027.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Domingos95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DorrG95,
  author       = {Bonnie J. Dorr and
                  Terry Gaasterland},
  title        = {Selecting Tense, Aspect, and Connecting Words In Language Generation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1299--1307},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/036.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DorrG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle95,
  author       = {Richard J. Doyle},
  title        = {Determining the Loci of Anomalies Using Minimal Causal Models},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1821--1829},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/102.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Doyle95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DuboisP95,
  author       = {Didier Dubois and
                  Henri Prade},
  title        = {Possibility Theory as a Basis for Qualitative Decision Theory},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1924--1932},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/115.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/DuboisP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterGL95,
  author       = {Thomas Eiter and
                  Georg Gottlob and
                  Nicola Leone},
  title        = {Semantics and Complexity of Abduction from Default Theories},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {870--877},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/112.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EiterGL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EphratiPU95,
  author       = {Eithan Ephrati and
                  Martha E. Pollack and
                  Sigalit Ur},
  title        = {Deriving Multi-Agent Coordination through Filtering Strategies},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {679--687},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/089.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EphratiPU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Epstein95,
  author       = {Susan L. Epstein},
  title        = {On Heuristic Reasoning, Reactivity, and Search},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {454--463},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/060.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Epstein95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErolHNT95,
  author       = {Kutluhan Erol and
                  James A. Hendler and
                  Dana S. Nau and
                  Reiko Tsuneto},
  title        = {A Critical Look at Critics in {HTN} Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1592--1598},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ErolHNT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Euzenat95,
  author       = {J{\'{e}}r{\^{o}}me Euzenat},
  title        = {An Algebraic Approach to Granularity in Qualitative Time and Space
                  Representation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {894--900},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/115.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Euzenat95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Everett95,
  author       = {John O. Everett},
  title        = {A Theory of Mapping from Structure to Function Applied to Engineering
                  Thermodynamics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1837--1846},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/104.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Everett95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaltingsS95,
  author       = {Boi Faltings and
                  Kun Sun},
  title        = {Computer-Aided Creative Mechanism Design},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2055--2056},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/136.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FaltingsS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FattahD95,
  author       = {Yousri El Fattah and
                  Rina Dechter},
  title        = {Diagnosing Tree-Decomposable Circuits},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1742--1749},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/093.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FattahD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fayyad95,
  author       = {Usama M. Fayyad},
  title        = {{SKICAT:} Sky Image Cataloging and Analysis Tool},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2067--2068},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/142.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Fayyad95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FergusonD95,
  author       = {Innes A. Ferguson and
                  James D. Davlouros},
  title        = {PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting
                  Office Staff},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2059--2060},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/138.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FergusonD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FermullerA95,
  author       = {Cornelia Ferm{\"{u}}ller and
                  Yiannis Aloimonos},
  title        = {Representations for Active Vision},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {20--26},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/003.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FermullerA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FinkY95,
  author       = {Eugene Fink and
                  Qiang Yang},
  title        = {Planning with Primary Effects: Experiments and Analysis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1606--1611},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/076.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FinkY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FirbyKPS95,
  author       = {R. James Firby and
                  Roger E. Kahn and
                  Peter N. Prokopowicz and
                  Michael J. Swain},
  title        = {An Architecture for Vision and Action},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {72--81},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/010.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FirbyKPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ForbesHKKR95,
  author       = {Jeff Forbes and
                  Timothy Huang and
                  Keiji Kanazawa and
                  Stuart Russell},
  title        = {The BATmobile: Towards a Bayesian Automated Taxi},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1878--1885},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/109.pdf},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ForbesHKKR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ForbusF95,
  author       = {Kenneth D. Forbus and
                  Brian Falkenhainer},
  title        = {Scaling up Self-Explanatory Simulators: Polynomial-time Compilation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1798--1805},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/099.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ForbusF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FoxL95,
  author       = {Susan Fox and
                  David B. Leake},
  title        = {Using Introspective Reasoning to Refine Indexing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {391--399},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/052.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FoxL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderDGST95,
  author       = {Eugene C. Freuder and
                  Rina Dechter and
                  Matthew L. Ginsberg and
                  Bart Selman and
                  Edward P. K. Tsang},
  title        = {Systematic Versus Stochastic Constraint Satisfaction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2027--2032},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/128.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FreuderDGST95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderH95,
  author       = {Eugene C. Freuder and
                  Paul D. Hubbe},
  title        = {Extracting Constraint Satisfaction Subproblems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {548--557},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/072.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FreuderH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderW95,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  title        = {Generalizing Inconsistency Learning for Constraint Satisfaction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {563--571},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/074.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FreuderW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrischP95,
  author       = {Alan M. Frisch and
                  C. David Page Jr.},
  title        = {Building Theories into Instantiation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1210--1216},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/025.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FrischP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrostD95,
  author       = {Daniel Frost and
                  Rina Dechter},
  title        = {Look-Ahead Value Ordering for Constraint Satisfaction Problems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {572--578},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/075.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FrostD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FuHS95,
  author       = {Daniel D. Fu and
                  Kristian J. Hammond and
                  Michael J. Swain},
  title        = {Action and Perception in Man-Made Environments},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {464--472},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/061.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FuHS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Furse95,
  author       = {Edmund Furse},
  title        = {Learning University Mathematics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2057--2058},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/137.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Furse95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GamperN95,
  author       = {Johann Gamper and
                  Wolfgang Nejdl},
  title        = {Proposing Measurements in Dynamic Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {784--790},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/101.pdf},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GamperN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeffnerLM95,
  author       = {Hector Geffner and
                  Jimena Llopis and
                  Gisela Mendez},
  title        = {Sound and Efficient Non-monotonic Inference},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1495--1501},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeffnerLM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeorgeffR95,
  author       = {Michael P. Georgeff and
                  Anand S. Rao},
  title        = {The Semantics of Intention Maintenance for Rational Agents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {704--710},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/092.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeorgeffR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoL95,
  author       = {Giuseppe De Giacomo and
                  Maurizio Lenzerini},
  title        = {What's in an Aggregate: Foundations for Description Logics with Tuples
                  and Sets},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {801--807},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/103.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiacomoL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaL95,
  author       = {Enrico Giunchiglia and
                  Vladimir Lifschitz},
  title        = {Dependent Fluents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1964--1969},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/120.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiunchigliaL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GodoV95,
  author       = {Llu{\'{\i}}s Godo and
                  Llu{\'{\i}}s Vila},
  title        = {Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1916--1923},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/114.pdf},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GodoV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GogicKPS95,
  author       = {Goran Gogic and
                  Henry A. Kautz and
                  Christos H. Papadimitriou and
                  Bart Selman},
  title        = {The Comparative Linguistics of Knowledge Representation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {862--869},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/111.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GogicKPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Greiner95,
  author       = {Russell Greiner},
  title        = {The Complexity of Theory Revision},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1162--1168},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Greiner95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrigniPP95,
  author       = {Michelangelo Grigni and
                  Dimitris Papadias and
                  Christos H. Papadimitriou},
  title        = {Topological Inference},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {901--907},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/116.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GrigniPP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Haase95,
  author       = {Kenneth B. Haase},
  title        = {Analogy in the Large},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1375--1381},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/046.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Haase95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HalpernK95,
  author       = {Joseph Y. Halpern and
                  Daphne Koller},
  title        = {Representation Dependence in Probabilistic Inference},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1853--1861},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HalpernK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HamidzadehS95,
  author       = {Babak Hamidzadeh and
                  Shashi Shekhar},
  title        = {Deadline Compliance, Predictability, and On-line Optimization in Real-Time
                  Problem Solving},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {220--226},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/029.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HamidzadehS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HammondBL95,
  author       = {Kristian J. Hammond and
                  Robin D. Burke and
                  Steven L. Lytinen},
  title        = {A Case-Based Approach to Knowledge Navigation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2071--2072},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/144.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HammondBL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HanFT95,
  author       = {Jiawei Han and
                  Yongjian Fu and
                  Simon Tang},
  title        = {Advances of the DBLearn System for Knowledge Discovery in Large Databases},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2049--2050},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/133.pdf},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HanFT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HansenJNA95,
  author       = {Pierre Hansen and
                  Brigitte Jaumard and
                  Guy{-}Blaise Douanya Nguets{\'{e}} and
                  Marcus Poggi de Arag{\~{a}}o},
  title        = {Models and Algorithms for Probabilistic and Bayesian Logic},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1862--1868},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/107.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HansenJNA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HarveyG95,
  author       = {William D. Harvey and
                  Matthew L. Ginsberg},
  title        = {Limited Discrepancy Search},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {607--615},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/080.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HarveyG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HasegawaIKHTYO95,
  author       = {Osamu Hasegawa and
                  Katsunobu Itou and
                  Takio Kurita and
                  Satoru Hayamizu and
                  Kazuyo Tanaka and
                  Kazuhiko Yamamoto and
                  Nobuyuki Otsu},
  title        = {Active Agent Oriented Multimodal Interface System},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {82--87},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/011.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HasegawaIKHTYO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HatzivassiloglouK95,
  author       = {Vasileios Hatzivassiloglou and
                  Kevin Knight},
  title        = {Unification-Based Glossing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1382--1389},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/047.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HatzivassiloglouK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hayashi95,
  author       = {Yoshihiko Hayashi},
  title        = {Recovering Problem-Solving Activities from Query Messages},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1711--1720},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/089.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hayashi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hayes-Roth95,
  author       = {Barbara Hayes{-}Roth},
  title        = {Agents on Stage: Advancing the State of the Art of {AI}},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {967--971},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/124.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hayes-Roth95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HayesF95,
  author       = {Patrick J. Hayes and
                  Kenneth M. Ford},
  title        = {Turing Test Considered Harmful},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {972--977},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/125.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HayesF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HearstP95,
  author       = {Marti A. Hearst and
                  Jan O. Pedersen},
  title        = {Revealing Collection Structure through Information Access Interfaces},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2047--2048},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/132a.pdf},
  timestamp    = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HearstP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HendlerCLMR95,
  author       = {James A. Hendler and
                  Jaime G. Carbonell and
                  Douglas B. Lenat and
                  Riichiro Mizoguchi and
                  Paul S. Rosenbloom},
  title        = {{VERY} Large Knowledge Bases - Architecture vs Engineering},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2033--2036},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/129.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HendlerCLMR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Herrmann95,
  author       = {Christoph S. Herrmann},
  title        = {A Hybrid Fuzzy-Neural Expert System for Diagnosis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {494--501},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/065.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Herrmann95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hogg95,
  author       = {Tad Hogg},
  title        = {Social Dilemmas in Computational Ecosystems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {711--718},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/093.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Hogg95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Holder95,
  author       = {Lawrence B. Holder},
  title        = {Intermediate Decision Trees},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1056--1063},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Holder95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Horswill95,
  author       = {Ian Horswill},
  title        = {Visual Routines and Visual Search: {A} Real-Time Implementation and
                  an Automata-Theoretic Analysis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {56--63},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Horswill95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ImaichiM95,
  author       = {Osamu Imaichi and
                  Yuji Matsumoto},
  title        = {Integration of Syntactic, Semantic and Contextual Information in Processing
                  Grammatically Ill-Formed Inputs},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1435--1442},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/054.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ImaichiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/InoueS95,
  author       = {Katsumi Inoue and
                  Chiaki Sakama},
  title        = {Abductive Framework for Nonmonotonic Theory Change},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {204--210},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/027.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/InoueS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IwasakiFSBG95,
  author       = {Yumi Iwasaki and
                  Adam Farquhar and
                  Vijay A. Saraswat and
                  Daniel G. Bobrow and
                  Vineet Gupta},
  title        = {Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1773--1781},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/097.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IwasakiFSBG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IwayamaT95,
  author       = {Makoto Iwayama and
                  Takenobu Tokunaga},
  title        = {Hierarchical Bayesian Clustering for Automatic Text Classification},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1322--1327},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/039.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/IwayamaT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JaegerM95,
  author       = {Manfred Jaeger},
  title        = {Minimum Cross-Entropy Reasoning: {A} Statistical Justification},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1847--1852},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/105.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JaegerM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamesonSSW95,
  author       = {Anthony Jameson and
                  Ralph Sch{\"{a}}fer and
                  Joep Simons and
                  Thomas Weis},
  title        = {Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1886--1895},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/110.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JamesonSSW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JampelH95,
  author       = {Michael Jampel and
                  Sebastian Hunt},
  title        = {Composition in Hierarchical {CLP}},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {640--645},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/084.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JampelH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JapkowiczMG95,
  author       = {Nathalie Japkowicz and
                  Catherine Myers and
                  Mark A. Gluck},
  title        = {A Novelty Detection Approach to Classification},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {518--523},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/068.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JapkowiczMG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jonsson95,
  author       = {Arne J{\"{o}}nsson},
  title        = {Dialogue Actions for Natural Language Interfaces},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1405--1413},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Jonsson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JunkerB95,
  author       = {Ulrich Junker and
                  Bertrand Braunschweig},
  title        = {History-based Interpretation of Finite Element Simulations of Seismic
                  Wave Fields},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1789--1797},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/098a.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JunkerB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaindlKLS95,
  author       = {Hermann Kaindl and
                  Gerhard Kainz and
                  Angelika Leeb and
                  Harald Smetana},
  title        = {How to Use Limited Memory in Heuristic Search},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {236--242},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/031.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KaindlKLS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kambhampati95,
  author       = {Subbarao Kambhampati},
  title        = {Admissible Pruning Strategies based on plan minimality for Plan-Space
                  Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1627--1635},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/079.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kambhampati95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KangK95,
  author       = {Hee{-}Joong Kang and
                  Jin Hyung Kim},
  title        = {Dependency Relationship Based Decision Combination in Multiple Classifier
                  Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1130--1136},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KangK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KarpMG95,
  author       = {Peter D. Karp and
                  Karen L. Myers and
                  Thomas R. Gruber},
  title        = {The Generic Frame Protocol},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {768--774},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/100.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KarpMG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KarpP95,
  author       = {Peter D. Karp and
                  Suzanne M. Paley},
  title        = {Knowledge Representation in the Large},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {751--758},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/098.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KarpP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KarthaL95,
  author       = {G. Neelakantan Kartha and
                  Vladimir Lifschitz},
  title        = {A Simple Formalization of Actions Using Circumscription},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1970--1977},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/121.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KarthaL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KashinoNKT95,
  author       = {Kunio Kashino and
                  Kazuhiro Nakadai and
                  Tomoyoshi Kinoshita and
                  Hidehiko Tanaka},
  title        = {Organization of Hierarchical Perceptual Sounds: Music Scene Analysis
                  with Autonomous Processing Modules and a Quantitative Information
                  Integration Mechanism},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {158--164},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KashinoNKT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaskD95,
  author       = {Kalev Kask and
                  Rina Dechter},
  title        = {{GSAT} and Local Consistency},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {616--623},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/081.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KaskD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KatkereKMKSWHTCJ95,
  author       = {Arun Katkere and
                  Don Y. Kuramura and
                  Saied Moezzi and
                  Patrick H. Kelly and
                  Deborah Swanberg and
                  Koji Wakimoto and
                  Edward Hunter and
                  Li{-}Cheng Tai and
                  Shankar Chatterjee and
                  Ramesh C. Jain},
  title        = {Multiple Perspective Interactive Video},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2063--2064},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/140.pdf},
  timestamp    = {Sat, 26 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KatkereKMKSWHTCJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kay95,
  author       = {Judy Kay},
  title        = {Vive la difference! Individualised Interaction with Users},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {978--984},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/126.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kay95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KephartSACTW95,
  author       = {Jeffrey O. Kephart and
                  Gregory B. Sorkin and
                  William C. Arnold and
                  David M. Chess and
                  Gerald Tesauro and
                  Steve R. White},
  title        = {Biologically Inspired Defenses Against Computer Viruses},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {985--996},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/127.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KephartSACTW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KhardonR95,
  author       = {Roni Khardon and
                  Dan Roth},
  title        = {Default-Reasoning with Models},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {319--327},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/042.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KhardonR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kitano95,
  author       = {Hiroaki Kitano},
  title        = {A Model for Hormonal Modulation of Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {532--540},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kitano95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KleerR95,
  author       = {Johan de Kleer and
                  Olivier Raiman},
  title        = {Trading off the Costs of Inference vs. Probing in Diagnosis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1736--1741},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/092.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KleerR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KnightCHHHILWY95,
  author       = {Kevin Knight and
                  Ishwar Chander and
                  Matthew Haines and
                  Vasileios Hatzivassiloglou and
                  Eduard H. Hovy and
                  Masayo Iida and
                  Steve K. Luk and
                  Richard Whitney and
                  Kenji Yamada},
  title        = {Filling Knowledge Gaps in a Broad-Coverage Machine Translation System},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1390--1397},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/048.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KnightCHHHILWY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Knoblock95,
  author       = {Craig A. Knoblock},
  title        = {Planning, Executing, Sensing, and Replanning for Information Gathering},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1686--1693},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/086.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Knoblock95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoenigS95,
  author       = {Sven Koenig and
                  Reid G. Simmons},
  title        = {Real-Time Search in Non-Deterministic Domains},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1660--1669},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/083.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KoenigS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kohavi95,
  author       = {Ron Kohavi},
  title        = {A Study of Cross-Validation and Bootstrap for Accuracy Estimation
                  and Model Selection},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1137--1145},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kohavi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KohaviL95,
  author       = {Ron Kohavi and
                  Chia{-}Hsin Li},
  title        = {Oblivious Decision Trees, Graphs, and Top-Down Pruning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1071--1079},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/008.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KohaviL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KolbeW95,
  author       = {Thomas Kolbe and
                  Christoph Walther},
  title        = {Second-Order Matching modulo Evaluation: {A} Technique for Reusing
                  Proofs},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {190--195},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/025.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KolbeW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KollerP95,
  author       = {Daphne Koller and
                  Avi Pfeffer},
  title        = {Generating and Solving Imperfect Information Games},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1185--1193},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KollerP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KondrakB95,
  author       = {Grzegorz Kondrak and
                  Peter van Beek},
  title        = {A Theoretical Evaluation of Selected Backtracking Algorithms},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {541--547},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KondrakB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kononenko95,
  author       = {Igor Kononenko},
  title        = {On Biases in Estimating Multi-Valued Attributes},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1034--1040},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/003.pdf},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kononenko95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Korf95,
  author       = {Richard E. Korf},
  title        = {From Approximate to Optimal Solutions: {A} Case Study of Number Partitioning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {266--272},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/035.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Korf95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Koza95,
  author       = {John R. Koza},
  title        = {Gene Duplication to Enable Genetic Programming to Concurrently Evolve
                  Both the Architecture and Work-Performing Steps of a Computer Program},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {734--740},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/096.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Koza95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kozato95,
  author       = {Fukumi Kozato},
  title        = {A Hybrid Rule-based System: How Variables are Involved in Connectionist
                  Rule-based Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {502--508},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/066.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kozato95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KriegerS95,
  author       = {Hans{-}Ulrich Krieger and
                  Ulrich Sch{\"{a}}fer},
  title        = {Efficient Parameterizable Type Expansion for Typed Feature Formalisms},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1428--1434},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/053.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KriegerS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Krotkov95,
  author       = {Eric Krotkov},
  title        = {Robotic Perception of Material},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {88--95},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/012.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Krotkov95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KrulwichBC95,
  author       = {Bruce Krulwich and
                  Lawrence Birnbaum and
                  Gregg Collins},
  title        = {Determining What to Learn Through Component-Task Modeling},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {439--447},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/058.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KrulwichBC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KuokkaH95,
  author       = {Daniel Kuokka and
                  Larry Harada},
  title        = {Matchmaking for Information Agents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {672--678},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/088.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/KuokkaH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kurumatani95,
  author       = {Koichi Kurumatani},
  title        = {Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative
                  Regions},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1750--1756},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/094.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Kurumatani95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LaborieG95,
  author       = {Philippe Laborie and
                  Malik Ghallab},
  title        = {Planning with Sharable Resource Constraints},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1643--1651},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/081.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LaborieG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lakemeyer95,
  author       = {Gerhard Lakemeyer},
  title        = {A Logical Account of Relevance},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {853--861},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/110.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lakemeyer95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LanskyG95,
  author       = {Amy L. Lansky and
                  Lise Getoor},
  title        = {Scope and Abstraction: Two Criteria for Localized Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1612--1619},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LanskyG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lehmann95,
  author       = {Daniel Lehmann},
  title        = {Belief Revision, Revised},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1534--1540},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/067.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lehmann95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeshE95,
  author       = {Neal Lesh and
                  Oren Etzioni},
  title        = {A Sound and Fast Goal Recognizer},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1704--1710},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/088.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeshE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiSM95,
  author       = {Xiaobin Li and
                  Stan Szpakowicz and
                  Stan Matwin},
  title        = {A WordNet-based Algorithm for Word Sense Disambiguation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1368--1374},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/045.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LiSM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiberatoreS95,
  author       = {Paolo Liberatore and
                  Marco Schaerf},
  title        = {Relating Belief Revision and Circumscription},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1557--1566},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/070.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LiberatoreS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lieberman95,
  author       = {Henry Lieberman},
  title        = {Letizia: An Agent That Assists Web Browsing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {924--929},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/119.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lieberman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lin95,
  author       = {Dekang Lin},
  title        = {A Dependency-based Method for Evaluating Broad-Coverage Parsers},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1420--1427},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/052.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lin95a,
  author       = {Fangzhen Lin},
  title        = {Embracing Causality in Specifying the Indirect Effects of Actions},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1985--1993},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/123.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lin95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinR95,
  author       = {Fangzhen Lin and
                  Raymond Reiter},
  title        = {How to Progress a Database {II:} The {STRIPS} Connection},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2001--2009},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/125.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LinR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ling95,
  author       = {Sui{-}ky Ringo Ling},
  title        = {Using a Domain Theory to Guide Automated Modeling of Complex Physical
                  Phenomena},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1766--1772},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/096.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ling95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Liu95,
  author       = {Bing Liu},
  title        = {Using Knowledge to Isolate Search in Route Finding},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {119--125},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/016.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Liu95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Liu95a,
  author       = {Bing Liu},
  title        = {Increasing Functional Constraints Need to Be Checked Only Once},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {586--591},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Liu95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lochbaum95,
  author       = {Karen E. Lochbaum},
  title        = {The Use of Knowledge Preconditions in Language Processing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1260--1266},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/031.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Lochbaum95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LukaszewiczM95,
  author       = {Witold Lukaszewicz and
                  Ewa Madalinska{-}Bugaj},
  title        = {Reasoning about Action and Change Using Dijkstra's Semantics for Programming
                  Languages: Preliminary Report},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1950--1955},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/118.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LukaszewiczM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaHK95,
  author       = {Zhe Ma and
                  Robert F. Harrison and
                  R. Lee Kennedy},
  title        = {{GR2:} {A} Hybrid Knowledge-based System Using General Rules},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {488--493},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MaHK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaclinS95,
  author       = {Richard Maclin and
                  Jude W. Shavlik},
  title        = {Combining the Predictions of Multiple Classifiers: Using Competitive
                  Learning to Initialize Neural Networks},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {524--531},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/069.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MaclinS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaesBDPW95,
  author       = {Pattie Maes and
                  Bruce Blumberg and
                  Trevor Darrell and
                  Alex Pentland and
                  Alan Wexelblat},
  title        = {Modeling Interactive Agents in {ALIVE}},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2073--2074},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/145.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MaesBDPW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ManikondaHK95,
  author       = {Vikram Manikonda and
                  James A. Hendler and
                  P. S. Krishnaprasad},
  title        = {Formalizing Behavior-based Planning for Nonholonomic Robots},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {142--149},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/019.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ManikondaHK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MaplesP95,
  author       = {Creve Maples and
                  Craig Peterson},
  title        = {{MUSE} (Multidimensional User-Oriented Synthetic Environment): {A}
                  New Approach to the Human-Computer Interface Using Precognitive Models
                  of Perception},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2069--2070},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/143.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MaplesP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marchiori95,
  author       = {Elena Marchiori},
  title        = {A Methodology for Proving Termination of General Logic Programs},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {356--361},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/047.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Marchiori95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MareskyDGAB95,
  author       = {Jonathan Maresky and
                  Yuval Davidor and
                  Daniel Gitler and
                  Gad Aharoni and
                  Amnon Barak},
  title        = {Profiling Communication in Distributed Genetic Algorithms},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {961--966},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/123.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MareskyDGAB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marquis95,
  author       = {Pierre Marquis},
  title        = {Knowledge Compilation Using Theory Prime Implicates},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {837--845},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/108.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Marquis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCainT95,
  author       = {Norman McCain and
                  Hudson Turner},
  title        = {A Causal Theory of Ramifications and Qualifications},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1978--1984},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/122.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McCainT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCarthy95,
  author       = {John McCarthy},
  title        = {What has {AI} in Common with Philosophy?},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2041--2044},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://www-formal.stanford.edu/jmc/aiphil/aiphil.html},
  timestamp    = {Fri, 14 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McCarthy95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCarthyL95,
  author       = {Joseph F. McCarthy and
                  Wendy G. Lehnert},
  title        = {Using Decision Trees for Coreference Resolution},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1050--1055},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/005.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McCarthyL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McGuinnessB95,
  author       = {Deborah L. McGuinness and
                  Alexander Borgida},
  title        = {Explaining Subsumption in Description Logics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {816--821},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/105.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McGuinnessB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McGuinnessRI95,
  author       = {Deborah L. McGuinness and
                  Lori Alperin Resnick and
                  Charles Lee Isbell Jr.},
  title        = {Description Logic in Practice: {A} {CLASSIC} Application},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2045--2046},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/132.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/McGuinnessRI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Melis95,
  author       = {Erica Melis},
  title        = {A Model of Analogy-Driven Proof-Plan Construction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {182--189},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Melis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MeseguerL95,
  author       = {Pedro Meseguer and
                  Javier Larrosa},
  title        = {Constraint Satisfaction as Global Optimization},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {579--585},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/076.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MeseguerL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MikitiukT95,
  author       = {Artur Mikitiuk and
                  Miroslaw Truszczynski},
  title        = {Constrained and Rational Default Logics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1509--1517},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MikitiukT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MittalRMMC95,
  author       = {Vibhu O. Mittal and
                  Steven F. Roth and
                  Johanna D. Moore and
                  Joe Mattis and
                  Giuseppe Carenini},
  title        = {Generating Explanatory Captions for Information Graphics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1276--1283},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/033.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MittalRMMC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MiyashitaS95,
  author       = {Kazuo Miyashita and
                  Katia P. Sycara},
  title        = {Improving System Performance in Case-Based Iterative Optimization
                  through Knowledge Filtering},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {371--376},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/049.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MiyashitaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Morreau95,
  author       = {Michael Morreau},
  title        = {Allowed Arguments},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1466--1473},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/058.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Morreau95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MouaddibZ95,
  author       = {Abdel{-}Illah Mouaddib and
                  Shlomo Zilberstein},
  title        = {Knowledge-Based Anytime Computation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {775--783},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/100a.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MouaddibZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Muggleton95,
  author       = {Stephen H. Muggleton},
  title        = {Inductive Logic Programming: Inverse Resolution and Beyond},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {997},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/128.pdf},
  timestamp    = {Sat, 30 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Muggleton95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MukerjeeAB95,
  author       = {Amitabha Mukerjee and
                  Manish Agarwal and
                  Praveen Bhatia},
  title        = {A Qualitative Discretization for Two-Body Contacts},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {915--923},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/118.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MukerjeeAB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MurthyS95,
  author       = {Sreerama K. Murthy and
                  Steven Salzberg},
  title        = {Lookahead and Pathology in Decision Tree Induction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1025--1033},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MurthyS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NagaoR95,
  author       = {Katashi Nagao and
                  Jun Rekimoto},
  title        = {Ubiquitous Talker: Spoken Language Interaction with Real World Objects},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1284--1291},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NagaoR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NakamuraA95,
  author       = {Takayuki Nakamura and
                  Minoru Asada},
  title        = {Motion Sketch: Acquisition of Visual Motion Guided Behaviors},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {126--132},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/017.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NakamuraA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NakataniOK95,
  author       = {Tomohiro Nakatani and
                  Hiroshi G. Okuno and
                  Takeshi Kawabata},
  title        = {Residue-Driven Architecture for Computational Auditory Scene Analysis},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {165--174},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/022.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NakataniOK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NasukawaU95,
  author       = {Tetsuya Nasukawa and
                  Naohiko Uramoto},
  title        = {Discourse as a Knowledge Resource for Sentence Disambiguation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1360--1367},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/044.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NasukawaU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NauGR95,
  author       = {Dana S. Nau and
                  Satyandra K. Gupta and
                  William C. Regli},
  title        = {{AI} Planning Versus Manufacturing-Operation Planning: {A} Case Study},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1670--1676},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/084.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NauGR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NayakL95,
  author       = {P. Pandurang Nayak and
                  Alon Y. Levy},
  title        = {A Semantic Theory of Abstractions},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {196--203},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/026.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NayakL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NejdlFS95,
  author       = {Wolfgang Nejdl and
                  Peter Fr{\"{o}}hlich and
                  Michael Schroeder},
  title        = {A Formal Framework for Representing Diagnosis Strategies in Model-Based
                  Diagnosis Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1721--1727},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/090.pdf},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NejdlFS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Niemela95,
  author       = {Ilkka Niemel{\"{a}}},
  title        = {Towards Efficient Default Reasoning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {312--318},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Niemela95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Niyogi95,
  author       = {Sourabh A. Niyogi},
  title        = {Fitting Models to Distributed Representations of Vision},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {3--9},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Niyogi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OrtegaF95,
  author       = {Julio Ortega and
                  Douglas Fisher},
  title        = {Flexibly Exploiting Prior Knowledge in Empirical Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1041--1049},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OrtegaF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ParisLFHPPS95,
  author       = {C{\'{e}}cile Paris and
                  Keith Vander Linden and
                  Markus Fischer and
                  Anthony Hartley and
                  Lyn Pemberton and
                  Richard Power and
                  Donia Scott},
  title        = {A Support Tool for Writing Multilingual Instructions},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1398--1404},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/049.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ParisLFHPPS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ParrR95,
  author       = {Ronald Parr and
                  Stuart Russell},
  title        = {Approximating Optimal Policies for Partially Observable Stochastic
                  Domains},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1088--1095},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/010.pdf},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ParrR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Passonneau95,
  author       = {Rebecca J. Passonneau},
  title        = {Integrating Gricean and Attentional Constraints},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1267--1275},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/032.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Passonneau95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Pemberton95,
  author       = {Joseph C. Pemberton},
  title        = {k-Best: {A} New Method for Real-Time Decision Making},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {227--235},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/030.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Pemberton95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PerkowitzE95,
  author       = {Mike Perkowitz and
                  Oren Etzioni},
  title        = {Category Translation: Learning to Understand Information on the Internet},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {930--938},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/120.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PerkowitzE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PlaatSPB95,
  author       = {Aske Plaat and
                  Jonathan Schaeffer and
                  Wim Pijls and
                  Arie de Bruin},
  title        = {Best-First Fixed-Depth Game-Tree Search in Practice},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {273--281},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/036.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/PlaatSPB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Poole95,
  author       = {David Poole},
  title        = {Logic Programming for Robot Control},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {150--157},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Poole95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ProkopowiczC95,
  author       = {Peter N. Prokopowicz and
                  Paul R. Cooper},
  title        = {{IRV:} Learning to Integrate Visual Information Across Camera Movements},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2051--2052},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/134.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ProkopowiczC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/QuinlanC95,
  author       = {J. Ross Quinlan and
                  R. Mike Cameron{-}Jones},
  title        = {Oversearching and Layered Search in Empirical Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1019--1024},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/001.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/QuinlanC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ramoni95,
  author       = {Marco Ramoni},
  title        = {Ignorant Influence Diagrams},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1869--1877},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/108.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Ramoni95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RaoB95,
  author       = {Rajesh P. N. Rao and
                  Dana H. Ballard},
  title        = {Natural Basis Functions and Topographic Memory for Face Recognition},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {10--19},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/002.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RaoB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReeceD95,
  author       = {Steven Reece and
                  Hugh F. Durrant{-}Whyte},
  title        = {A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {36--41},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/005.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ReeceD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Resnik95,
  author       = {Philip Resnik},
  title        = {Using Information Content to Evaluate Semantic Similarity in a Taxonomy},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {448--453},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/059.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Resnik95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RichardsFD95,
  author       = {Bradley L. Richards and
                  Boi Faltings and
                  Peter Duxbury{-}Smith},
  title        = {Case-based Modeling with Qualitative Indices},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1757--1765},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RichardsFD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rintanen95,
  author       = {Jussi Rintanen},
  title        = {On Specificity in Default Logic},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1474--1479},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/059.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Rintanen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RisslandD95,
  author       = {Edwina L. Rissland and
                  Jody J. Daniels},
  title        = {Using {CBR} to Drive {IR}},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {400--407},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/053.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RisslandD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Roth95,
  author       = {Dan Roth},
  title        = {Learning to Reason: The Non-Monotonic Case},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1178--1184},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/021.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Roth95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Russell95,
  author       = {Stuart Russell},
  title        = {Rationality and Intelligence},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {950--960},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/122.pdf},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Russell95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RussellBKK95,
  author       = {Stuart Russell and
                  John Binder and
                  Daphne Koller and
                  Keiji Kanazawa},
  title        = {Local Learning in Probabilistic Networks with Hidden Variables},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1146--1152},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/017.pdf},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/RussellBKK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SablonR95,
  author       = {Gunther Sablon and
                  Luc De Raedt},
  title        = {Forgetting and Compacting data in Concept Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {432--438},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/057.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SablonR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Samuelsson95,
  author       = {Christer Samuelsson},
  title        = {An Efficient Algorithm for Surface Generation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1414--1419},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/051.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Samuelsson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sanders95,
  author       = {Kathryn E. Sanders},
  title        = {Within the Letter of the Law: Open-Textured Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {408--416},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/054.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sanders95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SandholmL95,
  author       = {Tuomas Sandholm and
                  Victor R. Lesser},
  title        = {Coalition Formation among Bounded Rational Agents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {662--671},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/087.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SandholmL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SandholmL95a,
  author       = {Tuomas Sandholm and
                  Victor R. Lesser},
  title        = {Equilibrium Analysis of the Possibilities of Unenforced Exchange in
                  Multiagent Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {694--703},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/091.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SandholmL95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SasajimaKIM95,
  author       = {Munehiko Sasajima and
                  Yoshinobu Kitamura and
                  Mitsuru Ikeda and
                  Riichiro Mizoguchi},
  title        = {{FBRL:} {A} Function and Behavior Representation Language},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1830--1836},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/103.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SasajimaKIM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SasakiCT95,
  author       = {Takahiro Sasaki and
                  Fumihiko Chimura and
                  Mario Tokoro},
  title        = {The Trailblazer Search with a Hierarchical Abstract Map},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {259--265},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/034.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SasakiCT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchiexFV95,
  author       = {Thomas Schiex and
                  H{\'{e}}l{\`{e}}ne Fargier and
                  G{\'{e}}rard Verfaillie},
  title        = {Valued Constraint Satisfaction Problems: Hard and Easy Problems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {631--639},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/083.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchiexFV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchuurmansG95,
  author       = {Dale Schuurmans and
                  Russell Greiner},
  title        = {Practical {PAC} Learning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1169--1177},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/020.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchuurmansG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchweitzerS95,
  author       = {Haim Schweitzer and
                  Janell Straach},
  title        = {Utilizing Moment Invariants and Gr{\"{o}}bner Bases to Reason
                  About Shapes},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {908--914},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/117.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SchweitzerS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Selman95,
  author       = {Bart Selman},
  title        = {Stochastic Search and Phase Transitions: {AI} Meets Physics},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {998--1002},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/129.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Selman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SenK95,
  author       = {Sandip Sen and
                  Leslie Knight},
  title        = {A Genetic Prototype Learner},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {725--733},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SenK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SetionoL95,
  author       = {Rudy Setiono and
                  Huan Liu},
  title        = {Understanding Neural Networks via Rule Extraction},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {480--487},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/063.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SetionoL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShehoryK95,
  author       = {Onn Shehory and
                  Sarit Kraus},
  title        = {Task Allocation Via Coalition Formation Among Autonomous Agents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {655--661},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/086.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ShehoryK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SimmonsK95,
  author       = {Reid G. Simmons and
                  Sven Koenig},
  title        = {Probabilistic Robot Navigation in Partially Observable Environments},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1080--1087},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SimmonsK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Simon95,
  author       = {Herbert A. Simon},
  title        = {Explaining the Ineffable: {AI} on the Topics of Intuition, Insight
                  and Inspiration},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {939--949},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/121.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Simon95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sloman95,
  author       = {Aaron Sloman},
  title        = {A Philosophical Encounter},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {2037--2040},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/130.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sloman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Smets95,
  author       = {Philippe Smets},
  title        = {The Canonical Decomposition of a Weighted Belief},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1896--1901},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/111.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Smets95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithG95,
  author       = {Barbara M. Smith and
                  Stuart A. Grant},
  title        = {Sparse Constraint Graphs and Exceptionally Hard Problems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {646--654},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/085.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SmithG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmythK95,
  author       = {Barry Smyth and
                  Mark T. Keane},
  title        = {Remembering To Forget: {A} Competence-Preserving Case Deletion Policy
                  for Case-Based Reasoning Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {377--383},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SmythK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SoderlandFAL95,
  author       = {Stephen Soderland and
                  David Fisher and
                  Jonathan Aseltine and
                  Wendy G. Lehnert},
  title        = {{CRYSTAL:} Inducing a Conceptual Dictionary},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1314--1321},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/038.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SoderlandFAL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SongC95,
  author       = {Fei Song and
                  Robin Cohen},
  title        = {Improving Heuristic-Based Temporal Analysis of Narratives with Aspect
                  Determination},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1338--1345},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SongC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SperdutiSG95,
  author       = {Alessandro Sperduti and
                  Antonina Starita and
                  Christoph Goller},
  title        = {Learning Distributed Representations for the Classification of Terms},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {509--517},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/067.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SperdutiSG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SrinivasanH95,
  author       = {Raghavan Srinivasan and
                  Adele E. Howe},
  title        = {Comparison of Methods for Improving Search Efficiency in a Partial-Order
                  Planner},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1620--1626},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/078.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SrinivasanH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Steedman95,
  author       = {Mark Steedman},
  title        = {Dynamic Semantics for Tense and Aspect},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1292--1298},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/035.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Steedman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stentz95,
  author       = {Anthony Stentz},
  title        = {The Focussed D* Algorithm for Real-Time Replanning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1652--1659},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/082.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Stentz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Sun95,
  author       = {Ron Sun},
  title        = {A Microfeature Based Approach Towards Metaphor Interpretation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {424--431},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/056.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Sun95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TambeR95,
  author       = {Milind Tambe and
                  Paul S. Rosenbloom},
  title        = {{RESC:} An Approach for Real-time, Dynamic Agent Tracking},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {103--111},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/014.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TambeR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TanP95,
  author       = {Sek{-}Wah Tan and
                  Judea Pearl},
  title        = {Specificity and Inheritance in Default Reasoning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1480--1487},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/060.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TanP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Tani95,
  author       = {Jun Tani},
  title        = {Self-Organization of Symbolic Processes through Interaction with the
                  Physical World},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {112--118},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/015.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Tani95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Terzopoulos95,
  author       = {Demetri Terzopoulos},
  title        = {Modeling Living Systems for Computer Vision},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1003--1013},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/130.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Terzopoulos95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TesslerIL95,
  author       = {Shirley Tessler and
                  Yumi Iwasaki and
                  Kincho H. Law},
  title        = {Qualitative Structural Analysis Using Diagrammatic Reasoning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {885--893},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/114.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TesslerIL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher95,
  author       = {Michael Thielscher},
  title        = {The Logic of Dynamic Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1956--1963},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/119.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Thielscher95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Thielscher95a,
  author       = {Michael Thielscher},
  title        = {Computing Ramifications by Postprocessing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1994--2000},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/124.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Thielscher95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThrunM95,
  author       = {Sebastian Thrun and
                  Tom M. Mitchell},
  title        = {Learning One More Thing},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1217--1225},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/026.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ThrunM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TokunagaIT95,
  author       = {Takenobu Tokunaga and
                  Makoto Iwayama and
                  Hozumi Tanaka},
  title        = {Automatic Thesaurus Construction based on Grammatical Relations},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1308--1313},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TokunagaIT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TorreT95,
  author       = {Leendert W. N. van der Torre and
                  Yao{-}Hua Tan},
  title        = {Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible
                  Deontic Logic},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1525--1533},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/066.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TorreT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TourD95,
  author       = {Thierry Boy de la Tour and
                  St{\'{e}}phane Demri},
  title        = {On the Complexity of Extending Ground Resolution with Symmetry Rules},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {289--297},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/038.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TourD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TraversoS95,
  author       = {Paolo Traverso and
                  Luca Spalazzi},
  title        = {A Logic for Acting, Sensing and Planning},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1941--1949},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/117.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TraversoS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TurkG95,
  author       = {Andreas Turk and
                  G{\"{u}}nther G{\"{o}}rz},
  title        = {Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation
                  on the Connection Machine},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {473--479},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/062.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TurkG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/UhlinE95,
  author       = {Tomas Uhlin and
                  Jan{-}Olof Eklundh},
  title        = {Animate Vision in a Rich Environment},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {27--35},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/004.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/UhlinE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Val95,
  author       = {Alvaro del Val},
  title        = {An Analysis of Approximate Knowledge Compilation},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {830--836},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/107.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Val95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Verma95,
  author       = {Rakesh M. Verma},
  title        = {Unique Normal Forms and Confluence of Rewrite Systems: Persistence},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {362--370},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/048.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Verma95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VescoviFI95,
  author       = {Marcos Vescovi and
                  Adam Farquhar and
                  Yumi Iwasaki},
  title        = {Numerical Interval Simulation: Combined Qualitative and Quantitative
                  Simulation to Bound Behaviors of Non-Monotonic Systems},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1806--1813},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/100.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/VescoviFI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Vilain95,
  author       = {Marc B. Vilain},
  title        = {Semantic Inference in Natural Language: Validating a Tractable Approach},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1346--1353},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/042.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Vilain95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Williams95,
  author       = {Mary{-}Anne Williams},
  title        = {Iterated Theory Base Change: {A} Computational Model},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1541--1549},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/068.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Williams95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WilliamsPFS95,
  author       = {Mary{-}Anne Williams and
                  Maurice Pagnucco and
                  Norman Y. Foo and
                  Brailey Sims},
  title        = {Determining Explanations using Transmutations},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {822--829},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/106.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WilliamsPFS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WisniewskiB95,
  author       = {Robert W. Wisniewski and
                  Christopher M. Brown},
  title        = {Adaptable Planner Primitives for Real-World Robotic Applications},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {64--71},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/009.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/WisniewskiB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Wu95,
  author       = {Dekai Wu},
  title        = {Stochastic Inversion Transduction Grammars, with Application to Segmentation,
                  Bracketing, and Alignment of Parallel Corpora},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1328--1337},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/040.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Wu95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yager95,
  author       = {Ronald R. Yager},
  title        = {On the Representation of Nonmontonic Relations in the Theory of Evidence},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1902--1909},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/112.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yager95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yip95,
  author       = {Kenneth Yip},
  title        = {Reasoning about Fluid Motion {I:} Finding Structures},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1782--1788},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/098.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yip95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yugami95,
  author       = {Nobuhiro Yugami},
  title        = {Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {282--288},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Yugami95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangD95,
  author       = {Wei Zhang and
                  Thomas G. Dietterich},
  title        = {A Reinforcement Learning Approach to job-shop Scheduling},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1114--1120},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/013.pdf},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZhangD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangZ95,
  author       = {Jian Zhang and
                  Hantao Zhang},
  title        = {{SEM:} a System for Enumerating Models},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {298--303},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/039.pdf},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZhangZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhaoN95,
  author       = {Qi Zhao and
                  Toyoaki Nishida},
  title        = {Qualitative Interpretation of Spectral Images: Reasoning with Uncertain
                  Evidence},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {42--49},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-1/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZhaoN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zheng95,
  author       = {Zijian Zheng},
  title        = {Constructing Nominal X-of-N Attributes},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1064--1070},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/007.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zheng95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zilberstein95,
  author       = {Shlomo Zilberstein},
  title        = {Optimizing Decision Quality with Contract Algorithms},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1576--1582},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/072.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Zilberstein95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZukermanM95,
  author       = {Ingrid Zukerman and
                  Richard McConachy},
  title        = {Generating Discourse across Several User Models: Maximizing Belief
                  while Avoiding Boredom and Overload},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1251--1259},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/030.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZukermanM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1995,
  title        = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/proceedings/1995-1},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics