Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yiming Ye, John K. Tsotsos |
Knowledge Granularity and Action Selection. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
Extension Calculus and Query Answering in Prioritized Default Logic. |
AIMSA |
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. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Churn-Jung Liau |
Modal Reasoning and Rough Set Theory. |
AIMSA |
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. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wolf |
Strategy Selection for Automated Theorem Proving. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hisashi Hayashi |
Knowledge Assimilation and Proof Restoration Through the Addition of Goals. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Draeger |
Acquisition of Useful Lemma-Knowledge in Automated Reasoning. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Pericliev, Alexander Grigorov |
Extending Definite Clause Grammar to Handle Flexible Word Order. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Ludmila Dolmatova |
The Range Scale as Result of Inductive Learning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Christo Dichev |
Logic Programming with Worlds. |
AIMSA |
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 |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Paulo Quaresma, José Gabriel Pereira Lopes |
A Two-Headed Architecture for Intelligent Multimedia Man-Machine Interaction. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Matija Drobnic, Matjaz Gams |
Analysis of Classification With Two Classifiers. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Ilia Iv. Dimitrov |
Systems-Based Knowledge Representation: Relations and Methods. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Gennady Agre |
Using Bayesian Networks for Technical Diagnosis. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Cezary Z. Janikow |
Some Experiments with a Stochastic Production System for Supervised Inductive Learning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Stefano Marcugini, Alfredo Milani, Maurizio Terragnolo |
Plans as Planning Objects. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Boicho N. Kokinov |
Similarity in Analogical Reasoning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Vassil Stoyanov Sgurev, Vladimir Simov Jotsov |
Inconsistent Information Processing in Knowledge Based Systems. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Vesselin Zaimov |
Applying Fast Optimization Methods for Supervised Learning in Freeforward Neural Networks. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Lydia Sinapova, Zdravko Markov |
Grammar Representation and Parsing in a Data-Driven Logic Programming Environment. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Haider Ali Ramadhan |
Discovery Environments for the Domain Computer Programming: A Methodology. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Igor Kononenko 0001 |
Combining Decisions of Multiple Rules. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Boiko M. Balev, Dimitar P. Dimitrov |
Towards an Application if Intelligent Image Analysis System to Robotic Fettling of Castings. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
A Knowledge Based System for Automatic 3D Scene. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Evgueni N. Smirnov |
Space Fragmenting - A Method of Disjunctive Concept Acquisition. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Alexander Roussekov |
An Expert System for Resource Estimation and Cost Analysis. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard, Robert E. Mercer |
Non-Monotonic Logics: A Valuations-Based Approach. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Stefan Trausan-Matu, Mihai Barbuceanu, Gheorghe Ghiculete |
COPE - A Flexible Constraint-Based Programming System for Knowledge Processing. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Irene Pimenta Rodrigues, José Gabriel Pereira Lopes |
A System for Text Temporal Information Retrieval. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Nikola K. Kasabov, Daniel Nikovski |
Prognostic Expert Systems on a Hybrid Connectionist Environment. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Harry Vassilev |
Meta Theory as a Tool for Integration and Control. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Bernhard Kipper |
MODALYS - A System for the Semantic-Pragmatic Analysis of Modal Verbs. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou |
Logical Approaches to Structured Knowledge Bases. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Hans-Joachim Goltz |
A Practicable Approach to Functional Logic Programming. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Nikola K. Kasabov |
Hybrid Connectionist Rule-Based Systems. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Nikolai G. Fedotov, Michael E. Larin |
Computer Vision and Stochastic Geometry. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Ruslan Mitkov, Galya Simeonova |
Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Ivan H. Chernev, Danail Dochev |
Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Isabelle Robba |
Analogical Reasoning and Sentence Parsing. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Jürgen Allgayer, Carola Reddig |
What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. |
AIMSA |
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. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | R. O. Lindsay, A. G. Priest |
On the Use of Diagrams. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Yves Moinard, Raymond Rolland |
Unexpected and Unwanted Results of Circumscription. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Sabine Letellier, Jean Pierre Fournier |
How to Deal Intelligently with Unexpected? |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard |
Logics for Automated Reasoning in the Presence of Contradictions. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Martti Penttonen |
Logics with Structured Contexts. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Yuri P. Serdyuk |
Occam Based Neural Network Description Language. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Camelia Voinea |
Number Generalization in Learning from Examples. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Michel Aurnague, Mario Borillo |
A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Allan Ramsay |
Speech Act Therory and Epistemic Planning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Thierry Boy de la Tour, Gilles Chaminade |
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. |
AIMSA |
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. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | David S. Young |
Quantitative Ecological Optics. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Mounira Belmesk |
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Gregor Erbach |
Syntactic Processing of Unknown Words. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Mare Koit, Haldur Oim |
An Approach to the Modelling of Natural Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Vladimir Simov Jotsov |
Defeasible Reasoning by Using Analogies. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Elmar Eder, Yan Liu |
Rule-Based Mechanism for Constraint Checking in Logic Programs. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
Combining Horn Clause Logic with Rewrite Rules. |
AIMSA |
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. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Zdravko Markov, Christo Dichev |
Logical Inference in a Network Environment. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Laurence Cholvy |
Querying an Inconstistent Database. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert |
About Redundant Inequalities Generated by Fourier's Algorithm. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Boiko M. Balev, George I. Sharkov |
Knoweldge-Based Interpretation of Biophysical Images. |
AIMSA |
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 |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Georgi Simov |
Solving Program Configuration Task through a Knowledge Based System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Ilia Iv. Dimitrov |
A Systems-Based Framework for Knowledge Representation. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Lydia Sinapova |
A Network Parsing Scheme. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Arnulfo P. Azcarraga, Bernard Amy |
Kohonen Feature Maps: Toward Invariant Character Recognition. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Slawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek |
An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Bernard Migault, François Rousselot, Bernard Keith |
Developing a Knowledge Based System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Tzvetan T. Drashansky, Atanas Radensky |
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
A Logic for Truth Maintenance Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Fabrizio Sebastiani 0001 |
A Proof-Theoretic Account of Model-Preference Default Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Stéphane Grandcolas |
Equations over Trees and Lists with Constraints. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
1 | Zdravko Markov, Th. Risse |
Prolog Based Graph Representation of Polyhedra. |
AIMSA |
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. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Arcangeli, Christian Pomian |
Plasma Pattern Compilation: a Formal Model and Some Examples. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois |
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Ivan Popchev, Neli Zlatareva |
A Formal Treatment of Non-Monotonic Reasoning. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Alessandra Fanni, Alessandro Giua, M. G. Manca |
Automated Diagnosis for Digital Circuits. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Valery A. Tzanov, Slavka G. Trifonova |
Real-time Diagnosis in Distributed Information System. |
AIMSA |
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. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | L. Sinapova |
Domain and Linguistic Knowledge Representation Based on Feature-value Structures. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | María-Blanca Ibáñez-Espiga |
Parallel Inferencing in First Order Logic Based on the Connection Method. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Herve Philippe |
Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Christo Dichev, Benedict du Boulay |
A Data Tracing System for Prolog Novices. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Ilian P. Chorbadjiev |
Systems with Lattice Inference. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Wolfgang Menzel |
Diagnosing Grammatical Faults - A Deep-Modelled Approach. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Christer Bäckström |
Action Structures with Implicit Coordination. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Eva Hajicová |
Natural Language Processing for Expert Systems. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Marc Ayel |
A Conceptual Model for Consistency of Knowledge Bases. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray |
The Object Oriented Expert System - URBANEX. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Jacqueline Ayel |
A supervision System in Computer Integrated Manufacturing. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | Boris Bekjarov, Antony T. Popov, Ognyan Katov |
Collision-Free Movement Planning for Robot Manipulators. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
1 | F. Tcheou, Shunchu Qian |
An Experiment in French to Chinese Machine Translation. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|