Conferences in DBLP
William J. Campbell Distributed Earth Science Validation Centers for Mission to Planet Earth. [Citation Graph (0, 0)][DBLP ] Conf ] B. Chandrasekaran Causal Understanding in Reasoning About the World. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Fox How to Make Intelligent Digital Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Meersman Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hasan M. Jamil , Fereidoon Sadri Recognizing Credible Experts in Inaccurate Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Sukhamay Kundu , Jianhua Chen Fuzzy Logic or Lukasiewicz Logic: A Clarification. [Citation Graph (0, 0)][DBLP ] Conf ] Tsau Young Lin , Qing Liu , Y. Y. Yao Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Lu , Neil V. Murray , Erik Rosenthal Signed Formulas and Fuzzy Operator Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Lech Polkowski , Andrzej Skowron Rough Mereology. [Citation Graph (0, 0)][DBLP ] Conf ] ShengLi Shi , M. Elizabeth C. Hull , David A. Bell A New Rule for Updating Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiwei Wang , S. K. Michael Wong A Global Measure of Ambiguity for Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Shlomo Zilberstein Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Attilio Giordana , Filippo Neri , Lorenza Saitta Formal Models of Selection in Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Michalewicz , Jaroslaw Arabas Genetic Algorithms for the 0/1 Knapsack Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Troels Andreasen , Olivier Pivert On the Weakening of Fuzzy Relational Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Yahui Chang , Louiqa Raschid , Bonnie J. Dorr Transforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Wai-Lok Cheung , Ada Wai-Chee Fu , Jiawei Han A Case-Based Reasoning Approach for Associative Query Answering. [Citation Graph (1, 0)][DBLP ] Conf ] Stephen E. Cross , Donald F. Roberts , Alice M. Mulvehill , J. Allen Sears Case-Based Reasoning Applied to A Force Generation Decision Aid. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Fouqué , Wesley W. Chu , Henrick Yau A Case-Based Reasoning Approach for Associative Query Answering. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Greco , Carlo Zaniolo Efficient Execution of Recursive Queries Through Controlled Binding Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuelle Le Strugeon , René Mandiau , Gaetan Libert Towards a Dynamic Multi-Agent Organization. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan M. Lever , Barry Richards parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Quafafou GAITS II: An Intelligent System for Computer-Aided Education. [Citation Graph (0, 0)][DBLP ] Conf ] Ning Zhong , Setsuo Ohsuga The GLS Discovery System: Its Goal, Architecture and Current Results. [Citation Graph (0, 0)][DBLP ] Conf ] Anastasia Analyti , Sakti Pramanik Declarative Semantics for Contradictory Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vittorio Brusoni , Luca Console , Barbara Pernici , Paolo Terenziani LaTeR: A General Purpose Manager of Temporal Information. [Citation Graph (0, 0)][DBLP ] Conf ] Honghua Gan Understanding a Story With Causal Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Terenziani Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Xiang Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Calmet , Indra A. Tjandra Building Bridges Between Knowledge Representation and Algebraic Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hertzberg , Sylvie Thiébaux Turning an Action Formalism Into a Planner - Essentials of a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Henryk Jan Komorowski , Silvia Trcek Towards Refinement of Definite Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lowry , Andrew Philpot , Thomas Pressburger , Ian Underwood AMPHION: Automatic Programming for Scientific Subroutine Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Hilde Adé , Bart Malfait , Luc De Raedt RUTH: an ILP Theory Revision System. [Citation Graph (0, 0)][DBLP ] Conf ] Jan G. Bazan , Andrzej Skowron , Piotr Synak Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta Learning First Order Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph F. Eick , Ema Toto Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Floriana Esposito , Donato Malerba , Giovanni Semeraro Traps and Pitfalls when Learning Logical Definitions from Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaohua Hu , Ning Shan , Nick Cercone , Wojciech Ziarko DBROUGH: A Rough Set Based Knowledge Discovery System. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Lopez-Suarez , Mohamed S. Kamel Restructuring Rule Bases to Improve Performance. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. McCluskey , J. M. Porteous Learning Heuristics for Ordering Plan Goals through Static Operator Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard S. Michalski , Ibrahim F. Imam Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System. [Citation Graph (0, 0)][DBLP ] Conf ] Ephraim Nissan , Hava Sigelmann , Alex Galperin , Shuky Kimhi Towards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information Language. [Citation Graph (0, 0)][DBLP ] Conf ] Molly Troxel , Kim Swarm , Jan M. Zytkow Concept Hierarchies: A Restricted Form of Knowledge Derived From Regularities. [Citation Graph (0, 0)][DBLP ] Conf ] Jianping Zhang , Hsueh-Hsiang Lu A Data-Driven Approach to Feature Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Asher Reasoning About Action and Time with Epistemic Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Sasa Buvac , Vanja Buvac , Ian A. Mason The Semantics of Propositional Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Jianhua Chen The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Cholvy , Robert Demolombe , Andrew Jones Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Dimopoulos Classical Methods in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Martin Müller Partial Evaluation and Relevance for Approximations of Stable Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty , Witold Lukaszewicz Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. [Citation Graph (0, 0)][DBLP ] Conf ] Suryanil Ghosh Paraconsistency and Beyond: A New Approach to Inconsistency Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Goubault , Joachim Posegga BDDs and Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Yen-Teh Hsia A Possibility-Based Propositional Logic of Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Yan-Nong Huang , Verónica Dahl , Jiawei Han Incremental Processing of Logic Database Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Y. J. Jiang , Yongyuth Aramkulchai On the Relationship between Assumption-based Framework and Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Schaub Computing Queries from Prioritized Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Kwang Mong Sim Beliefs and Bilattices. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Stachniak Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] Conf ] 