Home     Top: Artificial Intelligence: Expert Systems    [Expert Systems   Knowledge Representation   Natural Language Processing   Optimization   Planning   Robotics]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Tutorials/surveys/introductory articles (ordered by the degree of citation of authoritative articles)

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

14141.6   Foundations of Temporal Constraint Databases - Koubarakis (1994)   (Correct)
11381.4   Prior Information and Generalized Questions - Lemm (1996)   (Correct)
9544.3   Knowledge Representation with Logic Programs - Gerhard Brewka, Jürgen Dix (1997)   (Correct)
8886.0   A Roadmap of Agent Research and Development - Jennings, Sycara, Wooldridge (1998)   (Correct)
8290.6   Wrappers for Feature Subset Selection - Kohavi, John (1997)   (Correct)
7902.4   Software Development Environment Based on Object-Oriented and Logic.. - Khaled Fouad Sayed Shaalan (1995)   (Correct)
7830.3   Prolegomena to Logic Programming for Non-Monotonic Reasoning - Jürgen Dix, Luís Moniz.. (1997)   (Correct)
7216.2   Knowledge Engineering: Principles and Methods - Studer, Benjamins, Fensel (1998)   (Correct)
6134.8   Query Processing Issues in Object-Oriented Knowledge Base Systems - Özsu, Straube, Peters (1994)   (Correct)
5950.9   Explaining Reasoning In Description Logics - McGuinness (1996)   (Correct)
5871.4   Operations for Learning with Graphical Models - Buntine (1994)   (Correct)
5600.6   The Omnipresence of Case-Based Reasoning in Science and Application - Aha (1998)   (Correct)
5207.6   A Tutorial on Learning Bayesian Networks - Heckerman (1995)   (Correct)
5169.0   Applications of Abduction: Knowledge-Level Modeling - Menzies (1996)   (Correct)
4998.5   Connectionist Theory Refinement: Genetically Searching the Space of.. - Opitz, al. (1997)   (Correct)
4569.1   Annotated bibliography on research methodologies - Reich (1994)   (Correct)
4564.0   Critiquing: Effective Decision Support in Time-Critical Domains - Gertner (1995)   (Correct)
4498.2   An Overview of Corpus-Based Statistics-Oriented (CBSO) Techniques for .. - Su, Chiang, Chang (1996)   (Correct)
4432.3   Security Protocols over open networks and distributed systems: Formal .. - Gritzalis, Spinellis, Georgiadis (1999)   (Correct)
4318.2   Building Knowledge Base Management Systems - Mylopoulos, Chaudhri, Plexousakis.. (1995)   (Correct)
4299.1   Applications of Abduction #2: Knowledge-Level Modeling - Menzies (1995)   (Correct)
4217.0   The Collective Stance In Modeling Expertise In Individuals And.. - Gaines (1994)   (Correct)
4146.5   Deja-Vu - Distributed Hypermedia Application Framework - Eliëns   (Correct)
4031.5   Unifying Instance-Based and Rule-Based Induction - Domingos (1996)   (Correct)
3938.1   Building Knowledge Base Management Systems: A Progress Report - Mylopoulos, Chaudhri, Plexousakis.. (1994)   (Correct)
3936.7   Combining Symbolic and Connectionist Learning Methods to Refine.. - Mahoney (1996)   (Correct)
3837.2   Symbolic Diagnosis and its Formalisation - Lucas (1997)   (Correct)
3678.8   Distributed reasoning and learning in Bayesian expert systems - Díez, Mira   (Correct)
3594.9   An Overview of Limits to Knowledge Level-B Modeling (and KADS) - Menzies (1995)   (Correct)
3543.6   Verification, Validation and Integrity Issues in Expert and Database.. - Coenen, Eaglestone, Ridley   (Correct)
3538.9   Ripple-Down Rationality: A Framework for Maintaining PSMs - Menzies, Mahidadia (1997)   (Correct)
3499.0   A Constructive Approach To Hybrid Architectures For Machine Learning - Fletcher (1994)   (Correct)
3354.4   Intelligent Computer-Aided Engineering - Forbus (1988)   (Correct)
3333.0   Automated Termination Analysis for Logic Programs - Sohn (1993)   (Correct)
3297.3   Trends in Cooperative Distributed Problem Solving - Durfee, Lesser, Corkill (1995)   (Correct)
3125.1   Weakened Negative Introspection in Autoepistemic Reasoning - Janhunen (1993)   (Correct)
3123.0   Intelligent Backtracking in the Echidna Constraint Logic Programming.. - Havens (1992)   (Correct)
3096.6   Eye On The Prize - Nilsson (1995)   (Correct)
3091.6   Utilizing Bayesian Techniques For User Interface Intelligence - Harrington (1996)   (Correct)
3069.4   Hypothesis Testing in Neuroendocrinology via Abduction over.. - Menzies, Compton (1996)   (Correct)
3066.6   An Application of Pattern Matching in Intrusion Detection - Kumar, Spafford (1994)   (Correct)
3061.4   Augmented Bibliography - Appendix Augmented   (Correct)
3046.8   Theory Refinement Combining Analytical and Empirical Methods - Ourston, Mooney (1994)   (Correct)
2985.1   The Starburst Active Database Rule System - Widom (1996)   (Correct)
2936.4   Stuffing Mind into Computer: Knowledge and Learning for Intelligent.. - Cherkauer (1995)   (Correct)
2897.7   A Framework for Expressing the Relationships Between Multiple Views.. - Nuseibeh, Kramer, Finkelstein (1994)   (Correct)
2875.4   Process And Policy: Resource-Bounded Non-Demonstrative Reasoning - Loui (1993)   (Correct)
2856.4   A framework for Group Decision Support Systems: Combining AI tools.. - Karacapilidis, Pappis   (Correct)
2827.3   Design of Representation-Changing Algorithms - Fink (1995)   (Correct)
2825.1   An Investigation of Hybrid Systems for Reasoning in Noisy Domains - Melvin (1995)   (Correct)
2803.3   Intelligent Interfaces for Information Retrieval: A Review - Mizzaro (1996)   (Correct)
2803.1   The RISE 2.0 System: A Case Study in Multistrategy Learning - Domingos (1995)   (Correct)
2740.0   On the Integration of Knowledge, Data, and Models - Miller, Potter, Kochut   (Correct)
2734.6   Preference Acquisition through Reconciliation of Inconsistencies - Jain (1993)   (Correct)
2730.6   Knowledge-Based Support for Requirements Capture - Bolton, Jones, Till, Furber, Green (1991)   (Correct)
2710.5   A Learnability Model for Universal Representations - Muggleton, Page, Jr. (1997)   (Correct)
2705.9   First Order Theory Refinement - Wrobel (1996)   (Correct)
2699.3   The Complexity of Revising Logic Programs - Greiner (1996)   (Correct)
2687.5   Limits to Knowledge Level-B Modeling (and KADS) - Tim Menzies (1995)   (Correct)
2671.5   Neural Knowledge Processing in Expert Systems - Síma, Cervenka   (Correct)
2661.7   Clinical Decision-Support Systems in Radiation Therapy - Jain, Kahn (1993)   (Correct)
2639.4   Second generation knowledge acquisition methods and their application .. - Lavrac, Mozetic (1992)   (Correct)
2626.0   A Strategic Negotiations Model with Applications to an International.. - Kraus, Wilkenfeld (1993)   (Correct)
2624.1   Machine Learning: Techniques and Recent Developments - Clark (1990)   (Correct)
2623.6   A Logic for Reasoning about Probabilities - Fagin, Halpern, Megiddo (1990)   (Correct)
2620.5   Chapter 6 A Knowledge-Based Monitoring Environment - On Me Nt   (Correct)
2587.3   Symbolical Reasoning about Numerical Data: A Hybrid Approach - Herrmann (1997)   (Correct)
2572.0   ISAC: a Case-Based Reasoning System for Aircraft Conflict Resolution - Bonzano (1998)   (Correct)
2542.4   Algorithms for Constructing Immobilizing Fixtures and Grasps of.. - Attawith Sudsang (1997)   (Correct)
2540.4   Representing Physical And Design Knowledge In Innovative Design - Sgouros (1993)   (Correct)
2520.2   Probabilistic Reasoning As Information Compression By Multiple.. - Wolff (1998)   (Correct)
2496.3   Grate: A General Framework For Cooperative Problem Solving - Jennings, Mamdani, Laresgoiti.. (1992)   (Correct)
2472.6   A Multistrategy Approach To Theory Refinement - Mooney, Ourston (1993)   (Correct)
2450.8   Inductive Logic Programming - Muggleton (1992)   (Correct)
2449.5   System Performance Advisor: An Expert System For Unix System.. - Hoogenboom (1992)   (Correct)
2434.7   Machine Learning for the Detection of Oil Spills in Satellite Radar.. - Kubat, Holte, Matwin (1998)   (Correct)
2420.0   Efficient and Constructive Algorithms for the Pathwidth and Treewidth .. - Bodlaender, Kloks (1993)   (Correct)
2417.8   Neuralbase: A Neural Network System For Case Based Retrieval In The.. - Gledhill (1995)   (Correct)
2417.7   Query Formulation as an Information Retrieval Problem - Hofstede, Proper, van der Weide (1996)   (Correct)
2412.1   Generalized Probabalistic Reasoning and Empirical Studies on.. - Baenen   (Correct)
2391.0   The (Extensive) Implications of Evaluation on the Development of.. - Menzies, Compton   (Correct)
2378.8   Two Views of the Theory of Rough Sets in Finite Universes - Yao (1996)   (Correct)
2378.2   Logical Inference and Polyhedral Projection - Hooker (1992)   (Correct)
2370.4   Critiquing: Effective Decision Support in Time-Critical Domains.. - Abigail Gertner (1995)   (Correct)
2355.3   The User Modeling Shell System BGP-MS - Kobsa, Pohl (1995)   (Correct)
2343.4   A Comparison of Languages which Operationalize and Formalise KADS.. - Fensel, van Harmelen (1994)   (Correct)
2333.4   Optimal composition of real-time systems - Zilberstein, Russell (1996)   (Correct)
2316.7   Information Framework For Composite Packaged Software Synthesis - Levin   (Correct)
2264.6   Integration of Machine Learning and Knowledge Acquisition with a.. - Vladimir Estivill-Castro   (Correct)
2223.4   Engineering Knowledge-Based Software for Large Embedded Systems - Bouteldja   (Correct)
2196.9   PROUD -- Parallel Resources On Users' Desks - Aresearch   (Correct)
2184.1   Knowledge Representation in WERKL, an Architecture for Intelligent.. - Herzog, Petta   (Correct)
2176.3   An Object-oriented Foundation for Desktop Computing - Gruber, Valduriez (1994)   (Correct)
2164.7   Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (1998)   (Correct)
2154.2   Random Worlds and Maximum Entropy - Grove, Halpern, al. (1994)   (Correct)
2140.2   A Behavioural Model For Linguistic Uncertainty - Walley, de Cooman (1998)   (Correct)
2128.1   An Evaluation of Local Improvement Operators for Genetic Algorithms - Miller, Potter, Gandham, Lapena (1993)   (Correct)
2121.0   Decision Theory in Expert Systems and Artificial Intelligence - Horvitz, Breese (1988)   (Correct)
2109.6   Building Applied Natural Language Generation Systems - Reiter, Dale (1997)   (Correct)
2101.0   Graphical Explanation in Belief Networks - Madigan, Mosurski, Almond (1997)   (Correct)
2090.5   Expressing the Relationships Between Multiple Views in Requirements.. - Nuseibeh, Kramer, Finkelstein (1993)   (Correct)
2089.0   Manufacturing Feature Identification for Intelligent Design - Smith, Dagli   (Correct)
2084.7   A blackboard infrastructure for object-based image interpretation - Koelma, Smeulders   (Correct)
2083.6   ExClaim: a language for operationalizing CommonKADS expertise models.. - Badea, al.   (Correct)
2060.8   A Semantics for a Class of Non-Deterministic and Causal Production.. - Louiqa Raschid (1992)   (Correct)
2058.9   From Natural Language Documents to Sharable Product Knowledge: A.. - Rösner, Grote, Hartmann, Höfling (1997)   (Correct)
2057.6   IIC: Information in Context - Mankoff (1996)   (Correct)
2052.7   Rule Discovery: Error Measures and Conditional Rule Probabilities - Jim, Wüthrich (1996)   (Correct)
2046.6   Audio Signal Classification - Gerhard (2000)   (Correct)
2043.1   A Static Parameter based Performance Prediction Tool for Parallel.. - Fahringer, Zima (1993)   (Correct)
2039.5   A Characterization of Markov Equivalence Classes for Acyclic Digraphs - Andersson, Madigan, Perlman (1995)   (Correct)
2022.6   IDP - An Interactive Discourse Planner - Haller (1996)   (Correct)
2015.2   Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
2010.9   Abstract Metaprolog Engine - Cicekli (1994)   (Correct)
1994.1   An Active Oodb System For Genome Physical Map Assembly - Amy Lee (1994)   (Correct)
1989.3   Storage Management for Knowledge Bases - Thodoros Topaloglou (1993)   (Correct)
1985.8   A Hybrid Intelligent Architecture and Its Application to Water.. - Taha, Ghosh (1995)   (Correct)
1973.3   Algebraic Formalisations of Fuzzy Relations and Their Representation.. - Furusawa (1998)   (Correct)
1969.5   Drafting ER and OO Schemas in Prototyping Environments - Meyer, Westerman, Gogolla (1996)   (Correct)
1955.0   Telecommunications service development: a design methodology and its.. - Eberlein, Halsall (1997)   (Correct)
1952.4   Multilevel Simulation and Numerical Optimization of Complex.. - Schwabacher, Gelsey (1998)   (Correct)
1940.8   Automatic Generation of Technical Documentation - Reiter, Mellish, Levine (1995)   (Correct)
1940.6   Partial Abductive Inference in Bayesian Belief Networks: An.. - de Campos, Gámez, Moral (1999)   (Correct)
1935.2   Computer-assisted hybrid reasoning in simulation and analysis of.. - Kleiber, Kulpa (1995)   (Correct)
1930.3   Deriving Optimal Solutions From Incomplete Knowledge Bases - Northrop (1995)   (Correct)
1920.2   Engineering of KR-Based Support Systems for Conceptual Modelling &.. - Compatangelo, Donini, Rumolo   (Correct)
1917.9   Intelligent Data Analysis in Medicine - Lavrac, Keravnou, Zupan (2000)   (Correct)
1916.3   dHugin: A computational system for dynamic time-sliced Bayesian.. - Kjærulff (1994)   (Correct)
1908.6   A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (1998)   (Correct)
1905.0   The Challenge of Deep Models, Inference Structures, and Abstract Tasks - Horn (1990)   (Correct)
1901.0   Integrated Knowledge Acquisition Architectures - Gaines, Shaw (1992)   (Correct)
1896.1   Case-Based Reasoning - Survey and Future Directions - Bartsch-Spörl, Lenz, Hübner (1999)   (Correct)
1893.6   A Survey of Research into Legacy System Migration - Bisbal, al. (1997)   (Correct)
1891.9   The Specification Language KARL and Its Declarative Semantics - Fensel, Angele, Studer (1994)   (Correct)
1874.1   Second generation expert systems, explanations, arguments and.. - Stutt   (Correct)
1867.1   Learning in the Presence of Malicious Errors - Kearns (1993)   (Correct)
1855.2   Some software tools to control the accuracy in scientific computing - Carpraux (1994)   (Correct)
1853.6   Combination Calculi for Uncertainty Reasoning: Representing.. - Hummel, Manevitz   (Correct)
1851.6   NetNeg: A Connectionist-Agent Integrated System for Representing.. - Goldman, Gang, Rosenschein, Lehmann   (Correct)
1851.1   Research in Intrusion-Detection Systems: A Survey - Axelsson (1998)   (Correct)
1847.1   A Methodology for Testing Intrusion Detection Systems - Puketza, Zhang, Chung, Mukherjee.. (1996)   (Correct)
1835.0   Image Understanding Software for Hybrid Hardware - Snorrason, Ruda (1995)   (Correct)
1833.8   On Building a Planning Tool Box - Hertzberg (1995)   (Correct)
1817.3   Combining Formal Concept Analysis and Ripple Down Rules to Support.. - Richards, Compton (1997)   (Correct)
1798.4   CORBA-Based Interoperable Geographic Information Systems - H.-Arno Jacobsen, Agnès.. (1998)   (Correct)
1787.8   The Use Of Explicit Intermediate Representations In Intelligent.. - Twidale (1989)   (Correct)
1779.1   An experimental environment for exchanging engineering design.. - Shen, Barths (1997)   (Correct)
1778.8   Visual Recognition of Hand Motion - Holden (1997)   (Correct)
1774.5   Deductive Object Databases - Bertino (1994)   (Correct)
1772.8   Genetic Programming and Emergent Intelligence - Angeline (1994)   (Correct)
1764.7   Domain-Related Focus-Shifting Constraints in Dialogues with Knowledge .. - Moeller (1995)   (Correct)
1762.0   Property Specification Patterns for Finite-State Verification - Matthew Dwyer (1998)   (Correct)
1752.8   Refinement of Uncertain Rule Bases via Reduction - Charles Ling (1995)   (Correct)
1748.6   Prototype Styles of Generalization - Wilson (1994)   (Correct)
1743.2   CORBA-Based Open Geographic Information Systems - H. Arno Jacobsen, Agnès.. (1998)   (Correct)
1735.8   An Argument For The Uncomputability Of Infinitary Mathematical.. - Bringsjord (1995)   (Correct)
1732.1   Cloud Classification Using Error-Correcting Output Codes - Aha, Bankert (1996)   (Correct)
1731.6   CODE4: A Unified System for Managing Conceptual Knowledge - Skuce, Lethbridge (1995)   (Correct)
1727.2   Computer Supported Query Formulation in an Evolving Context - Hofstede, Proper, van der Weide (1995)   (Correct)
1720.2   Structural and Syntactic Methods in Line Drawing Analysis: To which.. - Tombre (1996)   (Correct)
1718.1   Self-Organising Discovery, Recognition, and Prediction of Hemodynamic .. - Spencer, Lessard, Davila, Etter   (Correct)
1716.3   A Comparison of Annealing Techniques for Academic Course Scheduling - Elmohamed, Fox, Coddington (1997)   (Correct)
1705.4   Automating the Finite Element Method: A Test-Bed for Soft Computing - Larry Manevitz   (Correct)
1704.8   Modeling Ill-Structured Optimization Tasks through Cases - Miyashita, Sycara, Mizoguchi (1996)   (Correct)
1704.2   Syntactic Pre-Processing in Single-Word Prediction for Disabled People - Wood (1996)   (Correct)
1696.4   Knowledge-based Automation of a Design Method for Concurrent Systems - Mills, Gomaa   (Correct)
1695.7   Issues in Active Databases - Bailey, Ramamohanarao (1995)   (Correct)
1694.6   An Incompleteness Handling Methodology for Validation of Bayesian.. - Bawcom (1997)   (Correct)
1674.1   CISE Research Instrumentation for Integration of Virtual Reality into .. - Geoffrey Fox   (Correct)
1669.5   Vision-based Planning and Execution of Precision Grasps - Fuentes, Marengoni, Nelson (1994)   (Correct)
1663.4   The Design of a Model-Based Multimedia Interaction Manager - Arens   (Correct)
1658.8   Artificial Intelligence in Radiology: Decision Support Systems - Kahn   (Correct)
1657.3   Systematic Approach to the Design of Representation-Changing.. - Eugene Fink (1995)   (Correct)
1656.9   CHARADE: a Platform for Emergencies Management Systems - Ricci, Mam, Marti, Normand, Olmo (1994)   (Correct)
1645.5   A Knowledge-Based Method for Inferring Semantic Concepts from Visual.. - Mills, Gomaa (1998)   (Correct)
1644.0   Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic.. - Hanks, McDermott (1993)   (Correct)
1641.8   Bayesian Model Averaging And Model Selection For Markov Equivalence.. - Madigan, Andersson, Perlman, Volinsky (1996)   (Correct)
1636.4   The System Engineering Process Activities: The Methodology and.. - Barber, Graser, Jernigan, McGiverin, .. (1998)   (Correct)
1634.9   The EXCEPT II Default Reasoning System - Junker   (Correct)
1632.3   Neuronal Architectures for Pattern-theoretic Problems - David Mumford (1994)   (Correct)
1626.6   Cognitive Maps: Theory, Implementation and Practical Applications in.. - Chaib-Draa   (Correct)
1622.4   Evaluation Methodologies for Intelligent Tutoring Systems - Mark (1993)   (Correct)
1618.8   Agent Models of Intelligence - Limitations and Prospects - Amitabha Mukerjee   (Correct)
1610.1   Blocking Gibbs Sampling in Very Large Probabilistic Expert Systems - Jensen, Kong, Kjærulff (1993)   (Correct)
1605.9   Intelligent Gradient-Based Search of Incompletely Defined Design.. - Schwabacher (1996)   (Correct)
1605.3   Parallel Symbolic Computing with the Shared Dataspace Coordination.. - Ciancarini, Gaspari (1994)   (Correct)
1599.3   Computer Evolution of Buildable Objects for Evolutionary Design by.. - Funes, Pollack (1998)   (Correct)
1598.5   Measurement Methods for Product Evaluation - Otto (1994)   (Correct)
1597.8   Design And Analysis Of Hardware For High Performance Prolog - Holmer, Sano, Carlton, Van Roy.. (1994)   (Correct)
1597.6   INFORMATION RESOURCES DOCUMENT MANAGEMENT SYSTEMS: ACHIEVEMENTS AND.. - April Preface   (Correct)
1591.8   Using Explicit Requirements and Metrics for Interface Agent User.. - Brown, Jr. (1998)   (Correct)
1582.8   An Evaluation of Statistical Approaches to Text Categorization - Yang (1999)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute