Abstract is missing.
- The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency ChecksGalia Angelova, Ognian Kalaydjiev, Walther von Hahn. 1-13 [doi]
- An Agent Model for NL Dialog InterfacesLiliana Ardissono, Guido Boella. 14-27 [doi]
- Constraint Solving in Logic Programming and in Automated Deduction: A ComparisonAlessandro Armando, Erica Melis, Silvio Ranise. 28-38 [doi]
- An Extension of SATPLAN for Planning with ConstraintsMarco Baioletti, Stefano Marcugini, Alfredo Milani. 39-49 [doi]
- Reasoning about Generalized IntervalsPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani. 50-61 [doi]
- Formalizing Belief Reports - The Approach and a Case StudyMassimo Benerecetti, Paolo Bouquet, Chiara Ghidini. 62-75 [doi]
- Extension Calculus and Query Answering in Prioritized Default LogicFarid Benhammadi, Pascal Nicolas, Torsten Schaub. 76-87 [doi]
- Study of Symmetry in Qualitative Temporal Interval NetworksBelaid Benhamou, Amar Isli. 88-101 [doi]
- A Blackboard Architecture for Guiding Interactive ProofsChristoph Benzmüller, Volker Sorge. 102-114 [doi]
- Combining Nonmonotonic Reasoning and Belief Revision: A Practical ApproachBrigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais. 115-128 [doi]
- Modelling Uncertainty with Kripke s SemanticsVeselka Boeva, Elena Tsiporkova, Bernard De Baets. 129-140 [doi]
- Using Linear Temporal Logic to Model and Solve Planning ProblemsSerenella Cerrito, Marta Cialdea Mayer. 141-152 [doi]
- Tailorable Interactive Agents for Scheduling MeetingsAmedeo Cesta, Marcello Collia, Daniela D Aloisi. 153-166 [doi]
- Planning Diagonalization ProofsLassaad Cheikhrouhou, Jörg H. Siekmann. 167-180 [doi]
- Theories and Proofs in Fault DiagnosisIlyas Cicekli. 181-194 [doi]
- Nonmonotonic Reasoning under Uncertain EvidenceClaudio Delrieux. 195-208 [doi]
- Multicontext Systems with Importing ContextsChristo Dichev. 209-220 [doi]
- Planning via Model Checking in Deterministic Domains: Preliminary ReportMauro Di Manzo, Enrico Giunchiglia, Simone Ruffino. 221-229 [doi]
- Acquisition of Useful Lemma-Knowledge in Automated ReasoningJoachim Draeger. 230-239 [doi]
- Constructing Translations Between Individual Vocabularies in Multi-Agent SystemsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. 240-253 [doi]
- Belief Reconstruction in Cooperative DialoguesLuis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi. 254-266 [doi]
- Model Theoretic Semantics for Information IntegrationChiara Ghidini, Luciano Serafini. 267-280 [doi]
- A Classification Learning Algorithm Robust to Irrelevant FeaturesH. Altay Güvenir. 281-290 [doi]
- Knowledge Assimilation and Proof Restoration Through the Addition of GoalsHisashi Hayashi. 291-302 [doi]
- Learning Multiple PredicatesAntonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi. 303-316 [doi]
- Modal Reasoning and Rough Set TheoryChurn-Jung Liau. 317-330 [doi]
- Overcoming Incomplete Information in NLP Systems - Verb SubcategorizationJosé Gabriel Pereira Lopes, João Balsa. 331-340 [doi]
- A Framework for Inductive Learning Based on Subsumption Lattices341-352 [doi]
- Dynamic Learning - An Approach to Forgetting in ART2 Neural NetworksAnatoly Nachev, Niall Griffith, Alexander Gerov. 353-362 [doi]
- A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based SystemsDaniel Pacholczyk. 363-376 [doi]
- SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical FrameworkRoberto Sebastiani, Adolfo Villafiorita. 377-388 [doi]
- Version Space Retraction with Instance-Based Boundary SetsEvgueni N. Smirnov, Peter J. Braspenning. 389-402 [doi]
- A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic ProgrammingIgor Stéphan. 403-416 [doi]
- A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical FrequenciesTarkan Tahseen, Duncan Fyfe Gillies. 417-426 [doi]
- Abstraction as a Form of Elaboration ToleranceAdolfo Villafiorita. 427-437 [doi]
- System Architecture of a Distributed Expert System for the Management of a National Data NetworkIoannis 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. 438-451 [doi]
- Strategy Selection for Automated Theorem ProvingAndreas Wolf. 452-465 [doi]
- An Agent for Intelligent Situation AssessmentQiang Yang, Irène Abi-Zeid, Luc Lamontagne. 466-474 [doi]
- Knowledge Granularity and Action SelectionYiming Ye, John K. Tsotsos. 475-488 [doi]
- Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based ReasoningZhong Zhang, Qiang Yang. 489-500 [doi]