8. AIMSA 1998: Sozopol, Bulgaria

@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},
  booktitle = {AIMSA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1480},
  year      = {1998},
  isbn      = {3-540-64993-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Galia Angelova, Ognian Kalaydjiev, Walther von Hahn:
  The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks. 1-13
  Electronic Edition (Springer LINK) BibTeX
• Liliana Ardissono, Guido Boella:
  An Agent Model for NL Dialog Interfaces. 14-27
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Armando, Erica Melis, Silvio Ranise:
  Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. 28-38
  Electronic Edition (Springer LINK) BibTeX
• Marco Baioletti, Stefano Marcugini, Alfredo Milani:
  An Extension of SATPLAN for Planning with Constraints. 39-49
  Electronic Edition (Springer LINK) BibTeX
• Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani:
  Reasoning about Generalized Intervals. 50-61
  Electronic Edition (Springer LINK) BibTeX
• Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini:
  Formalizing Belief Reports - The Approach and a Case Study. 62-75
  Electronic Edition (Springer LINK) BibTeX
• Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
  Extension Calculus and Query Answering in Prioritized Default Logic. 76-87
  Electronic Edition (Springer LINK) BibTeX
• Belaid Benhamou, Amar Isli:
  Study of Symmetry in Qualitative Temporal Interval Networks. 88-101
  Electronic Edition (Springer LINK) BibTeX
• Christoph Benzmüller, Volker Sorge:
  A Blackboard Architecture for Guiding Interactive Proofs. 102-114
  Electronic Edition (Springer LINK) BibTeX
• Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais:
  Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. 115-128
  Electronic Edition (Springer LINK) BibTeX
• Veselka Boeva, Elena Tsiporkova, Bernard De Baets:
  Modelling Uncertainty with Kripke's Semantics. 129-140
  Electronic Edition (Springer LINK) BibTeX
• Serenella Cerrito, Marta Cialdea Mayer:
  Using Linear Temporal Logic to Model and Solve Planning Problems. 141-152
  Electronic Edition (Springer LINK) BibTeX
• Amedeo Cesta, Marcello Collia, Daniela D'Aloisi:
  Tailorable Interactive Agents for Scheduling Meetings. 153-166
  Electronic Edition (Springer LINK) BibTeX
• Lassaad Cheikhrouhou, Jörg H. Siekmann:
  Planning Diagonalization Proofs. 167-180
  Electronic Edition (Springer LINK) BibTeX
• Ilyas Cicekli:
  Theories and Proofs in Fault Diagnosis. 181-194
  Electronic Edition (Springer LINK) BibTeX
• Claudio Delrieux:
  Nonmonotonic Reasoning under Uncertain Evidence. 195-208
  Electronic Edition (Springer LINK) BibTeX
• Christo Dichev:
  Multicontext Systems with Importing Contexts. 209-220
  Electronic Edition (Springer LINK) BibTeX
• Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino:
  Planning via Model Checking in Deterministic Domains: Preliminary Report. 221-229
  Electronic Edition (Springer LINK) BibTeX
• Joachim Draeger:
  Acquisition of Useful Lemma-Knowledge in Automated Reasoning. 230-239
  Electronic Edition (Springer LINK) BibTeX
• Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
  Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. 240-253
  Electronic Edition (Springer LINK) BibTeX
• Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi:
  Belief Reconstruction in Cooperative Dialogues. 254-266
  Electronic Edition (Springer LINK) BibTeX
• Chiara Ghidini, Luciano Serafini:
  Model Theoretic Semantics for Information Integration. 267-280
  Electronic Edition (Springer LINK) BibTeX
• H. Altay Güvenir:
  A Classification Learning Algorithm Robust to Irrelevant Features. 281-290
  Electronic Edition (Springer LINK) BibTeX
• Hisashi Hayashi:
  Knowledge Assimilation and Proof Restoration Through the Addition of Goals. 291-302
  Electronic Edition (Springer LINK) BibTeX
• Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi:
  Learning Multiple Predicates. 303-316
  Electronic Edition (Springer LINK) BibTeX
• Churn-Jung Liau:
  Modal Reasoning and Rough Set Theory. 317-330
  Electronic Edition (Springer LINK) BibTeX
• José Gabriel Pereira Lopes, João Balsa:
  Overcoming Incomplete Information in NLP Systems - Verb Subcategorization. 331-340
  Electronic Edition (Springer LINK) BibTeX
• Zdravko Markov, Nikolay Pelov:
  A Framework for Inductive Learning Based on Subsumption Lattices. 341-352
  Electronic Edition (Springer LINK) BibTeX
• Anatoly Nachev, Niall Griffith, Alexander Gerov:
  Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks. 353-362
  Electronic Edition (Springer LINK) BibTeX
• Daniel Pacholczyk:
  A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems. 363-376
  Electronic Edition (Springer LINK) BibTeX
• Roberto Sebastiani, Adolfo Villafiorita:
  SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. 377-388
  Electronic Edition (Springer LINK) BibTeX
• Evgueni N. Smirnov, Peter J. Braspenning:
  Version Space Retraction with Instance-Based Boundary Sets. 389-402
  Electronic Edition (Springer LINK) BibTeX
• Igor Stéphan:
  A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. 403-416
  Electronic Edition (Springer LINK) BibTeX
• Tarkan Tahseen, Duncan Fyfe Gillies:
  A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies. 417-426
  Electronic Edition (Springer LINK) BibTeX
• Adolfo Villafiorita:
  Abstraction as a Form of Elaboration Tolerance. 427-437
  Electronic Edition (Springer LINK) BibTeX
• Ioannis P. Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martín Molina, Sascha Ossowski, Ivan Futó, Zoltán Pásztor, János Szeredi, Igor Velbitskiy, Sergey Yershov, Sergey Golub, Igor Netesin:
  System Architecture of a Distributed Expert System for the Management of a National Data Network. 438-451
  Electronic Edition (Springer LINK) BibTeX
• Andreas Wolf:
  Strategy Selection for Automated Theorem Proving. 452-465
  Electronic Edition (Springer LINK) BibTeX
• Qiang Yang, Irène Abi-Zeid, Luc Lamontagne:
  An Agent for Intelligent Situation Assessment. 466-474
  Electronic Edition (Springer LINK) BibTeX
• Yiming Ye, John K. Tsotsos:
  Knowledge Granularity and Action Selection. 475-488
  Electronic Edition (Springer LINK) BibTeX
• Zhong Zhang, Qiang Yang:
  Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning. 489-500
  Electronic Edition (Springer LINK) BibTeX