| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | George I. Sharkov, Dimiter S. Dimitrov |
Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine.  |
AIMSA  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Cristiano Castelfranchi |
Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Atanas I. Terziev, Borislav K. Slavov |
An Architecture of Coupling Logic Programming Systems with Relational Database Systems. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Rémy Bulot, Henri Meloni |
Processing Acoustic and Phonetic Knowledge in Prolog. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Urbanski |
Formalizing Non-Monotonic Truth Maintenance Systems. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Boris Petkoff |
ACCORD: A Metamodel for the II Generation Expert Systems. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Roar A. Fjellheim, Per-Olav Opdahl |
An Expert System for Quality Control in Paper Production. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Subramanian Raman, Narayanan Alwar |
Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon |
Creative Data Analysis: Rules Generation Based on ID3 Philosophy. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yorick Wilks, Afzal Ballim |
Shifting the Belief Engine into Higher Gear. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Adorni, Marco Boero, Lina Massone |
Knowledge-Based Simulation: Some Issues and a Case Study. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Manny Rayner, Åsa Hugosson, Annika Wærn |
Proving Correctness of Plans Considered as Procedural Programs. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Tim O'Shea, Vassil Stoyanov Sgurev (eds.) |
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 |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Chris Thornton |
A Computational Model for the Data Compression Metaphor. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Kostadin D. Kratchanov, Ivan N. Stanev, Y. Stereva, V. Vuleva-Mineva |
Rule Networks: A Style of Programming and an Expert System Toolkit. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Per Kreuger |
A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ilia Iv. Dimitrov, O. Panev |
Object Semantics in INEX. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ludmyl Dakowsky, Haralamby Vassilev, Ivan Momchev, Plamen Trampov, Botyo Filipov |
A Legal Model for Business Processes. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Patrick Saint-Dizier |
On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Bertram Fronhöfer |
Plan Schemes in PLANLOG. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | John A. Self |
Knowledge, Belief and User Modelling. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | János Demetrovics, Gy. Gyepesi, László Hannák, Tibor Remzsö, F. Urbánszki |
LATOR - a Database Management System for Local Networks. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ivan Plander |
The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov |
Problems of Diagnostic Knowledge Processing. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mark H. Burstein, Allan M. Collins |
Modeling a Theory of Human Plausible Reasoning. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Hufflen |
Parallelizing Recursive Programs. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Eugène Chouraqui, Carlo Ingilterra, Jean Véronis |
ARCHIMEDES: An Intelligent Geometry Tutoring System. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Boicho N. Kokinov |
Associate Memory-Based Reasoning: How to Represent and Retrieve Cases. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jacques Nicholas |
Constructive Proofs for Concept Learning. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Odd Jarl Borch, Gunnar Hartvigsen |
STRATEX - A Knowledge-Based System for Export of Fish and Fish Products. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Rene Quiniou, Laurent Trilling |
Collective Predicates: Expressing Control of OR-Parallelism in Prolog. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ramon Brena |
Parallelizing a Natural Deduction System. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Philippe Jorrand, Vassil Stoyanov Sgurev (eds.) |
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 |
AIMSA |
1987 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Alexander S. Narin'yani |
Parallelism vs Knowledge Processing. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Nur Erol, Christian Freksa |
An Approach to Structuring and Formalizing Knowledge for a Design Support System. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Herve Perdrix |
Program Synthesis from Specification. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vassil Stoyanov Sgurev, Danail Dochev, Genadi Agre, Christo Dichev, Zdravko Markov |
Knowledge Acquisition and Man-Machine Interface in the Digs Expert System. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Valentin Tomov, Margarita Tacheva, Alexander Grigorov |
ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Michel de Rougemont |
On the Quantification of Knowledge. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Eva Hajicová |
Focussing- A Meeting Point Linguistics and Artificial Intelligence. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Elio Giovannetti, Corrado Moiso |
Some Aspects of the Integration between Logic Programming and Fiunctional Programming. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Werner Konrad |
BERGSON - toward a Knowledge Modelling Tool. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Elio Giovannetti |
A Prolog-Compiled Higher-Order Functional and Logic Language. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Claudio Arbib, Gianna Cioni |
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist |
Coping with the Intrinsic and Deictic Uses of Spatial Prepositions. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Mihai Barbuceanu, Stefan Trausan-Matu |
XRL: An Evolutionary Multi-Paradigm Environment for AI Programming. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Hans-Joachim Novak, Bernd Neumann |
Text Generation Based on Visual Data: Descriptions of Traffic Scenes. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Ambriola, Giuliano Pacini, Franco Turini |
The Sharing of Partial Results in Nondeterministic Computations. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | François-Xavier Testard-Vaillant |
Exceptions and Interpreters. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Irina Nenova |
Language-Based Environment for Developing ATN-Grammars. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Irina Kononenko |
The Cognitive Context of Language Interaction. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski |
Expert Systems for Mechanical Parts Design. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vlad G. Dabija, Tatiana Dabija |
A Parameterized Learning Environment for Implementing Expert Systems. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | George Gargov, Slavian Radev |
Expert Logics. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, C. D'Ascanio, Franco Turini |
Cooperating Logic Theories. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder |
An Implemented Simulation of a Parallel Theorem Prover. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Dabrowski, Maciej Michalewicz |
Statistical and Expert Approach to Computer Data Analysis. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vladimir F. Khoroshevsky |
Computer Aided Design of Expert Systems- An Instrumental Approach. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Logic Programming and Automatization of Software Test Strategies. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Lydia Sinapova, Genadi Agre |
An Approach to Building a Linguistic Processor for Bulgarian Texts. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Alexander S. Narin'yani, Vitaly Telerman, V. E. Dmitriev |
Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Krastu St. Arabadjisky |
Data Flow Computation Model and Analysis of its Asynchrony. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Willem Rosiers, Maurice Bruynooghe |
Empirical Study of some Constraints Satisfaction Algorithms. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre |
An Approach to Compiling PROLOG Programs. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova |
Liposome Production and Protoplast Electrofusion Expert Systems. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Ljubomir Stoitschev, Anatoly Antonov |
Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Adorni, Lina Massone |
Coding Patterns. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Heinz Marburger |
A Strategy for Producing Cooperative nl Reactions in a Database Interface. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | S. P. Trapeznikov |
The System for the Development of Linguistic Processor. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Bernd Neumann |
Towards Computer Aided Vision System Configuration. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vasil Vasilev |
Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Fritz Wysotzki |
Program Synthesis by Hierarchical Planning. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Ioan Gergescu |
An Inference Processor Based on Reactive Memory. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Vesselin I. Kirov |
Conceptual Modelling Based Knowledge Representation Language. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe |
Is Logic Programming "Real" Programming? |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Krassimir Yalumov |
The Nesy Prolog. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Boris Petkoff (eds.) |
Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1984, Varna, Bulgaria, September 17-20, 1984 |
AIMSA |
1985 |
DBLP BibTeX RDF |
|
| 1 | Philippe Jorrand |
FP2: Functional Parallel Programming Based on Term Substitution. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Michel de Rougemont |
From Logic to Logic Programming. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Gerhard Dirlich, Christian Freksa |
Towards a Theory of Knowledge Representation Systems. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet |
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Brian H. Mayoh |
Unified Theory of Knowledge Representation. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel |
Artificial Intelligence in Europe. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | A. Polikarov |
Methodological Problems and Approaches in Artificial Intelligence. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ioan Georgescu |
The Hypernets Method For Representing Knowledge. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Adorni, Amedeo Cappelli, Giacomo Ferrari, Lorenzo Moretti, Irina Prodanof |
Syntax and Semantics for Natuarl Language Processing. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Irina Nenova |
On an Implementation of the ATNL-Language. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Erik Tengvald |
Reducing Design Complexity, or: Why Does AI Work? |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Lina Massone, Pietro Morasso |
Sculptor-2: Representing, Generating and Editing Smooth Planar Shapes. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Dan Tufis, Dan Cristea |
IURES: A Human Engineering Approach to Natuarl Language. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Gaglio, Giuseppe Marino, Renato Zaccaria |
Logic Programming on Reduction/Dataflow Machines. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino |
Space Representation and Object Positioning in Natural Language Driven Image Generation. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ioan Georgescu, A. Hotaran, R. Predescu, M. Vlasiu, F. Petrescu, D. Nicolaita, A. Nagy |
INTEXP- A Domain-Independent Expert System. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Radoslav Pavlov, Galia Angelova, Elena Paskaleva |
On Experimental Linguistic Processors for Man-Computer Dialogue in Bulgarian. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Matthias Jarke, Jürgen Krause 0001 |
New Empirical Results of User Studies with a Domain Independent Natural Language Query System. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Ivan Popchev, Neli Zlatareva |
An Expert System in Reliability- Structure and Knowledge Representation. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
| 1 | Valentin Tomov, Stephen Sahno |
Experimental System for Recognition and Classification of Archaelogical Ceramics. |
AIMSA |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license