Conferences in DBLP
Gautam Biswas , James C. Bezdek A Linuistic Transitive Closure Method for Completion and Consistency of Uncertain Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Luis M. de Campos , M. Teresa Lamata , Serafín Moral Logical Connectives for Combining Fuzzy Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Henry W. Davis , Anna Bramanti-Gregor , Jin Wang The Advantages of Using Depth and Breadth Components in Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Kejitan Dontas , Maria Zemankova APPLAUSE: An Experimental Plausible Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Chris A. Fields , M. J. Coombs , R. T. Hartley MGR: An Architecture for Problem Solving in Unstructured Task Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Kacprzyk A Possibilistic Approximate Reasoning Scheme Based on If-Then Rules Represented by Compatibility Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Pawan Lingras , S. K. Michael Wong An Optimistic Rule for Accumulation of Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence J. Mazlack Heuristic Principles Supporting Making Time Critical Decisions in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Montini Compiling Built-In Taxonomic Reasoning in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. K. Tsang Elements in Temporal Reasoning in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wahlster An Intelligent Multimodal Interface. [Citation Graph (0, 0)][DBLP ] Conf ] W. A. Bratten , M. L. Johnson , M. L. Emrich , J. M. Williams Rule-Based Approach to Telecommunications Design. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas P. Metzler , James Williams ISLAND: An Intelligent System for Local Area Network Design. [Citation Graph (0, 0)][DBLP ] Conf ] Göran Pettersson , Dan Strömberg System Architecture for a Real-Time Planning Agent in an Autonomous Air Craft. [Citation Graph (0, 0)][DBLP ] Conf ] Roas Massa Rolandino , Maria Luisa Bianco Towards a Methodology for Acquiring Social-Scientific Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] George I. Sharkov , Dimiter S. Dimitrov Knowledge Representation and Reasoning in Expert Systems for Biophysics. [Citation Graph (0, 0)][DBLP ] Conf ] Hisazumi Tsuchida , Sigehito Iwase , Minoru Ohyama An Intelligent Directory Assistence System. [Citation Graph (0, 0)][DBLP ] Conf ] Jiawei Han , Wo-Shun Luk What Kinds of Recursion Can Be Processed by Transitive Closure Strategies? [Citation Graph (2, 0)][DBLP ] Conf ] Andrzej Jankowski , Zbigniew Michalewicz Relational Databases with Boolean Structured Values of Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Padgham NODE: A Database for Use by Intelligent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela D'Aloisi , O. Stock , A. Tuozzi An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Mira Balaban , Stefan Strack LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström A Representation of Coordinated Actions Characterized by Interval Valued Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Anna Furno , Pietro Torasso Dealing with Time in Diagnostic Reasoning Based on Causal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Guarino Attributed and Extensional Equivalence in DRL. [Citation Graph (0, 0)][DBLP ] Conf ] Aarno Lehtola , Timo Honkela , Heikki Hyötyniemi , Harri Jäppinen Task Oriented Knowledge Representation Languages for NLP-Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel , Kai von Luck Hybrid Reasoning in BACK. [Citation Graph (1, 0)][DBLP ] Conf ] Francesco Bergadano , Stan Matwin , Ryszard S. Michalski , Jianping Zhang Representing and Acquiring Imprecise and Context-dependent Concepts in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Berzuini Partially Supervised Learning from Examples with the Aid of Statistical Regression Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta Constructive Learning in Conjunctive Concept Characterization. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Bruno ORION: A Knowledge Based Clustering System. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gemello , Franco Mana , G. Viano Inducing Conceptual Discrimination Rules from Examples: An Application to Image Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Mirsad Hadzikadic , David Y. Y. Yun Concept Formation by Goal-Driven, Context-Dependent Classification. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. E. Hodgson Solving Problems by Subproblem Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Jankowski , Jan M. Zytkow A Methdology for Multisearch Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Karpinski , Zbigniew W. Ras Learning Machine for Probabilistically Describable Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Stan Matwin , Franz Oppacher Learning by Watching: An Incremental Machine Learning Method that Acquires Rules by Conceptual Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Gee-gwo Mei , Wentai Liu , Su-Shing Chen A Hierarchical Sigma-Pi Neural Architecture for Learning Search Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige Defeasible Argumentation in Reasoning About Events. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall An Approach to Non-Monotonic Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Carlucci Aiello , Daniele Nardi , Marco Schaerf Yet Another Solution to the Three Wisemen Puzzle. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini TermLog: a Logic for Terminological Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Dimiter Driankov Towards a Many Valued Logic of Belief: Detachment Operations with an Exception Condition. [Citation Graph (0, 0)][DBLP ] Conf ] P. Ecsedi-Tóth On the Expressive Power of Circumscriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Halina Przymusinska , Teodor C. Przymusinski Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Y. J. Jiang Intension, Quantified Beliefs and Epistemic Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu A Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. McCluskey Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Cecylia Rauszer On Stable Autoepistemic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] John S. Schlipf When is Closed World Reasoning Tractable? [Citation Graph (0, 0)][DBLP ] Conf ] 