default search action
2. AIMSA 1986: Varna, Bulgaria
- Philippe Jorrand, Vassil Stoyanov Sgurev:
Artificial Intelligence II: Methodology, Systems, Applications - Proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1986, Varna, Bulgaria, September 16-19, 1986. North-Holland 1987, ISBN 0-444-70205-9
Fundamentals Of Artificial Intellegence
- Fritz Wysotzki:
Program Synthesis by Hierarchical Planning. AIMSA 1986: 3-11 - Herve Perdrix:
Program Synthesis from Specification. AIMSA 1986: 13-20 - Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder:
An Implemented Simulation of a Parallel Theorem Prover. AIMSA 1986: 21-28 - Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann:
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA 1986: 29-36
AI Programming and Architectures
- Marie-Claude Gaudel:
Logic Programming and Automatization of Software Test Strategies. AIMSA 1986: 39-45 - Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre:
An Approach to Compiling PROLOG Programs. AIMSA 1986: 47-53 - Claudio Arbib, Gianna Cioni:
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. AIMSA 1986: 55-61 - Krassimir Yalumov:
The Nesy Prolog. AIMSA 1986: 63-68 - Elio Giovannetti, Corrado Moiso:
Some Aspects of the Integration between Logic Programming and Fiunctional Programming. AIMSA 1986: 69-79 - Maurice Bruynooghe:
Is Logic Programming "Real" Programming? AIMSA 1986: 81-91 - Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103 - Pier Giorgio Bosco, Elio Giovannetti:
A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA 1986: 105-116 - François-Xavier Testard-Vaillant:
Exceptions and Interpreters. AIMSA 1986: 117-124 - Ljubomir Stoitschev, Anatoly Antonov:
Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach. AIMSA 1986: 125-132 - Alexander S. Narin'yani:
Parallelism vs Knowledge Processing. AIMSA 1986: 133-139 - Ioan Gergescu:
An Inference Processor Based on Reactive Memory. AIMSA 1986: 141-148 - Alexander S. Narin'yani, Vitaly Telerman, V. E. Dmitriev:
Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases. AIMSA 1986: 149-154 - Krastu St. Arabadjisky:
Data Flow Computation Model and Analysis of its Asynchrony. AIMSA 1986: 155-162
Reasoning Systems And Applications
- Roberto Barbuti, C. D'Ascanio, Franco Turini:
Cooperating Logic Theories. AIMSA 1986: 165-172 - Willem Rosiers, Maurice Bruynooghe:
Empirical Study of some Constraints Satisfaction Algorithms. AIMSA 1986: 173-180 - George Gargov, Slavian Radev:
Expert Logics. AIMSA 1986: 181-188 - Vasil Vasilev:
Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers. AIMSA 1986: 189-196 - Mihai Barbuceanu, Stefan Trausan-Matu:
XRL: An Evolutionary Multi-Paradigm Environment for AI Programming. AIMSA 1986: 197-205 - Vladimir F. Khoroshevsky:
Computer Aided Design of Expert Systems- An Instrumental Approach. AIMSA 1986: 207-213 - Miroslaw Dabrowski, Maciej Michalewicz:
Statistical and Expert Approach to Computer Data Analysis. AIMSA 1986: 215-218 - Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova:
Liposome Production and Protoplast Electrofusion Expert Systems. AIMSA 1986: 219-226 - Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski:
Expert Systems for Mechanical Parts Design. AIMSA 1986: 227-234 - Valentin Tomov, Margarita Tacheva, Alexander Grigorov:
ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace. AIMSA 1986: 235-242
Knowledge Representation and Acquisition
- Michel de Rougemont:
On the Quantification of Knowledge. AIMSA 1986: 245-253 - Dimiter Vakarelov:
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. AIMSA 1986: 255-260 - Vesselin I. Kirov:
Conceptual Modelling Based Knowledge Representation Language. AIMSA 1986: 261-270 - Nur Erol, Christian Freksa:
An Approach to Structuring and Formalizing Knowledge for a Design Support System. AIMSA 1986: 271-279 - Vassil Stoyanov Sgurev, Danail Dochev, Genadi Agre, Christo Dichev, Zdravko Markov:
Knowledge Acquisition and Man-Machine Interface in the Digs Expert System. AIMSA 1986: 281-287 - Werner Konrad:
BERGSON - toward a Knowledge Modelling Tool. AIMSA 1986: 289-300 - Vlad G. Dabija, Tatiana Dabija:
A Parameterized Learning Environment for Implementing Expert Systems. AIMSA 1986: 301-308
Natural Language Processing
- Eva Hajicová:
Focussing- A Meeting Point Linguistics and Artificial Intelligence. AIMSA 1986: 311-321 - Irina Kononenko:
The Cognitive Context of Language Interaction. AIMSA 1986: 323-327 - S. P. Trapeznikov:
The System for the Development of Linguistic Processor. AIMSA 1986: 329-333 - Irina Nenova:
Language-Based Environment for Developing ATN-Grammars. AIMSA 1986: 335-340 - Lydia Sinapova, Genadi Agre:
An Approach to Building a Linguistic Processor for Bulgarian Texts. AIMSA 1986: 341-348 - Massimo Marino, Antonella Spiezio, Giacomo Ferrari, Irina Prodanof:
SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge Bases. AIMSA 1986: 349-356 - Heinz Marburger:
A Strategy for Producing Cooperative nl Reactions in a Database Interface. AIMSA 1986: 357-365 - Hans-Joachim Novak, Bernd Neumann:
Text Generation Based on Visual Data: Descriptions of Traffic Scenes. AIMSA 1986: 367-374 - Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist:
Coping with the Intrinsic and Deictic Uses of Spatial Prepositions. AIMSA 1986: 375-382
Computer Vision And Robotics
- Bernd Neumann:
Towards Computer Aided Vision System Configuration. AIMSA 1986: 385-393 - Giovanni Adorni, Lina Massone:
Coding Patterns. AIMSA 1986: 395-402
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 2024-12-26 01:01 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: