Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link
12	P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois	A Multiprocessor Architecture for Inference Systems: Design and Evaluation.	AIMSA	1988	DBLP BibTeX RDF
12	Ivan Popchev, Neli Zlatareva	A Formal Treatment of Non-Monotonic Reasoning.	AIMSA	1988	DBLP BibTeX RDF
12	Alessandra Fanni, Alessandro Giua, M. G. Manca	Automated Diagnosis for Digital Circuits.	AIMSA	1988	DBLP BibTeX RDF
12	Valery A. Tzanov, Slavka G. Trifonova	Real-time Diagnosis in Distributed Information System.	AIMSA	1988	DBLP BibTeX RDF
12	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
12	L. Sinapova	Domain and Linguistic Knowledge Representation Based on Feature-value Structures.	AIMSA	1988	DBLP BibTeX RDF
12	María-Blanca Ibáñez-Espiga	Parallel Inferencing in First Order Logic Based on the Connection Method.	AIMSA	1988	DBLP BibTeX RDF
12	Herve Philippe	Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes.	AIMSA	1988	DBLP BibTeX RDF
12	Christo Dichev, Benedict du Boulay	A Data Tracing System for Prolog Novices.	AIMSA	1988	DBLP BibTeX RDF
12	Ilian P. Chorbadjiev	Systems with Lattice Inference.	AIMSA	1988	DBLP BibTeX RDF
12	Wolfgang Menzel	Diagnosing Grammatical Faults - A Deep-Modelled Approach.	AIMSA	1988	DBLP BibTeX RDF
12	Christer Bäckström	Action Structures with Implicit Coordination.	AIMSA	1988	DBLP BibTeX RDF
12	Eva Hajicová	Natural Language Processing for Expert Systems.	AIMSA	1988	DBLP BibTeX RDF
12	Marc Ayel	A Conceptual Model for Consistency of Knowledge Bases.	AIMSA	1988	DBLP BibTeX RDF
12	Jana Dudová, Miroslav Galbavý, Lubomír Harach, Frantisek Zboray	The Object Oriented Expert System - URBANEX.	AIMSA	1988	DBLP BibTeX RDF
12	Jacqueline Ayel	A supervision System in Computer Integrated Manufacturing.	AIMSA	1988	DBLP BibTeX RDF
12	Boris Bekjarov, Antony T. Popov, Ognyan Katov	Collision-Free Movement Planning for Robot Manipulators.	AIMSA	1988	DBLP BibTeX RDF
12	F. Tcheou, Shunchu Qian	An Experiment in French to Chinese Machine Translation.	AIMSA	1988	DBLP BibTeX RDF
12	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
12	Cristiano Castelfranchi	Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System.	AIMSA	1988	DBLP BibTeX RDF
12	Atanas I. Terziev, Borislav K. Slavov	An Architecture of Coupling Logic Programming Systems with Relational Database Systems.	AIMSA	1988	DBLP BibTeX RDF
12	Rémy Bulot, Henri Meloni	Processing Acoustic and Phonetic Knowledge in Prolog.	AIMSA	1988	DBLP BibTeX RDF
12	Andrzej Urbanski	Formalizing Non-Monotonic Truth Maintenance Systems.	AIMSA	1988	DBLP BibTeX RDF
12	Boris Petkoff	ACCORD: A Metamodel for the II Generation Expert Systems.	AIMSA	1988	DBLP BibTeX RDF
12	Roar A. Fjellheim, Per-Olav Opdahl	An Expert System for Quality Control in Paper Production.	AIMSA	1988	DBLP BibTeX RDF
12	Subramanian Raman, Narayanan Alwar	Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages.	AIMSA	1988	DBLP BibTeX RDF
12	Miroslaw Dabrowski, Maciej Michalewicz, Slawomir T. Wierzchon	Creative Data Analysis: Rules Generation Based on ID3 Philosophy.	AIMSA	1988	DBLP BibTeX RDF
12	Yorick Wilks, Afzal Ballim	Shifting the Belief Engine into Higher Gear.	AIMSA	1988	DBLP BibTeX RDF
12	Giovanni Adorni, Marco Boero, Lina Massone	Knowledge-Based Simulation: Some Issues and a Case Study.	AIMSA	1988	DBLP BibTeX RDF
12	Manny Rayner, Åsa Hugosson, Annika Wærn	Proving Correctness of Plans Considered as Procedural Programs.	AIMSA	1988	DBLP BibTeX RDF
12	Chris Thornton	A Computational Model for the Data Compression Metaphor.	AIMSA	1988	DBLP BibTeX RDF
12	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
12	Per Kreuger	A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog.	AIMSA	1988	DBLP BibTeX RDF
12	Ilia Iv. Dimitrov, O. Panev	Object Semantics in INEX.	AIMSA	1988	DBLP BibTeX RDF
12	Ludmyl Dakowsky, Haralamby Vassilev, Ivan Momchev, Plamen Trampov, Botyo Filipov	A Legal Model for Business Processes.	AIMSA	1988	DBLP BibTeX RDF
12	Patrick Saint-Dizier	On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars.	AIMSA	1988	DBLP BibTeX RDF
12	Bertram Fronhöfer	Plan Schemes in PLANLOG.	AIMSA	1988	DBLP BibTeX RDF
12	John A. Self	Knowledge, Belief and User Modelling.	AIMSA	1988	DBLP BibTeX RDF
12	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
12	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
12	Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov	Problems of Diagnostic Knowledge Processing.	AIMSA	1988	DBLP BibTeX RDF
12	Mark H. Burstein, Allan M. Collins	Modeling a Theory of Human Plausible Reasoning.	AIMSA	1988	DBLP BibTeX RDF
12	Jean-Michel Hufflen	Parallelizing Recursive Programs.	AIMSA	1988	DBLP BibTeX RDF
12	Eugène Chouraqui, Carlo Ingilterra, Jean Véronis	ARCHIMEDES: An Intelligent Geometry Tutoring System.	AIMSA	1988	DBLP BibTeX RDF
12	Boicho N. Kokinov	Associate Memory-Based Reasoning: How to Represent and Retrieve Cases.	AIMSA	1988	DBLP BibTeX RDF
12	Jacques Nicholas	Constructive Proofs for Concept Learning.	AIMSA	1988	DBLP BibTeX RDF
12	Odd Jarl Borch, Gunnar Hartvigsen	STRATEX - A Knowledge-Based System for Export of Fish and Fish Products.	AIMSA	1988	DBLP BibTeX RDF
12	Rene Quiniou, Laurent Trilling	Collective Predicates: Expressing Control of OR-Parallelism in Prolog.	AIMSA	1988	DBLP BibTeX RDF
12	Ramon Brena	Parallelizing a Natural Deduction System.	AIMSA	1988	DBLP BibTeX RDF
12	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
12	Catherine W. McDonald, William E. Riddle, Christine Youngblut	Stars methodology area summary: volume II: preliminary views on the software life cycle and methodology selection.	ACM SIGSOFT Softw. Eng. Notes	1986	DBLP DOI BibTeX RDF
12	Dimiter Vakarelov	Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.	AIMSA	1986	DBLP BibTeX RDF
12	Alexander S. Narin'yani	Parallelism vs Knowledge Processing.	AIMSA	1986	DBLP BibTeX RDF
12	Nur Erol, Christian Freksa	An Approach to Structuring and Formalizing Knowledge for a Design Support System.	AIMSA	1986	DBLP BibTeX RDF
12	Herve Perdrix	Program Synthesis from Specification.	AIMSA	1986	DBLP BibTeX RDF
12	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
12	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
12	Michel de Rougemont	On the Quantification of Knowledge.	AIMSA	1986	DBLP BibTeX RDF
12	Eva Hajicová	Focussing- A Meeting Point Linguistics and Artificial Intelligence.	AIMSA	1986	DBLP BibTeX RDF
12	Elio Giovannetti, Corrado Moiso	Some Aspects of the Integration between Logic Programming and Fiunctional Programming.	AIMSA	1986	DBLP BibTeX RDF
12	Werner Konrad	BERGSON - toward a Knowledge Modelling Tool.	AIMSA	1986	DBLP BibTeX RDF
12	Pier Giorgio Bosco, Elio Giovannetti	A Prolog-Compiled Higher-Order Functional and Logic Language.	AIMSA	1986	DBLP BibTeX RDF
12	Claudio Arbib, Gianna Cioni	Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.	AIMSA	1986	DBLP BibTeX RDF
12	Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist	Coping with the Intrinsic and Deictic Uses of Spatial Prepositions.	AIMSA	1986	DBLP BibTeX RDF
12	Mihai Barbuceanu, Stefan Trausan-Matu	XRL: An Evolutionary Multi-Paradigm Environment for AI Programming.	AIMSA	1986	DBLP BibTeX RDF
12	Hans-Joachim Novak, Bernd Neumann	Text Generation Based on Visual Data: Descriptions of Traffic Scenes.	AIMSA	1986	DBLP BibTeX RDF
12	Vincenzo Ambriola, Giuliano Pacini, Franco Turini	The Sharing of Partial Results in Nondeterministic Computations.	AIMSA	1986	DBLP BibTeX RDF
12	François-Xavier Testard-Vaillant	Exceptions and Interpreters.	AIMSA	1986	DBLP BibTeX RDF
12	Irina Nenova	Language-Based Environment for Developing ATN-Grammars.	AIMSA	1986	DBLP BibTeX RDF
12	Irina Kononenko	The Cognitive Context of Language Interaction.	AIMSA	1986	DBLP BibTeX RDF
12	Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski	Expert Systems for Mechanical Parts Design.	AIMSA	1986	DBLP BibTeX RDF
12	Vlad G. Dabija, Tatiana Dabija	A Parameterized Learning Environment for Implementing Expert Systems.	AIMSA	1986	DBLP BibTeX RDF
12	George Gargov, Slavian Radev	Expert Logics.	AIMSA	1986	DBLP BibTeX RDF
12	Roberto Barbuti, C. D'Ascanio, Franco Turini	Cooperating Logic Theories.	AIMSA	1986	DBLP BibTeX RDF
12	Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder	An Implemented Simulation of a Parallel Theorem Prover.	AIMSA	1986	DBLP BibTeX RDF
12	Miroslaw Dabrowski, Maciej Michalewicz	Statistical and Expert Approach to Computer Data Analysis.	AIMSA	1986	DBLP BibTeX RDF
12	Vladimir F. Khoroshevsky	Computer Aided Design of Expert Systems- An Instrumental Approach.	AIMSA	1986	DBLP BibTeX RDF
12	Marie-Claude Gaudel	Logic Programming and Automatization of Software Test Strategies.	AIMSA	1986	DBLP BibTeX RDF
12	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
12	Lydia Sinapova, Genadi Agre	An Approach to Building a Linguistic Processor for Bulgarian Texts.	AIMSA	1986	DBLP BibTeX RDF
12	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
12	Krastu St. Arabadjisky	Data Flow Computation Model and Analysis of its Asynchrony.	AIMSA	1986	DBLP BibTeX RDF
12	Willem Rosiers, Maurice Bruynooghe	Empirical Study of some Constraints Satisfaction Algorithms.	AIMSA	1986	DBLP BibTeX RDF
12	Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre	An Approach to Compiling PROLOG Programs.	AIMSA	1986	DBLP BibTeX RDF
12	Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova	Liposome Production and Protoplast Electrofusion Expert Systems.	AIMSA	1986	DBLP BibTeX RDF
12	Ljubomir Stoitschev, Anatoly Antonov	Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach.	AIMSA	1986	DBLP BibTeX RDF
12	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
12	Giovanni Adorni, Lina Massone	Coding Patterns.	AIMSA	1986	DBLP BibTeX RDF
12	Heinz Marburger	A Strategy for Producing Cooperative nl Reactions in a Database Interface.	AIMSA	1986	DBLP BibTeX RDF
12	S. P. Trapeznikov	The System for the Development of Linguistic Processor.	AIMSA	1986	DBLP BibTeX RDF
12	Bernd Neumann	Towards Computer Aided Vision System Configuration.	AIMSA	1986	DBLP BibTeX RDF
12	Vasil Vasilev	Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers.	AIMSA	1986	DBLP BibTeX RDF
12	Fritz Wysotzki	Program Synthesis by Hierarchical Planning.	AIMSA	1986	DBLP BibTeX RDF
12	Ioan Gergescu	An Inference Processor Based on Reactive Memory.	AIMSA	1986	DBLP BibTeX RDF
12	Vesselin I. Kirov	Conceptual Modelling Based Knowledge Representation Language.	AIMSA	1986	DBLP BibTeX RDF
12	Maurice Bruynooghe	Is Logic Programming "Real" Programming?	AIMSA	1986	DBLP BibTeX RDF
12	Krassimir Yalumov	The Nesy Prolog.	AIMSA	1986	DBLP BibTeX RDF
12	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
12	Philippe Jorrand	FP2: Functional Parallel Programming Based on Term Substitution.	AIMSA	1984	DBLP BibTeX RDF
12	Michel de Rougemont	From Logic to Logic Programming.	AIMSA	1984	DBLP BibTeX RDF