Conferences in DBLP
Alan W. Biermann , Ronnie W. Smith An Architecture for Pragmatic Voice Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Doyle , Yoav Shoham , Michael P. Wellman A Logic of Relative Desire (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Larry Kerschberg Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell Personal Learning Apprentices. [Citation Graph (0, 0)][DBLP ] Conf ] Gio Wiederhold The Roles of Artificial Intelligence in Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph F. Eick Integrating Variables and Operations into Rule-Based Forward Chaining Systems. [Citation Graph (1, 0)][DBLP ] Conf ] David Mutchler The Multi-Player Version of Minimax Displays Game-Tree Pathology. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Portinale Generalization Handling in a Dynamic Case Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Hichul An , Lawrence J. Henschen Knowledge Based Semantic Query Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Sarit Kraus , Jack Minker , V. S. Subrahmanian Combining Knowledge Bases Consisting of First Order Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjiv K. Bhatia , Jitender S. Deogun , Vijay V. Raghavan User Profiles for Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] I-Min A. Chen , Rei-Chi Lee An Approach to Deriving Object Hierarchies from Database Schema and Contents. [Citation Graph (1, 0)][DBLP ] Conf ] Bipin C. Desai , Li Zhang Multilevel Interface to a Distributed Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Jiawei Han , Qiang Wang Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Yung-jen Hsu Synthesizing Efficient Agents from Partial Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth A. Kaufman , Ryszard S. Michalski , Larry Kerschberg Knowledge Extraction from Databases: Design Princiles of the INLEN System. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Ng , V. S. Subrahmanian Stable Model Semantics for Probabilistic Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] S. K. Michael Wong , Pawan Lingras , Yiyu Yao Towards Implementing Valuation Based Systems with Relational Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Bei-Tseng Bill Chu On the Representation of Continuous Causal Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Malec Process Transition Networks: A Formal Graphical Knowledge Representation Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo A. Munoz , Chao-Chih Yang Using Normal Deduction Graphs in Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew W. Ras , Jing Xiao A Model of Information Sharing for Fault-Tolerant Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Barry Richards , Yuejun Jiang , H. Choi On Interval-based Temporal Planning: An IQ Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Sobolewski Percept Conceptualizations and Their Knowledge Representation Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Terenziani Combining Time Points and Time Intervals in a Hybrid Knowledge Representation Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnaprasad Thirunarayan An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Edgar B. Wendlandt , James R. Discroll Semantic Extensions to Text Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Winslett , Seng-cho Timothy Chou Updates with Equality: Beyond the Herbrand Universe Assumption. [Citation Graph (1, 0)][DBLP ] Conf ] Jerzy W. Bala , Kenneth DeJong , Peter Pachowicz Using Genetic Algorithms to Improve the Performance of Classification Rules Produced by Symolic Inductive Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta , Attilio Giordana Learning Quantitative Features in a Symbolic Environment. [Citation Graph (1, 0)][DBLP ] Conf ] Sam Coates-Stephens Automatic Acquisition of Proper Noun Meanings. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Attilio Giordana , Lorenza Saitta Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Delisle , Stan Matwin , Jiandong Wang , Lionel Zupan Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Charles W. Glover , Nageswara S. V. Rao , E. M. Oblow Hybrid Pattern Recognition System Capable of Self-Modification. [Citation Graph (0, 0)][DBLP ] Conf ] A. Goker , T. L. McCluskey Towards an Adaptive Information Retrieval System. [Citation Graph (0, 0)][DBLP ] Conf ] Diana F. Gordon Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Grzymala-Busse On the Unknown Attribute Values in Learning from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Cezary Z. Janikow A New System for Inductive Learning in Attribute-Based Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Michalewicz , Zbigniew Michalewicz Generation of Classification Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Salzberg Distance Metrics for Instance-Bsed Learning. [Citation Graph (0, 0)][DBLP ] Conf ] William M. Spears , Vic Anand A Study of Crossover Operators in Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gheorghe Tecuci , Ryszard S. Michalski Input Understanding as a Basis for Multistrategy Task-Adaptive Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Zembowicz , Jan M. Zytkow Automated Discovery of Empirical Equations from Data. [Citation Graph (0, 0)][DBLP ] Conf ] Jan M. Zytkow , Paul J. Fischer Constructing Models of Hidden Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Seiki Akama Amalgamated Logic Programming and Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Jorge Lobo , Jack Minker WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Jacques Calmet , Indra A. Tjandra Representation of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Chatalic , Christine Froidevaux Graded Logics: A Framework for Uncertain and Defeasible Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Jianhua Chen , Sukhamay Kundu The Strong Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Conrad , Dennis Bahler , James Bowen Static Parallel Arc Consistency in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Flach Towards a Theory of Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Y. J. Jiang Another View of Autoepistemic Logic and Truth Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Kienchung Kuo Dynamic Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Lorenz Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Marquis Novelty Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Miller , Donald Perlis Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Neil V. Murray , Erik Rosenthal Resolution and Path Dissolution in Multi-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Xumin Nie How Well Are Non-Horn Clauses Handled? [Citation Graph (0, 0)][DBLP ] Conf ] Madhura Nirkhe , Sarit Kraus , Donald Perlis Fully Deadline-Coupled Planning: One Step at a Time. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Plaza Completeness for Propositional Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Arcot Rajasekar Disjunctive Logic Programs and Constrain Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Stachniak Note on Resolution Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Richmond H. Thomason A Semantic Analysis of Monotonic Inheritance with Roles and Relations. [Citation Graph (0, 0)][DBLP ] Conf ] 