Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yiming Ye, John K. Tsotsos |
Knowledge Granularity and Action Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 475-488, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
Extension Calculus and Query Answering in Prioritized Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 76-87, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
knowledge representation, priorities, nonmonotonic reasoning, default logic, logic for artificial intelligence |
1 | Amedeo Cesta, Marcello Collia, Daniela D'Aloisi |
Tailorable Interactive Agents for Scheduling Meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 153-166, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Churn-Jung Liau |
Modal Reasoning and Rough Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 317-330, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Rough set, modal logic, epistemic logic |
1 | Qiang Yang 0001, Irène Abi-Zeid, Luc Lamontagne |
An Agent for Intelligent Situation Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 466-474, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wolf |
Strategy Selection for Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 452-465, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hisashi Hayashi |
Knowledge Assimilation and Proof Restoration Through the Addition of Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 291-302, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Draeger |
Acquisition of Useful Lemma-Knowledge in Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 230-239, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Pericliev, Alexander Grigorov |
Extending Definite Clause Grammar to Handle Flexible Word Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 161-170, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Ludmila Dolmatova |
The Range Scale as Result of Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 115-124, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Christo Dichev |
Logic Programming with Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 57-66, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Benedict du Boulay, Vassil Stoyanov Sgurev (eds.) |
Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![North-Holland, 0-444-89752-6 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Paulo Quaresma, José Gabriel Pereira Lopes |
A Two-Headed Architecture for Intelligent Multimedia Man-Machine Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 223-232, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Matija Drobnic, Matjaz Gams |
Analysis of Classification With Two Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 125-130, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Ilia Iv. Dimitrov |
Systems-Based Knowledge Representation: Relations and Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 203-212, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Gennady Agre |
Using Bayesian Networks for Technical Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 13-24, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Cezary Z. Janikow |
Some Experiments with a Stochastic Production System for Supervised Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 105-114, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Stefano Marcugini, Alfredo Milani, Maurizio Terragnolo |
Plans as Planning Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 35-44, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Boicho N. Kokinov |
Similarity in Analogical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 3-12, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Vassil Stoyanov Sgurev, Vladimir Simov Jotsov |
Inconsistent Information Processing in Knowledge Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 67-76, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Vesselin Zaimov |
Applying Fast Optimization Methods for Supervised Learning in Freeforward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 133-140, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lydia Sinapova, Zdravko Markov |
Grammar Representation and Parsing in a Data-Driven Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 151-160, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Haider Ali Ramadhan |
Discovery Environments for the Domain Computer Programming: A Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 235-246, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Igor Kononenko 0001 |
Combining Decisions of Multiple Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 87-96, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 25-34, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Boiko M. Balev, Dimitar P. Dimitrov |
Towards an Application if Intelligent Image Analysis System to Robotic Fettling of Castings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 265-273, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
A Knowledge Based System for Automatic 3D Scene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 255-264, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Evgueni N. Smirnov |
Space Fragmenting - A Method of Disjunctive Concept Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 97-104, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Alexander Roussekov |
An Expert System for Resource Estimation and Cost Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 247-254, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard, Robert E. Mercer |
Non-Monotonic Logics: A Valuations-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 77-84, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Stefan Trausan-Matu, Mihai Barbuceanu, Gheorghe Ghiculete |
COPE - A Flexible Constraint-Based Programming System for Knowledge Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 213-222, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Irene Pimenta Rodrigues, José Gabriel Pereira Lopes |
A System for Text Temporal Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 181-190, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Nikola K. Kasabov, Daniel Nikovski |
Prognostic Expert Systems on a Hybrid Connectionist Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 141-148, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Harry Vassilev |
Meta Theory as a Tool for Integration and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 193-202, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bernhard Kipper |
MODALYS - A System for the Semantic-Pragmatic Analysis of Modal Verbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 171-180, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou |
Logical Approaches to Structured Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992, pp. 47-56, 1992, North-Holland, 0-444-89752-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 13-22, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Hans-Joachim Goltz |
A Practicable Approach to Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 179-188, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Nikola K. Kasabov |
Hybrid Connectionist Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 227-235, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Nikolai G. Fedotov, Michael E. Larin |
Computer Vision and Stochastic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 415-421, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ruslan Mitkov, Galya Simeonova |
Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 361-370, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ivan H. Chernev, Danail Dochev |
Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 259-263, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Isabelle Robba |
Analogical Reasoning and Sentence Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 341-350, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jürgen Allgayer, Carola Reddig |
What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 319-328, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti |
Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 329-340, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | R. O. Lindsay, A. G. Priest |
On the Use of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 265-273, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yves Moinard, Raymond Rolland |
Unexpected and Unwanted Results of Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 61-70, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Sabine Letellier, Jean Pierre Fournier |
How to Deal Intelligently with Unexpected? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 393-402, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard |
Logics for Automated Reasoning in the Presence of Contradictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 33-42, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Martti Penttonen |
Logics with Structured Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 43-50, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yuri P. Serdyuk |
Occam Based Neural Network Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 219-226, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Camelia Voinea |
Number Generalization in Learning from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 103-113, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Michel Aurnague, Mario Borillo |
A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 305-317, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Allan Ramsay |
Speech Act Therory and Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 351-360, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Thierry Boy de la Tour, Gilles Chaminade |
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 3-12, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Boï, Antoine Rauzy |
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 139-148, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | David S. Young |
Quantitative Ecological Optics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 423-431, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mounira Belmesk |
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 159-168, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Gregor Erbach |
Syntactic Processing of Unknown Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 371-381, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mare Koit, Haldur Oim |
An Approach to the Modelling of Natural Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 93-101, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Vladimir Simov Jotsov |
Defeasible Reasoning by Using Analogies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 285-292, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Elmar Eder, Yan Liu |
Rule-Based Mechanism for Constraint Checking in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 149-158, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
Combining Horn Clause Logic with Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 189-198, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 23-32, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Zdravko Markov, Christo Dichev |
Logical Inference in a Network Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 169-178, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Laurence Cholvy |
Querying an Inconstistent Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 81-92, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert |
About Redundant Inequalities Generated by Fourier's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 117-127, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Boiko M. Balev, George I. Sharkov |
Knoweldge-Based Interpretation of Biophysical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 405-414, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Philippe Jorrand, Vassil Stoyanov Sgurev (eds.) |
Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![North-Holland, 0-444-88771-7 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Georgi Simov |
Solving Program Configuration Task through a Knowledge Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 293-302, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ilia Iv. Dimitrov |
A Systems-Based Framework for Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 249-258, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Lydia Sinapova |
A Network Parsing Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 383-391, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Arnulfo P. Azcarraga, Bernard Amy |
Kohonen Feature Maps: Toward Invariant Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 209-217, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Slawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek |
An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 239-248, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Bernard Migault, François Rousselot, Bernard Keith |
Developing a Knowledge Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 275-284, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Tzvetan T. Drashansky, Atanas Radensky |
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 199-208, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
A Logic for Truth Maintenance Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 71-80, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Fabrizio Sebastiani 0001 |
A Proof-Theoretic Account of Model-Preference Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 51-60, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Stéphane Grandcolas |
Equations over Trees and Lists with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 129-138, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Zdravko Markov, Th. Risse |
Prolog Based Graph Representation of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 187-194, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev |
EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 131-138, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Arcangeli, Christian Pomian |
Plasma Pattern Compilation: a Formal Model and Some Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 111-120, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois |
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 213-221, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ivan Popchev, Neli Zlatareva |
A Formal Treatment of Non-Monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 37-42, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Alessandra Fanni, Alessandro Giua, M. G. Manca |
Automated Diagnosis for Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 373-379, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Valery A. Tzanov, Slavka G. Trifonova |
Real-time Diagnosis in Distributed Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 367-372, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Chantal Soulé-Dupuy |
An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 355-365, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | L. Sinapova |
Domain and Linguistic Knowledge Representation Based on Feature-value Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 291-297, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | María-Blanca Ibáñez-Espiga |
Parallel Inferencing in First Order Logic Based on the Connection Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 149-157, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Herve Philippe |
Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 255-264, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Christo Dichev, Benedict du Boulay |
A Data Tracing System for Prolog Novices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 329-336, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ilian P. Chorbadjiev |
Systems with Lattice Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 223-228, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Wolfgang Menzel |
Diagnosing Grammatical Faults - A Deep-Modelled Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 319-326, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Christer Bäckström |
Action Structures with Implicit Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 103-110, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Eva Hajicová |
Natural Language Processing for Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 275-281, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Marc Ayel |
A Conceptual Model for Consistency of Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 75-82, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray |
The Object Oriented Expert System - URBANEX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 405-413, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jacqueline Ayel |
A supervision System in Computer Integrated Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 239-246, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Boris Bekjarov, Antony T. Popov, Ognyan Katov |
Collision-Free Movement Planning for Robot Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 381-388, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | F. Tcheou, Shunchu Qian |
An Experiment in French to Chinese Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: 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, pp. 307-312, 1988, North-Holland, 0-444-70508-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|