4. AIMSA 1990: Albena, Bulgaria

Philippe Jorrand, Vasil Sgurev (Eds.): Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '90), Albena, Bulgaria, 19-22, September, 1990. North-Holland, 1990, ISBN 0-444-88771-7

Automated Reasoning And Logics For AI

Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. 3-12 BibTeX
Hans Jürgen Ohlbach: Compilation of Recursive Two-Literal Clauses into Unification Algorithms. 13-22 BibTeX
Ricardo Caferra, Nicolas Zabel: An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. 23-32 BibTeX
Philippe Besnard: Logics for Automated Reasoning in the Presence of Contradictions. 33-42 BibTeX
Luis Fariñas del Cerro, Martti Penttonen: Logics with Structured Contexts. 43-50 BibTeX
Fabrizio Sebastiani: A Proof-Theoretic Account of Model-Preference Default Reasoning. 51-60 BibTeX
Yves Moinard, Raymond Rolland: Unexpected and Unwanted Results of Circumscription. 61-70 BibTeX
Ivan Popchev, Neli Zlatareva, Marion Mircheva: A Logic for Truth Maintenance Reasoning. 71-80 BibTeX
Laurence Cholvy: Querying an Inconstistent Database. 81-92 BibTeX
Mare Koit, Haldur Oim: An Approach to the Modelling of Natural Reasoning. 93-101 BibTeX
Camelia Yoinea: Number Generalization in Learning from Examples. 103-113 BibTeX

Languages And Computational Strucures For AI

Jean-Louis Imbert: About Redundant Inequalities Generated by Fourier's Algorithm. 117-127 BibTeX
Stéphane Grandcolas: Equations over Trees and Lists with Constraints. 129-138 BibTeX
Jean-Marc Boï, Antoine Rauzy: Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. 139-148 BibTeX
Elmar Eder, Yan Liu: Rule-Based Mechanism for Constraint Checking in Logic Programs. 149-158 BibTeX
Mounira Belmesk: A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. 159-168 BibTeX
Zdravko Markov, Christo Dichev: Logical Inference in a Network Environment. 169-178 BibTeX
Hans-Joachim Goltz: A Practicable Approach to Functional Logic Programming. 179-188 BibTeX
Peter Baumgartner: Combining Horn Clause Logic with Rewrite Rules. 189-198 BibTeX
Tzvetan T. Drashansky, Atanas Radensky: Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. 199-208 BibTeX
Arnulfo P. Azcarraga, Bernard Amy: Kohonen Feature Maps: Toward Invariant Character Recognition. 209-217 BibTeX
Yuri P. Serdyuk: Occam Based Neural Network Description Language. 219-226 BibTeX
Nikola K. Kasabov: Hybrid Connectionist Rule-Based Systems. 227-235 BibTeX

Knowledge Representation, Knowledge-Based Systems

Slawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek: An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. 239-248 BibTeX
Ilia Iv. Dimitrov: A Systems-Based Framework for Knowledge Representation. 249-258 BibTeX
Ivan H. Chernev, Danail Dochev: Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. 259-263 BibTeX
R. O. Lindsay, A. G. Priest: On the Use of Diagrams. 265-273 BibTeX
Bernard Migault, François Rousselot, Bernard Keith: Developing a Knowledge Based System. 275-284 BibTeX
Vladimir Simov Jotsov: Defeasible Reasoning by Using Analogies. 285-292 BibTeX
Georgi Simov: Solving Program Configuration Task through a Knowledge Based System. 293-302 BibTeX

Natural Language Processing

Michel Aurnague, Mario Borillo: A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. 305-317 BibTeX
Jürgen Allgayer, Carola Reddig: What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. 319-328 BibTeX
Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti: Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. 329-340 BibTeX
Isabelle Robba: Analogical Reasoning and Sentence Parsing. 341-350 BibTeX
Allan Ramsay: Speech Act Therory and Epistemic Planning. 351-360 BibTeX
Ruslan Mitkov, Galya Simeonova: Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. 361-370 BibTeX
Gregor Erbach: Syntactic Processing of Unknown Words. 371-381 BibTeX
Lydia Sinapova: A Network Parsing Scheme. 383-391 BibTeX
Sabine Letellier, Jean Pierre Fournier: How to Deal Intelligently with Unexpected? 393-402 BibTeX

Image Understanding And Computer Vision

Boiko M. Balev, George I. Sharkov: Knoweldge-Based Interpretation of Biophysical Images. 405-414 BibTeX
Nikolai G. Fedotov, Michael E. Larin: Computer Vision and Stochastic Geometry. 415-421 BibTeX
David Young: Quantitative Ecological Optics. 423-431 BibTeX