Search dblp for Publications

export results for "toc:db/conf/aimsa/aimsa1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aimsa/AngelovaKH98,
  author       = {Galia Angelova and
                  Ognian Kalaydjiev and
                  Walther von Hahn},
  editor       = {Fausto Giunchiglia},
  title        = {The Gain of Failures: Using Side-Effects of Anaphora Resolution for
                  Term Consistency Checks},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057430},
  doi          = {10.1007/BFB0057430},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/AngelovaKH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/ArdissoB98,
  author       = {Liliana Ardissono and
                  Guido Boella},
  editor       = {Fausto Giunchiglia},
  title        = {An Agent Model for {NL} Dialog Interfaces},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {14--27},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057431},
  doi          = {10.1007/BFB0057431},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ArdissoB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/ArmandoMR98,
  author       = {Alessandro Armando and
                  Erica Melis and
                  Silvio Ranise},
  editor       = {Fausto Giunchiglia},
  title        = {Constraint Solving in Logic Programming and in Automated Deduction:
                  {A} Comparison},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {28--38},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057432},
  doi          = {10.1007/BFB0057432},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ArmandoMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BaiolettiMM98,
  author       = {Marco Baioletti and
                  Stefano Marcugini and
                  Alfredo Milani},
  editor       = {Fausto Giunchiglia},
  title        = {An Extension of {SATPLAN} for Planning with Constraints},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {39--49},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057433},
  doi          = {10.1007/BFB0057433},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BaiolettiMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BalbianiCCO98,
  author       = {Philippe Balbiani and
                  Jean{-}Fran{\c{c}}ois Condotta and
                  Luis Fari{\~{n}}as del Cerro and
                  Aomar Osmani},
  editor       = {Fausto Giunchiglia},
  title        = {Reasoning about Generalized Intervals},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057434},
  doi          = {10.1007/BFB0057434},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BalbianiCCO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BenerecettiBG98,
  author       = {Massimo Benerecetti and
                  Paolo Bouquet and
                  Chiara Ghidini},
  editor       = {Fausto Giunchiglia},
  title        = {Formalizing Belief Reports - The Approach and a Case Study},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {62--75},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057435},
  doi          = {10.1007/BFB0057435},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BenerecettiBG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BenhammadiNS98,
  author       = {Farid Benhammadi and
                  Pascal Nicolas and
                  Torsten Schaub},
  editor       = {Fausto Giunchiglia},
  title        = {Extension Calculus and Query Answering in Prioritized Default Logic},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057436},
  doi          = {10.1007/BFB0057436},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BenhammadiNS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BenhamouI98,
  author       = {Belaid Benhamou and
                  Amar Isli},
  editor       = {Fausto Giunchiglia},
  title        = {Study of Symmetry in Qualitative Temporal Interval Networks},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {88--101},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057437},
  doi          = {10.1007/BFB0057437},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BenhamouI98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BenzmullerS98,
  author       = {Christoph Benzm{\"{u}}ller and
                  Volker Sorge},
  editor       = {Fausto Giunchiglia},
  title        = {A Blackboard Architecture for Guiding Interactive Proofs},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {102--114},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057438},
  doi          = {10.1007/BFB0057438},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BenzmullerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BessantGMS98,
  author       = {Brigitte Bessant and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Pierre Marquis and
                  Lakhdar Sais},
  editor       = {Fausto Giunchiglia},
  title        = {Combining Nonmonotonic Reasoning and Belief Revision: {A} Practical
                  Approach},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {115--128},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057439},
  doi          = {10.1007/BFB0057439},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BessantGMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BoevaTB98,
  author       = {Veselka Boeva and
                  Elena Tsiporkova and
                  Bernard De Baets},
  editor       = {Fausto Giunchiglia},
  title        = {Modelling Uncertainty with Kripke's Semantics},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {129--140},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057440},
  doi          = {10.1007/BFB0057440},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BoevaTB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/CerritoM98,
  author       = {Serenella Cerrito and
                  Marta Cialdea Mayer},
  editor       = {Fausto Giunchiglia},
  title        = {Using Linear Temporal Logic to Model and Solve Planning Problems},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {141--152},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057441},
  doi          = {10.1007/BFB0057441},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/CerritoM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/CerroHLR98,
  author       = {Luis Fari{\~{n}}as del Cerro and
                  Andreas Herzig and
                  Dominique Longin and
                  Omar Rifi},
  editor       = {Fausto Giunchiglia},
  title        = {Belief Reconstruction in Cooperative Dialogues},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {254--266},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057450},
  doi          = {10.1007/BFB0057450},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/CerroHLR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/CestaCD98,
  author       = {Amedeo Cesta and
                  Marcello Collia and
                  Daniela D'Aloisi},
  editor       = {Fausto Giunchiglia},
  title        = {Tailorable Interactive Agents for Scheduling Meetings},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {153--166},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057442},
  doi          = {10.1007/BFB0057442},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/CestaCD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/CheikhrouhouS98,
  author       = {Lassaad Cheikhrouhou and
                  J{\"{o}}rg H. Siekmann},
  editor       = {Fausto Giunchiglia},
  title        = {Planning Diagonalization Proofs},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {167--180},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057443},
  doi          = {10.1007/BFB0057443},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/CheikhrouhouS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Cicekli98,
  author       = {Ilyas Cicekli},
  editor       = {Fausto Giunchiglia},
  title        = {Theories and Proofs in Fault Diagnosis},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {181--194},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057444},
  doi          = {10.1007/BFB0057444},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Cicekli98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Delrieux98,
  author       = {Claudio Delrieux},
  editor       = {Fausto Giunchiglia},
  title        = {Nonmonotonic Reasoning under Uncertain Evidence},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {195--208},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057445},
  doi          = {10.1007/BFB0057445},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Delrieux98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Dichev98,
  author       = {Christo Dichev},
  editor       = {Fausto Giunchiglia},
  title        = {Multicontext Systems with Importing Contexts},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {209--220},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057446},
  doi          = {10.1007/BFB0057446},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Dichev98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Draeger98,
  author       = {Joachim Draeger},
  editor       = {Fausto Giunchiglia},
  title        = {Acquisition of Useful Lemma-Knowledge in Automated Reasoning},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {230--239},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057448},
  doi          = {10.1007/BFB0057448},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/Draeger98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/EijkBHM98,
  author       = {Rogier M. van Eijk and
                  Frank S. de Boer and
                  Wiebe van der Hoek and
                  John{-}Jules Ch. Meyer},
  editor       = {Fausto Giunchiglia},
  title        = {Constructing Translations Between Individual Vocabularies in Multi-Agent
                  Systems},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {240--253},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057449},
  doi          = {10.1007/BFB0057449},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/EijkBHM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/GhidiniS98,
  author       = {Chiara Ghidini and
                  Luciano Serafini},
  editor       = {Fausto Giunchiglia},
  title        = {Model Theoretic Semantics for Information Integration},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {267--280},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057451},
  doi          = {10.1007/BFB0057451},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/GhidiniS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Guvenir98,
  author       = {H. Altay G{\"{u}}venir},
  editor       = {Fausto Giunchiglia},
  title        = {A Classification Learning Algorithm Robust to Irrelevant Features},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {281--290},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057452},
  doi          = {10.1007/BFB0057452},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Guvenir98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Hayashi98,
  author       = {Hisashi Hayashi},
  editor       = {Fausto Giunchiglia},
  title        = {Knowledge Assimilation and Proof Restoration Through the Addition
                  of Goals},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {291--302},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057453},
  doi          = {10.1007/BFB0057453},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Hayashi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/KakasLR98,
  author       = {Antonis C. Kakas and
                  Evelina Lamma and
                  Fabrizio Riguzzi},
  editor       = {Fausto Giunchiglia},
  title        = {Learning Multiple Predicates},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {303--316},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057454},
  doi          = {10.1007/BFB0057454},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/KakasLR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Liau98,
  author       = {Churn{-}Jung Liau},
  editor       = {Fausto Giunchiglia},
  title        = {Modal Reasoning and Rough Set Theory},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {317--330},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057455},
  doi          = {10.1007/BFB0057455},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Liau98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/LopesB98,
  author       = {Jos{\'{e}} Gabriel Pereira Lopes and
                  Jo{\~{a}}o Balsa},
  editor       = {Fausto Giunchiglia},
  title        = {Overcoming Incomplete Information in {NLP} Systems - Verb Subcategorization},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {331--340},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057456},
  doi          = {10.1007/BFB0057456},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/LopesB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/ManzoGR98,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia and
                  Simone Ruffino},
  editor       = {Fausto Giunchiglia},
  title        = {Planning via Model Checking in Deterministic Domains: Preliminary
                  Report},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {221--229},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057447},
  doi          = {10.1007/BFB0057447},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ManzoGR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/MarkovP98,
  author       = {Zdravko Markov and
                  Nikolay Pelov},
  editor       = {Fausto Giunchiglia},
  title        = {A Framework for Inductive Learning Based on Subsumption Lattices},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {341--352},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057457},
  doi          = {10.1007/BFB0057457},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/MarkovP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/NachevGG98,
  author       = {Anatoly Nachev and
                  Niall Griffith and
                  Alexander Gerov},
  editor       = {Fausto Giunchiglia},
  title        = {Dynamic Learning - An Approach to Forgetting in {ART2} Neural Networks},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {353--362},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057458},
  doi          = {10.1007/BFB0057458},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/NachevGG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Pacholczyk98,
  author       = {Daniel Pacholczyk},
  editor       = {Fausto Giunchiglia},
  title        = {A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based
                  Systems},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {363--376},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057459},
  doi          = {10.1007/BFB0057459},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Pacholczyk98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/SebastianiV98,
  author       = {Roberto Sebastiani and
                  Adolfo Villafiorita},
  editor       = {Fausto Giunchiglia},
  title        = {SAT-Based Decision Procedures for Normal Modal Logics: {A} Theoretical
                  Framework},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {377--388},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057460},
  doi          = {10.1007/BFB0057460},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/SebastianiV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/SmirnovB98,
  author       = {Evgueni N. Smirnov and
                  Peter J. Braspenning},
  editor       = {Fausto Giunchiglia},
  title        = {Version Space Retraction with Instance-Based Boundary Sets},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {389--402},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057461},
  doi          = {10.1007/BFB0057461},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/SmirnovB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Stephan98,
  author       = {Igor St{\'{e}}phan},
  editor       = {Fausto Giunchiglia},
  title        = {A New Abstract Logic Programming Language and Its Quantifier Elimination
                  Method for Disjunctive Logic Programming},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {403--416},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057462},
  doi          = {10.1007/BFB0057462},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Stephan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/TahseenG98,
  author       = {Tarkan Tahseen and
                  Duncan Fyfe Gillies},
  editor       = {Fausto Giunchiglia},
  title        = {A New Approach to Learning Bayesian Network Classifiers from Data:
                  Using Observed Statistical Frequencies},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {417--426},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057463},
  doi          = {10.1007/BFB0057463},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/TahseenG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Villafiorita98,
  author       = {Adolfo Villafiorita},
  editor       = {Fausto Giunchiglia},
  title        = {Abstraction as a Form of Elaboration Tolerance},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {427--437},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057464},
  doi          = {10.1007/BFB0057464},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Villafiorita98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/VlahavasBSMOFPSVYGN98,
  author       = {Ioannis P. Vlahavas and
                  Nick Bassiliades and
                  Ilias Sakellariou and
                  Mart{\'{\i}}n Molina and
                  Sascha Ossowski and
                  Ivan Fut{\'{o}} and
                  Zolt{\'{a}}n P{\'{a}}sztor and
                  J{\'{a}}nos Szeredi and
                  Igor Velbitskiy and
                  Sergey Yershov and
                  Sergey Golub and
                  Igor Netesin},
  editor       = {Fausto Giunchiglia},
  title        = {System Architecture of a Distributed Expert System for the Management
                  of a National Data Network},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {438--451},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057465},
  doi          = {10.1007/BFB0057465},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/VlahavasBSMOFPSVYGN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Wolf98,
  author       = {Andreas Wolf},
  editor       = {Fausto Giunchiglia},
  title        = {Strategy Selection for Automated Theorem Proving},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {452--465},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057466},
  doi          = {10.1007/BFB0057466},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/Wolf98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/YangAL98,
  author       = {Qiang Yang and
                  Ir{\`{e}}ne Abi{-}Zeid and
                  Luc Lamontagne},
  editor       = {Fausto Giunchiglia},
  title        = {An Agent for Intelligent Situation Assessment},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {466--474},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057467},
  doi          = {10.1007/BFB0057467},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/YangAL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/YeT98,
  author       = {Yiming Ye and
                  John K. Tsotsos},
  editor       = {Fausto Giunchiglia},
  title        = {Knowledge Granularity and Action Selection},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {475--488},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057468},
  doi          = {10.1007/BFB0057468},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/YeT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/ZhangY98,
  author       = {Zhong Zhang and
                  Qiang Yang},
  editor       = {Fausto Giunchiglia},
  title        = {Towards Lifetime Maintenance of Case Based Indexes for Continual Case
                  Based Reasoning},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {489--500},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057469},
  doi          = {10.1007/BFB0057469},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ZhangY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aimsa/1998,
  editor       = {Fausto Giunchiglia},
  title        = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057429},
  doi          = {10.1007/BFB0057429},
  isbn         = {3-540-64993-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.