![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8. AIMSA 1998: Sozopol, Bulgaria
- Fausto Giunchiglia:
Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Lecture Notes in Computer Science 1480, Springer 1998, ISBN 3-540-64993-X - Galia Angelova, Ognian Kalaydjiev, Walther von Hahn:
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks. 1-13 - Liliana Ardissono, Guido Boella:
An Agent Model for NL Dialog Interfaces. 14-27 - Alessandro Armando, Erica Melis, Silvio Ranise:
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. 28-38 - Marco Baioletti, Stefano Marcugini, Alfredo Milani:
An Extension of SATPLAN for Planning with Constraints. 39-49 - Philippe Balbiani
, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
:
Reasoning about Generalized Intervals. 50-61 - Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini:
Formalizing Belief Reports - The Approach and a Case Study. 62-75 - Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
Extension Calculus and Query Answering in Prioritized Default Logic. 76-87 - Belaid Benhamou, Amar Isli:
Study of Symmetry in Qualitative Temporal Interval Networks. 88-101 - Christoph Benzmüller, Volker Sorge:
A Blackboard Architecture for Guiding Interactive Proofs. 102-114 - Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais:
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. 115-128 - Veselka Boeva, Elena Tsiporkova, Bernard De Baets:
Modelling Uncertainty with Kripke's Semantics. 129-140 - Serenella Cerrito, Marta Cialdea Mayer:
Using Linear Temporal Logic to Model and Solve Planning Problems. 141-152 - Amedeo Cesta, Marcello Collia, Daniela D'Aloisi:
Tailorable Interactive Agents for Scheduling Meetings. 153-166 - Lassaad Cheikhrouhou, Jörg H. Siekmann:
Planning Diagonalization Proofs. 167-180 - Ilyas Cicekli:
Theories and Proofs in Fault Diagnosis. 181-194 - Claudio Delrieux
:
Nonmonotonic Reasoning under Uncertain Evidence. 195-208 - Christo Dichev:
Multicontext Systems with Importing Contexts. 209-220 - Mauro Di Manzo, Enrico Giunchiglia
, Simone Ruffino:
Planning via Model Checking in Deterministic Domains: Preliminary Report. 221-229 - Joachim Draeger
:
Acquisition of Useful Lemma-Knowledge in Automated Reasoning. 230-239 - 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 - Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi:
Belief Reconstruction in Cooperative Dialogues. 254-266 - Chiara Ghidini, Luciano Serafini
:
Model Theoretic Semantics for Information Integration. 267-280 - H. Altay Güvenir:
A Classification Learning Algorithm Robust to Irrelevant Features. 281-290 - Hisashi Hayashi:
Knowledge Assimilation and Proof Restoration Through the Addition of Goals. 291-302 - Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi:
Learning Multiple Predicates. 303-316 - Churn-Jung Liau
:
Modal Reasoning and Rough Set Theory. 317-330 - José Gabriel Pereira Lopes
, João Balsa:
Overcoming Incomplete Information in NLP Systems - Verb Subcategorization. 331-340 - Zdravko Markov, Nikolay Pelov:
A Framework for Inductive Learning Based on Subsumption Lattices. 341-352 - Anatoly Nachev, Niall Griffith, Alexander Gerov:
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks. 353-362 - Daniel Pacholczyk:
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems. 363-376 - Roberto Sebastiani, Adolfo Villafiorita:
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. 377-388 - Evgueni N. Smirnov, Peter J. Braspenning:
Version Space Retraction with Instance-Based Boundary Sets. 389-402 - Igor Stéphan:
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. 403-416 - Tarkan Tahseen, Duncan Fyfe Gillies:
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies. 417-426 - Adolfo Villafiorita:
Abstraction as a Form of Elaboration Tolerance. 427-437 - 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 - Andreas Wolf:
Strategy Selection for Automated Theorem Proving. 452-465 - Qiang Yang, Irène Abi-Zeid, Luc Lamontagne:
An Agent for Intelligent Situation Assessment. 466-474 - Yiming Ye, John K. Tsotsos:
Knowledge Granularity and Action Selection. 475-488 - Zhong Zhang, Qiang Yang:
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning. 489-500
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.