default search action
3. AIMSA 1988: Varna, Bulgaria
- Tim O'Shea, Vassil Stoyanov Sgurev:
Artificial Intelligence III: Methodology, Systems, Applications - Proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1988, Varna, Bulgaria, September 20-23, 1988. North-Holland 1988, ISBN 0-444-70508-2
Automatic Reasoning and Knowledge Representation
- John A. Self:
Knowledge, Belief and User Modelling. AIMSA 1988: 3-9 - Yorick Wilks, Afzal Ballim:
Shifting the Belief Engine into Higher Gear. AIMSA 1988: 11-20 - Mark H. Burstein, Allan M. Collins:
Modeling a Theory of Human Plausible Reasoning. AIMSA 1988: 21-28 - Miroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon:
Creative Data Analysis: Rules Generation Based on ID3 Philosophy. AIMSA 1988: 29-36 - Ivan Popchev, Neli Zlatareva:
A Formal Treatment of Non-Monotonic Reasoning. AIMSA 1988: 37-42 - Andrzej Urbanski:
Formalizing Non-Monotonic Truth Maintenance Systems. AIMSA 1988: 43-50 - Boicho N. Kokinov:
Associate Memory-Based Reasoning: How to Represent and Retrieve Cases. AIMSA 1988: 51-58 - Jacques Nicholas:
Constructive Proofs for Concept Learning. AIMSA 1988: 59-66 - Chris Thornton:
A Computational Model for the Data Compression Metaphor. AIMSA 1988: 67-74 - Marc Ayel:
A Conceptual Model for Consistency of Knowledge Bases. AIMSA 1988: 75-82 - Ramon Brena:
Parallelizing a Natural Deduction System. AIMSA 1988: 83-92 - Manny Rayner, Åsa Hugosson, Annika Wærn:
Proving Correctness of Plans Considered as Procedural Programs. AIMSA 1988: 93-102 - Christer Bäckström:
Action Structures with Implicit Coordination. AIMSA 1988: 103-110 - Jean-Paul Arcangeli, Christian Pomian:
Plasma Pattern Compilation: a Formal Model and Some Examples. AIMSA 1988: 111-120 - Cristiano Castelfranchi:
Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System. AIMSA 1988: 121-127
Logic and Object-Oriented Programming
- Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev:
EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming. AIMSA 1988: 131-138 - Jean-Michel Hufflen:
Parallelizing Recursive Programs. AIMSA 1988: 139-148 - María-Blanca Ibáñez-Espiga:
Parallel Inferencing in First Order Logic Based on the Connection Method. AIMSA 1988: 149-157 - Rene Quiniou, Laurent Trilling:
Collective Predicates: Expressing Control of OR-Parallelism in Prolog. AIMSA 1988: 159-167 - Bertram Fronhöfer:
Plan Schemes in PLANLOG. AIMSA 1988: 169-176 - Rémy Bulot, Henri Meloni:
Processing Acoustic and Phonetic Knowledge in Prolog. AIMSA 1988: 177-185 - Zdravko Markov, Th. Risse:
Prolog Based Graph Representation of Polyhedra. AIMSA 1988: 187-194 - Ilia Iv. Dimitrov, O. Panev:
Object Semantics in INEX. AIMSA 1988: 195-202 - Giovanni Adorni, Marco Boero, Lina Massone:
Knowledge-Based Simulation: Some Issues and a Case Study. AIMSA 1988: 206-210
AI Architectures and Systems
- P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois:
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. AIMSA 1988: 213-221 - Ilian P. Chorbadjiev:
Systems with Lattice Inference. AIMSA 1988: 223-228 - Boris Petkoff:
ACCORD: A Metamodel for the II Generation Expert Systems. AIMSA 1988: 229-238 - Jacqueline Ayel:
A supervision System in Computer Integrated Manufacturing. AIMSA 1988: 239-246 - Atanas I. Terziev, Borislav K. Slavov:
An Architecture of Coupling Logic Programming Systems with Relational Database Systems. AIMSA 1988: 247-253 - Herve Philippe:
Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes. AIMSA 1988: 255-264 - Kostadin D. Kratchanov, Ivan N. Stanev, Y. Stereva, V. Vuleva-Mineva:
Rule Networks: A Style of Programming and an Expert System Toolkit. AIMSA 1988: 265-272
Natural Language Processing
- Eva Hajicová:
Natural Language Processing for Expert Systems. AIMSA 1988: 275-281 - Patrick Saint-Dizier:
On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars. AIMSA 1988: 283-290 - L. Sinapova:
Domain and Linguistic Knowledge Representation Based on Feature-value Structures. AIMSA 1988: 291-297 - Per Kreuger:
A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog. AIMSA 1988: 299-306 - F. Tcheou, Shunchu Qian:
An Experiment in French to Chinese Machine Translation. AIMSA 1988: 307-312 - Subramanian Raman, Narayanan Alwar:
Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages. AIMSA 1988: 313-318 - Wolfgang Menzel:
Diagnosing Grammatical Faults - A Deep-Modelled Approach. AIMSA 1988: 319-326
AI Applications
- Christo Dichev, Benedict du Boulay:
A Data Tracing System for Prolog Novices. AIMSA 1988: 329-336 - Ludmyl Dakowsky, Haralamby Vassilev, Ivan Momchev, Plamen Trampov, Botyo Filipov:
A Legal Model for Business Processes. AIMSA 1988: 337-340 - Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov:
Problems of Diagnostic Knowledge Processing. AIMSA 1988: 341-346 - János Demetrovics, Gy. Gyepesi, László Hannák, Tibor Remzsö, F. Urbánszki:
LATOR - a Database Management System for Local Networks. AIMSA 1988: 347-354 - Chantal Soulé-Dupuy:
An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System. AIMSA 1988: 355-365 - Valery A. Tzanov, Slavka G. Trifonova:
Real-time Diagnosis in Distributed Information System. AIMSA 1988: 367-372 - Alessandra Fanni, Alessandro Giua, M. G. Manca:
Automated Diagnosis for Digital Circuits. AIMSA 1988: 373-379 - Boris Bekjarov, Antony T. Popov, Ognyan Katov:
Collision-Free Movement Planning for Robot Manipulators. AIMSA 1988: 381-388 - Eugène Chouraqui, Carlo Ingilterra, Jean Véronis:
ARCHIMEDES: An Intelligent Geometry Tutoring System. AIMSA 1988: 389-396 - George I. Sharkov, Dimiter S. Dimitrov:
Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine. AIMSA 1988: 397-404 - Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray:
The Object Oriented Expert System - URBANEX. AIMSA 1988: 405-413 - Roar A. Fjellheim, Per-Olav Opdahl:
An Expert System for Quality Control in Paper Production. AIMSA 1988: 415-423 - Odd Jarl Borch, Gunnar Hartvigsen:
STRATEX - A Knowledge-Based System for Export of Fish and Fish Products. AIMSA 1988: 425-432 - Ivan Plander:
The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects. AIMSA 1988: 433-441
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.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: