Abstract is missing.
- The Use of Renaming to Improve the Effeciency of Clausal Theorem ProvingThierry Boy de la Tour, Gilles Chaminade. 3-12
- Compilation of Recursive Two-Literal Clauses into Unification AlgorithmsHans Jürgen Ohlbach. 13-22
- An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem ProverRicardo Caferra, Nicolas Zabel. 23-32
- Logics with Structured ContextsLuis Fariñas del Cerro, Martti Penttonen. 43-50
- Unexpected and Unwanted Results of CircumscriptionYves Moinard, Raymond Rolland. 61-70
- Querying an Inconstistent DatabaseLaurence Cholvy. 81-92
- An Approach to the Modelling of Natural ReasoningMare Koit, Haldur Oim. 93-101
- About Redundant Inequalities Generated by Fourier s AlgorithmJean-Louis Imbert. 117-127
- Equations over Trees and Lists with ConstraintsStéphane Grandcolas. 129-138
- Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming LanguagesJean-Marc Boï, Antoine Rauzy. 139-148
- Rule-Based Mechanism for Constraint Checking in Logic ProgramsElmar Eder, Yan Liu. 149-158
- A Compiling Approach for Exploiting AND/OR Parallelism in Logic ProgramsMounira Belmesk. 159-168
- Logical Inference in a Network EnvironmentZdravko Markov, Christo Dichev. 169-178
- A Practicable Approach to Functional Logic ProgrammingHans-Joachim Goltz. 179-188
- Combining Horn Clause Logic with Rewrite RulesPeter Baumgartner. 189-198
- Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 LanguageTzvetan T. Drashansky, Atanas Radensky. 199-208
- Kohonen Feature Maps: Toward Invariant Character RecognitionArnulfo P. Azcarraga, Bernard Amy. 209-217
- Hybrid Connectionist Rule-Based SystemsNikola K. Kasabov. 227-235
- An Object-Oriented Representation Framework for Hierarchical Evidential ReasoningSlawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek. 239-248
- Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert SystemIvan H. Chernev, Danail Dochev. 259-263
- Developing a Knowledge Based SystemBernard Migault, François Rousselot, Bernard Keith. 275-284
- Defeasible Reasoning by Using AnalogiesVladimir Simov Jotsov. 285-292
- A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense KnowledgeMichel Aurnague, Mario Borillo. 305-317
- What s in a DET ? Steps towards Determiner-Dependent InferencingJürgen Allgayer, Carola Reddig. 319-328
- Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface SystemGiacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti. 329-340
- Analogical Reasoning and Sentence ParsingIsabelle Robba. 341-350
- Speech Act Therory and Epistemic PlanningAllan Ramsay. 351-360
- Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language TextRuslan Mitkov, Galya Simeonova. 361-370
- Syntactic Processing of Unknown WordsGregor Erbach. 371-381
- A Network Parsing SchemeLydia Sinapova. 383-391
- How to Deal Intelligently with Unexpected?Sabine Letellier, Jean Pierre Fournier. 393-402
- Knoweldge-Based Interpretation of Biophysical ImagesBoiko M. Balev, George I. Sharkov. 405-414
- Quantitative Ecological OpticsDavid Young. 423-431