Conferences in DBLP
John A. Self Knowledge, Belief and User Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Yorick Wilks , Afzal Ballim Shifting the Belief Engine into Higher Gear. [Citation Graph (0, 0)][DBLP ] Conf ] Mark H. Burstein , Allan M. Collins Modeling a Theory of Human Plausible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslaw Dabrowski , Maciej Michalewicz , Slawomir T. Wierzchon Creative Data Analysis: Rules Generation Based on ID3 Philosophy. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Popchev , Neli Zlatareva A Formal Treatment of Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Urbanski Formalizing Non-Monotonic Truth Maintenance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Boicho N. Kokinov Associate Memory-Based Reasoning: How to Represent and Retrieve Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Nicholas Constructive Proofs for Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Thornton A Computational Model for the Data Compression Metaphor. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Ayel A Conceptual Model for Consistency of Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Ramon Brena Parallelizing a Natural Deduction System. [Citation Graph (0, 0)][DBLP ] Conf ] Manny Rayner , Åsa Hugosson , Annika Wærn Proving Correctness of Plans Considered as Procedural Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström Action Structures with Implicit Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Arcangeli , Christian Pomian Plasma Pattern Compilation: a Formal Model and Some Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Cristiano Castelfranchi Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Popchev , I. Popov , Vasil Vasilev , V. Tadjer , G. Simov , Vesselin Bontchev EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Hufflen Parallelizing Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mariá-Blanca Ibáñez-Espiga Parallel Inferencing in First Order Logic Based on the Connection Method. [Citation Graph (0, 0)][DBLP ] Conf ] Rene Quiniou , Laurent Trilling Collective Predicates: Expressing Control of OR-Parallelism in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram Fronhöfer Plan Schemes in PLANLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Rémy Bulot , Henri Meloni Processing Acoustic and Phonetic Knowledge in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov , Th. Risse Prolog Based Graph Representation of Polyhedra. [Citation Graph (0, 0)][DBLP ] Conf ] Ilia Iv. Dimitrov , O. Panev Object Semantics in INEX. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Adorni , Marco Boero , Lina Massone Knowledge-Based Simulation: Some Issues and a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] P. Arratibel , Marie Pierre Gleizes , Pierre Glize , Christian Percebois A Multiprocessor Architecture for Inference Systems: Design and Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Ilian P. Chorbadjiev Systems with Lattice Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Petkoff ACCORD: A Metamodel for the II Generation Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Ayel A supervision System in Computer Integrated Manufacturing. [Citation Graph (0, 0)][DBLP ] Conf ] Atanas I. Terziev , Borislav K. Slavov An Architecture of Coupling Logic Programming Systems with Relational Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Herve Philippe Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes. [Citation Graph (0, 0)][DBLP ] Conf ] K. Kratchanov , I. Stanev , Y. Stereva , V. Vuleva-Mineva Rule Networks: A Style of Programming and an Expert System Toolkit. [Citation Graph (0, 0)][DBLP ] Conf ] Eva Hajicová Natural Language Processing for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Saint-Dizier On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] L. Sinapova Domain and Linguistic Knowledge Representation Based on Feature-value Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Per Kreuger A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] F. Tcheou , Shunchu Qian An Experiment in French to Chinese Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Subramanian Raman , Narayanan Alwar Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Menzel Diagnosing Grammatical Faults - A Deep-Modelled Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Christo Dichev , Benedict du Boulay A Data Tracing System for Prolog Novices. [Citation Graph (0, 0)][DBLP ] Conf ] Ludmyl Dakowsky , Haralamby Vassilev , Ivan Momchev , Plamen Trampov , Botyo Filipov A Legal Model for Business Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Vassil Stoyanov Sgurev , Danail Dochev , Christo Dichev , Genadi Agre , Zdravko Markov Problems of Diagnostic Knowledge Processing. [Citation Graph (0, 0)][DBLP ] Conf ] János Demetrovics , Gy. Gyepesi , László Hannák , Tibor Remzsö , F. Urbánszki LATOR - a Database Management System for Local Networks. [Citation Graph (0, 0)][DBLP ] Conf ] C. Soulé-Dupuy An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Valery A. Tzanov , Slavka G. Trifonova Real-time Diagnosis in Distributed Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Fanni , Alessandro Giua , M. G. Manca Automated Diagnosis for Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Bekjarov , Antony Popov , Ognyan Katov Collision-Free Movement Planning for Robot Manipulators. [Citation Graph (0, 0)][DBLP ] Conf ] Eugène Chouraqui , Carlo Ingilterra , Jean Véronis ARCHIMEDES: An Intelligent Geometry Tutoring System. [Citation Graph (0, 0)][DBLP ] Conf ] George I. Sharkov , Dimiter S. Dimitrov Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine. [Citation Graph (0, 0)][DBLP ] Conf ] Jana Dudová , Miroslav Galbavý , Lubomír Harach , Frantisek Zboray The Object Oriented Expert System - URBANEX. [Citation Graph (0, 0)][DBLP ] Conf ] Roar A. Fjellheim , Per-Olav Opdahl An Expert System for Quality Control in Paper Production. [Citation Graph (0, 0)][DBLP ] Conf ] Odd Jarl Borch , Gunnar Hartvigsen STRATEX - A Knowledge-Based System for Export of Fish and Fish Products. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Plander The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects. [Citation Graph (0, 0)][DBLP ] Conf ] 