Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. AIMSA 1990: Albena, Bulgaria
- Philippe Jorrand, Vassil Stoyanov Sgurev:
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. 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. AIMSA 1990: 3-12 - Hans Jürgen Ohlbach:
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. AIMSA 1990: 13-22 - 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. AIMSA 1990: 23-32 - Philippe Besnard:
Logics for Automated Reasoning in the Presence of Contradictions. AIMSA 1990: 33-42 - Luis Fariñas del Cerro, Martti Penttonen:
Logics with Structured Contexts. AIMSA 1990: 43-50 - Fabrizio Sebastiani:
A Proof-Theoretic Account of Model-Preference Default Reasoning. AIMSA 1990: 51-60 - Yves Moinard, Raymond Rolland:
Unexpected and Unwanted Results of Circumscription. AIMSA 1990: 61-70 - Ivan Popchev, Neli Zlatareva, Marion Mircheva:
A Logic for Truth Maintenance Reasoning. AIMSA 1990: 71-80 - Laurence Cholvy:
Querying an Inconstistent Database. AIMSA 1990: 81-92 - Mare Koit, Haldur Oim:
An Approach to the Modelling of Natural Reasoning. AIMSA 1990: 93-101 - Camelia Voinea:
Number Generalization in Learning from Examples. AIMSA 1990: 103-113
Languages And Computational Strucures For AI
- Jean-Louis Imbert:
About Redundant Inequalities Generated by Fourier's Algorithm. AIMSA 1990: 117-127 - Stéphane Grandcolas:
Equations over Trees and Lists with Constraints. AIMSA 1990: 129-138 - Jean-Marc Boï, Antoine Rauzy:
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. AIMSA 1990: 139-148 - Elmar Eder, Yan Liu:
Rule-Based Mechanism for Constraint Checking in Logic Programs. AIMSA 1990: 149-158 - Mounira Belmesk:
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. AIMSA 1990: 159-168 - Zdravko Markov, Christo Dichev:
Logical Inference in a Network Environment. AIMSA 1990: 169-178 - Hans-Joachim Goltz:
A Practicable Approach to Functional Logic Programming. AIMSA 1990: 179-188 - Peter Baumgartner:
Combining Horn Clause Logic with Rewrite Rules. AIMSA 1990: 189-198 - Tzvetan T. Drashansky, Atanas Radensky:
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. AIMSA 1990: 199-208 - Arnulfo P. Azcarraga, Bernard Amy:
Kohonen Feature Maps: Toward Invariant Character Recognition. AIMSA 1990: 209-217 - Yuri P. Serdyuk:
Occam Based Neural Network Description Language. AIMSA 1990: 219-226 - Nikola K. Kasabov:
Hybrid Connectionist Rule-Based Systems. AIMSA 1990: 227-235
Knowledge Representation, Knowledge-Based Systems
- Slawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek:
An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. AIMSA 1990: 239-248 - Ilia Iv. Dimitrov:
A Systems-Based Framework for Knowledge Representation. AIMSA 1990: 249-258 - Ivan H. Chernev, Danail Dochev:
Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. AIMSA 1990: 259-263 - R. O. Lindsay, A. G. Priest:
On the Use of Diagrams. AIMSA 1990: 265-273 - Bernard Migault, François Rousselot, Bernard Keith:
Developing a Knowledge Based System. AIMSA 1990: 275-284 - Vladimir Simov Jotsov:
Defeasible Reasoning by Using Analogies. AIMSA 1990: 285-292 - Georgi Simov:
Solving Program Configuration Task through a Knowledge Based System. AIMSA 1990: 293-302
Natural Language Processing
- Michel Aurnague, Mario Borillo:
A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. AIMSA 1990: 305-317 - Jürgen Allgayer, Carola Reddig:
What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. AIMSA 1990: 319-328 - Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti:
Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. AIMSA 1990: 329-340 - Isabelle Robba:
Analogical Reasoning and Sentence Parsing. AIMSA 1990: 341-350 - Allan Ramsay:
Speech Act Therory and Epistemic Planning. AIMSA 1990: 351-360 - Ruslan Mitkov, Galya Simeonova:
Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. AIMSA 1990: 361-370 - Gregor Erbach:
Syntactic Processing of Unknown Words. AIMSA 1990: 371-381 - Lydia Sinapova:
A Network Parsing Scheme. AIMSA 1990: 383-391 - Sabine Letellier, Jean Pierre Fournier:
How to Deal Intelligently with Unexpected? AIMSA 1990: 393-402
Image Understanding And Computer Vision
- Boiko M. Balev, George I. Sharkov:
Knoweldge-Based Interpretation of Biophysical Images. AIMSA 1990: 405-414 - Nikolai G. Fedotov, Michael E. Larin:
Computer Vision and Stochastic Geometry. AIMSA 1990: 415-421 - David S. Young:
Quantitative Ecological Optics. AIMSA 1990: 423-431
a service of 
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-07-01 21:49 CEST 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:
