Conferences in DBLP
Christian Märtin , Klemens Waldhör BASAR: A Blackboard Based Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] H. Lâasri , B. Maître , T. Mondot , François Charpillet , Jean Paul Haton ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Krickhahn , Reinhard Nobis , Andres Mählmann , Mina-Jaqueline Schachter-Radig Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler. [Citation Graph (0, 0)][DBLP ] Conf ] Kanae Masuda , Hirokazu Ishizuka , Hiroaki Iwayama , Kazuo Taki , Eiji Sugino Preliminary Evaluation of the Connection Network for the Multi-PSI System. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Dixneuf , Alain Meller , Marc Porcheron ELOISE's Heart: An Efficient Frame for Production System Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Harold Boley Iconic-Declarative Programming and Adaptation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Ilia Iv. Dimitrov INEX: Flexible and Efficient Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wilmes A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Barachini , Norbert Theuretzbacher PAMELA: An Expert System Technology for Real-Time Control Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Steels Steps towards Common Sense. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Partridge , Jim McDonald , Victor Johnston , Ken Paap AI Programs and Cognitive Models: Models of Perceptual Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Enric Plaza , Ramon López de Mántaras Model-Based Knowledge Acquisition for Heuristic Classification Systems. [Citation Graph (0, 0)][DBLP ] Conf ] B. S. Doherty , J. J. Stuart Induction and Dialogue in Specification Formalisation: An Object-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jon M. Slack Linguistic Constraints and Memory Management. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Lambert , Larry J. Eshelman , Yumi Iwasaki Acquiring and Complementing the Model for Diagnostic Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Christine Rousset On the Consistency of Knowledge Bases: The COVADIS System. [Citation Graph (2, 0)][DBLP ] Conf ] A. M. Burton , Nigel Shadbolt , G. Rugg , A. P. Hedgecock Knowledge Elicitation Techniques in Classification Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Tanaka , Kazunari Kubota Memory-Based Learner Model and its Application to a Game Coach. [Citation Graph (0, 0)][DBLP ] Conf ] Danilo Fum , Paolo Giangrandi , Carlo Tasso Student Modeling Techniques in Foreign Language Tutoring. [Citation Graph (0, 0)][DBLP ] Conf ] J. H. Sumiga , Babak Khazaei , Jawed I. A. Siddiqi A Cognitive Model of Program Designer Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Paul de Greef , Joost Breuker , Guus Schreiber , Jan Wielemaker StatCons: Knowledge Acquisition in a Complex Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Jacobijn Sandberg , Joost Breuker , Radboud Winkels Research on HELP-Systems: Empirical Study and Model Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Xuejun Tong , Zhijun He , Ruizao Yu A Survey of the Expert System Tool ZDEST-2. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Eric Larsson , Per Persson An Intelligent Help System for Idpac. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Maree ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Guarino DRL: Terminologic and Relational Knowledge in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Franová Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Thornton Links between Content and Information-Content. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Erik Janlert Pictorial Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Sture Hägglund , Ivan Rankin Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andy Clark Two Kinds of Cognitive Science? [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Prosser A Hybrid Genetic Algorithm for Pallet Loading. [Citation Graph (0, 0)][DBLP ] Conf ] James B. H. Kwa Planning Robust AGV Movements. [Citation Graph (0, 0)][DBLP ] Conf ] Eduard Tulp , Laurent Siklóssy TRAINS, An Active Time-Table Searcher. [Citation Graph (0, 0)][DBLP ] Conf ] T. J. Grant An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Soler , Antonio Carpentieri , Maria Piera Branca , Pier Giorgio Kubansky Escut: An Expert System for Configuring Digital Telephone Switching Equipements. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Huber , S. Becker Production Planning Using a Temoral Planning Component. [Citation Graph (0, 0)][DBLP ] Conf ] Mina-Jaqueline Schachter-Radig , Diederich Wermser A Sales Assistant for Chemical Measurement Equipment: SEARCHEM. [Citation Graph (0, 0)][DBLP ] Conf ] Bert Bredeweg , Bob J. Wielinga Integrating Qualitative Reasoning Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Van de Velde Inference Structure as a Basis for Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello Frixione , Salvatore Gaglio , Giuseppe Spinelli Proper Names and Individual Concepts in SI-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Wobcke A Global Theory of Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Ayel Protocols for Consistency Checking in Expert System Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Eugène Chouraqui , Philippe Dugerdil Conflict Solving in a Frame-Like Multiple Inheritance System. [Citation Graph (0, 0)][DBLP ] Conf ] Bernie Elfrink , Han Reichgelt The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Ferber , Philippe Volle Using Coreference in Object-Oriented Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Eberle Extensions of Event-Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Poesio Toward a Hybrid Representation of Time. [Citation Graph (1, 0)][DBLP ] Conf ] Adam Farquhar A Qualitative Reasoning Approach to Fault Avoidance. [Citation Graph (0, 0)][DBLP ] Conf ] José Cuena The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Popp Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Porcheron MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Mike Sharples , Benedict du Boulay Knowledge Representation for a Concept Tutoring System. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Ducassé Opium+ , a Meta-Debugger for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Chassin de Kergommeaux , Jean-Claude Syre , Harald Westphal Implementation of a Parallel Prolog Sytem on a Commercial Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cavalieri , Evelina Lamma , Paola Mello An Extended Prolog Machine for Dynamic Context Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Dincbas , Helmut Simonis , Pascal Van Hentenryck Solving the Car-Sequencing Problem in Constraint Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Tomas Hrycej Temporal Prolog. [Citation Graph (1, 0)][DBLP ] Conf ] Patrick Saint-Dizier Foundations of DISLOG, Programming in Logic with Discontinuities. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Conrad A Many Sorted PROLOG Based on Equational Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Owen , Richard Hull II The Use of Explicit Interpretation to Control Reasoning about Protein Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Chee-Kit Looi Analysing Novices Programs in a Prolog Intelligent Teaching System. [Citation Graph (0, 0)][DBLP ] Conf ] J. Zhang , P. W. Grant An Automatic Difference-List Transformation Algorithm for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Mark T. Keane Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Stepp , Bradley L. Whitehall , Lawrence B. Holder Towards Intelligent Machine Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] J. L. de Siqueira N. , Jean-Francois Puget Explanation-Based Generalisation of Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Herrmann A Machine Learning Approach to Estimation for IC Design. [Citation Graph (0, 0)][DBLP ] Conf ] Bojan Cestnik , Ivan Bratko Learning Redundant Rules in Noisy Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich Connectionist Recruitment Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney M. Goodman , Padhraic Smyth Information-Theoretic Rule Induction. [Citation Graph (1, 0)][DBLP ] Conf ] Francesco Bergadano , Attilio Giordana , Lorenza Saitta Concept Acquisition in an Integrated EBL and SBL Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Valtorta Automating Rule Strengths in Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] P. P. Terpstra , Maarten van Someren INDE: A System for Heuristic Knowledge Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Yuji Takada Grammatical Inference for Even Linear Languages Based on Control Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Blythe Constraining Search in a Hierarchical Discriminative Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Gabriel Ganascia Improvement and Refinement of the Learning Bias Semantic. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Gascuel , Antoine Danchin Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] G. Deon Oosthuizen , D. R. McGregor Induction through Knowledge Base Normalisation. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Nicolas Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Van de Velde Quality of Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Rose Galliers A Strategic Framework for Multi-Agent Cooperative Dialogue. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Hopkins DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Ayel A Conceptual Supervision Model in Computer Integrated Manufacturing. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel R. Seel Modelling Iterated Strategies: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Chris A. Fields , M. J. Coombs , Eric Dietrich , R. T. Hartley Incorporating Dynamic Control into the Model Generative Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Adey High Level Control of Simulated Ships and Aircraft. [Citation Graph (0, 0)][DBLP ] Conf ] David Connah , Martin Shiels , Peter Wavish A Testbed for Research on Cooperating Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth André , Gerd Herzog , Thomas Rist On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer. [Citation Graph (0, 0)][DBLP ] Conf ] Gudula Retz-Schmidt A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games. [Citation Graph (0, 0)][DBLP ] Conf ] Miyo Otani , Jean-Marie Lancel Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. H. Simons A Qualitative Model of the Articulators. [Citation Graph (0, 0)][DBLP ] Conf ] Tsuneko Nakazawa , Laura Neher , Erhard W. Hinrichs Unification with Disjunctive and Negative Values for GPSG Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Lesmo , Marina Berti , Paolo Terenziani A Network Formalism for Representing Natural Language Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jackson , Han Reichgelt A Modal Proof Method for Doxastic Reasoning in Incomplete Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Odile Cordier SHERLOCK: Hypothetical Reasoning in an Expert System Shell. [Citation Graph (0, 0)][DBLP ] Conf ] Nicole Bidoit , Christine Froidevaux More on Stratified Default Theories. [Citation Graph (1, 0)][DBLP ] Conf ] Philippe Smets Transferable Belief Model Versus Bayesian Model. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade , Claudette Testemale In Search of a Modal System for Possibility Theory. [Citation Graph (1, 0)][DBLP ] Conf ] Allen L. Brown Jr. Logics of Justified Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard Computing Circumscription of Horn Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Jean Houdebine , Raymond Rolland A Formula Circumscriptively both Valid and Unprovable. [Citation Graph (0, 0)][DBLP ] Conf ] P. J. de la Quintana Computing Quantifiers in Predicate Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. B. Clarke Intuitionistic Non-Monotonic Reasoning - Further Results. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio D'Angelo , Claudio Mirolo , Enrico Pagello A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler Extending the Basic ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Lafon , Camilla Schwind A Theorem Prover for Action Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan Solving Diagnostic Problems Using Extended Truth Maintenance Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Susanne Biundo Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Franová An Implementation of Program Synthesis from Formal Specifications: PRECOMAS. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Stevens A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. K. Tsang Elements in Temporal Reasoning in Planning. [Citation Graph (1, 0)][DBLP ] Conf ] Witold Lukaszewicz Chronological Minimization of Abnormality: Simple Theories of Action. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Lenzerini , Daniele Nardi Belief Revision as Meta-Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Liu A Reinforcement Approach to Schelduling. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Tuominen Translations from Epistemic into Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Hrycej Intelligent Backtracking with Structured Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä Autoepistemic Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Freitag , Michael Reinfrank A Non-Monotonic Deduction System Based on (A)TMS. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Enrico Giunchiglia Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Paredis Qualified Logic as a Means of Integrating Conceptual Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Ammon Discovering a Proof for the Fixed Point Theorem: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Treur Completeness and Definability in Diagnostic Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Chaminade Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Siegfried Bocionek Computer-Aided Configuration of Gantry-Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Levi TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Adorni , Antonio Camurri , Agostino Poggi , Renato Zaccaria Integrating Spatio-Temporal Knowledge: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Mohr , Gérald Masini Good Old Discrete Relaxation. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Sielaff Hierarchies over Relational Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Ammon , Sebastian Stier Constructing Polygon Concepts from Line Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] G. Vivo , P. Cosoli , R. Salonna An Environment for Expert Image Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Saroldi Successive Groupings: Adding Knowledge to Improve Segmentation. [Citation Graph (0, 0)][DBLP ] Conf ] Wido Menhardt Image Analysis Using Iconic Fuzzy Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Johnston , Patricia Lopez , Derek Partridge A Biologically Based Algorithm for Rapid Scene Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Thirion , Roger Mohr Matching 3-D Images without Backtracking through Feature Grouping. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Grosso , Giulio Sandini , Carlo Frigato Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald DeJong Some Thoughts on the Present and Future of Explanation-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Hogger Programming Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Future Developments in Artificial Intelligence: A Personal View. [Citation Graph (0, 0)][DBLP ] Conf ] Helder Coelho Interaction among Intelligent Agents (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Eric Werner Social Intentions (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Jörg H. Siekmann , Sten-Åke Tärnlund , Aaron Sloman , Andy Clark , Margaret A. Boden What is Computation? (Panel Introduction). [Citation Graph (0, 0)][DBLP ] Conf ] Andy Clark Computation, Connectionism and Content (Panel Statement). [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman What isn't Computation? (Panel Statement). [Citation Graph (0, 0)][DBLP ] Conf ] Sten-Åke Tärnlund Computations as Inferences (Panel Statement). [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Dunin-Keplicz Partial Reconstruction of Coreferential Structure of Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] 