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
Ordered by the number of citations

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.

284   Inductive Logic Programming - Muggleton (1992)   (Correct)
126   The Design Of Postgres - Stonebraker, Rowe (1986)   (Correct)
119   Knowledge Discovery in Databases: an Overview - Frawley, Piatetsky-Shapiro, Matheus (1992)   (Correct)
103   Wrappers for Feature Subset Selection - Kohavi, John (1997)   (Correct)
92   Operations for Learning with Graphical Models - Buntine (1994)   (Correct)
92   Qualitative Simulation - Kuipers (1986)   (Correct)
92   CYC: A Large-Scale Investment in Knowledge Infrastructure - Lenat (1995)   (Correct)
78   An Evaluation of Statistical Approaches to Text Categorization - Yang (1998)   (Correct)
75   Learning in the Presence of Malicious Errors - Kearns (1993)   (Correct)
73   A Logic for Reasoning about Probabilities - Fagin, Halpern, Megiddo (1990)   (Correct)
65   A Roadmap of Agent Research and Development - Jennings, Sycara, Wooldridge (1998)   (Correct)
63   Theory Refinement Combining Analytical and Empirical Methods - Ourston, Mooney (1994)   (Correct)
61   Theory Refinement on Bayesian Networks - Buntine (1991)   (Correct)
61   A Tutorial on Learning Bayesian Networks - Heckerman (1995)   (Correct)
57   A Static Parameter based Performance Prediction Tool for Parallel.. - Fahringer, Zima (1993)   (Correct)
57   State Transition Analysis: A Rule-Based Intrusion Detection Approach - Ilgun (1995)   (Correct)
56   A Framework for Expressing the Relationships Between Multiple Views.. - Nuseibeh, Kramer, Finkelstein (1994)   (Correct)
55   Reasoning Under Varying and Uncertain Resource Constraints - Horvitz (1988)   (Correct)
51   The Application of Inductive Logic Programming to Finite Element Mesh .. - Dolsak (1992)   (Correct)
49   Optimal composition of real-time systems - Zilberstein, Russell (1996)   (Correct)
48   Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
46   Genetic Programming and Emergent Intelligence - Angeline (1994)   (Correct)
46   Next Generation Intrusion Detection Expert System (NIDES), Software.. - Anderson, Frivold, Tamaru, Valdes (1994)   (Correct)
44   Feature Selection for Case-Based Classification of Cloud Types: An.. - Aha (1994)   (Correct)
42   Trends in Cooperative Distributed Problem Solving - Durfee, Lesser, Corkill (1995)   (Correct)
42   Ustat : A Real-time Intrusion Detection System for Unix - Ilgun (1992)   (Correct)
39   Automated Learning of Decision Rules for Text Categorization - Apte, Damerau, Weiss (1994)   (Correct)
38   Applications of Machine Learning and Rule Induction - Langley, Simon (1995)   (Correct)
36   Evolving Frameworks: A Pattern Language for Developing.. - Roberts, Johnson (1996)   (Correct)
36   Mapping Domains to Methods in Support of Reuse - John Gennari Samson (1994)   (Correct)
35   From Influence Diagrams to Junction Trees - Jensen, Jensen, Dittmer (1994)   (Correct)
35   Empirical Studies on the Disambiguation of Cue Phrases - Hirschberg (1993)   (Correct)
32   Deadline Assignment in a Distributed Soft Real-Time System - Kao (1993)   (Correct)
32   Building Applied Natural Language Generation Systems - Reiter, Dale (1997)   (Correct)
32   Generality In Artificial Intelligence - McCarthy (1987)   (Correct)
29   Thread Migration and its Applications in Distributed Shared Memory.. - Itzkovitz, Schuster, Wolfovich (1996)   (Correct)
29   Probabilistic Deductive Databases - Lakshmanan, Sadri (1994)   (Correct)
28   Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)   (Correct)
28   Process And Policy: Resource-Bounded Non-Demonstrative Reasoning - Loui (1993)   (Correct)
27   A Pattern Matching Model for Misuse Intrusion Detection - Kumar, Spafford (1994)   (Correct)
26   Unifying Instance-Based and Rule-Based Induction - Domingos (1996)   (Correct)
25   Subtask Deadline Assignment for Complex Distributed Soft Real-Time.. - Kao, Garcia-Molina (1993)   (Correct)
25   Towards Language Independent Automated Learning of Text.. - Apte, Damerau, Weiss (1994)   (Correct)
24   Text Generation in a Dynamic Hypertext Environment - Milosavljevic, Tulloch, Dale (1996)   (Correct)
24   A Software Architecture to support Misuse Intrusion Detection. - Kumar, Spafford (1995)   (Correct)
24   Detecting Computer and Network Misuse Through the Production-Based.. - Lindqvist, Porras (1999)   (Correct)
24   Understanding The Nature Of Learning: Issues and Research Directions - Michalski (1986)   (Correct)
23   Neuronal Architectures for Pattern-theoretic Problems - David Mumford (1994)   (Correct)
23   Expressing the Relationships Between Multiple Views in Requirements.. - Nuseibeh, Kramer, Finkelstein (1993)   (Correct)
23   Theories Underlying Requirements Engineering: An Overview of NATURE.. - Jarke, Bubenko, Rolland, Sutcliffe.. (1992)   (Correct)
23   Decision Theory in Expert Systems and Artificial Intelligence - Horvitz, Breese (1988)   (Correct)
22   Patterns in Property Specifications for Finite-State Verification - Dwyer, al. (1999)   (Correct)
22   Automatic Generation of Technical Documentation - Reiter, Mellish, Levine (1995)   (Correct)
21   The Paradoxical Success of Fuzzy Logic - Elkan (1993)   (Correct)
21   On Group Communication in Large-Scale Distributed Systems - Babaoglu, Schiper (1994)   (Correct)
20   Specifying Intonation from Context for Speech Synthesis - Prevost   (Correct)
19   Connectionist Theory Refinement: Genetically Searching the Space of.. - Opitz, al. (1997)   (Correct)
19   The User Modeling Shell System BGP-MS - Kobsa, Pohl (1995)   (Correct)
19   Random Worlds and Maximum Entropy - Grove, Halpern, al. (1994)   (Correct)
18   Combining Prior Symbolic Knowledge And Constructive Neural Network.. - Fletcher, Obradovic (1993)   (Correct)
18   The Starburst Active Database Rule System - Widom (1996)   (Correct)
18   A Comparison of Languages which Operationalize and Formalise KADS.. - Fensel, van Harmelen (1994)   (Correct)
18   Emulating Soft Real-Time Scheduling Using Traditional Operating.. - Adelberg (1994)   (Correct)
18   Converting a Rule-based Expert System into a Belief Network - Korver (1993)   (Correct)
17   Detecting Intruders in Computer Systems - Lunt (1993)   (Correct)
17   Planning for Modular and Hybrid Fixtures - Wallack (1994)   (Correct)
17   A Multistrategy Approach To Theory Refinement - Mooney, Ourston (1993)   (Correct)
17   Property Specification Patterns for Finite-State Verification - Matthew Dwyer (1998)   (Correct)
17   Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic.. - Hanks, McDermott (1993)   (Correct)
17   An Application of Pattern Matching in Intrusion Detection - Kumar, Spafford (1994)   (Correct)
17   Reconstructing Proofs at the Assertion Level - Huang (1994)   (Correct)
17   Machine Learning for the Detection of Oil Spills in Satellite Radar.. - Kubat, Holte, Matwin (1998)   (Correct)
16   Using a Description Classifier to Enhance Deductive Inference - MacGregor (1991)   (Correct)
16   Schemes for Fault Identification in Communication Networks - Katzela, Schwartz (1995)   (Correct)
16   Test Program Generation for Functional Verification of PowerPC.. - Aharon Aharon Dave (1995)   (Correct)
15   Experience with EMERALD to Date - Neumann (1999)   (Correct)
15   WUM: A Web Utilization Miner - Spiliopoulou, Faulstich (1998)   (Correct)
15   Efficient and Constructive Algorithms for the Pathwidth and Treewidth .. - Bodlaender, Kloks (1993)   (Correct)
15   Active Defense of a Computer System using Autonomous Agents - Mark Crosbie   (Correct)
15   A Theory of Processes with Durational Actions - Gorrieri, Roccetti, Stancampiano (1994)   (Correct)
15   Database Support for Knowledge-Based Engineering Environments - Kaiser (1988)   (Correct)
15   Foundation and Application of Knowledge Base Verification - Preece (1994)   (Correct)
14   Dynamic Hypertext Catalogues: Helping Users to Help Themselves - Milosavljevic, Oberlander (1998)   (Correct)
14   PARULEL: Parallel Rule Processing Using Meta-rules for Redaction - Stolfo, Wolfson, Chan, Dewan.. (1991)   (Correct)
14   Artificial Intelligence and Intrusion Detection: Current and Future.. - Frank (1994)   (Correct)
14   Cue Phrase Classification Using Machine Learning - Litman (1996)   (Correct)
14   ID2-of-3: Constructive Induction of M-of-N Concepts for.. - Murphy, Pazzani (1991)   (Correct)
14   Cooperative Problem Solving - Tad (1992)   (Correct)
14   Using Argumentation In Text Generation - Elhadad (1995)   (Correct)
14   A 2000 Rule Expert System Without Knowledge Engineers - Preston, Edwards, Compton (1993)   (Correct)
13   Detecting and Correcting Errors in Rule-Based Expert Systems: An.. - Pazzani (1991)   (Correct)
13   eMediator: a Next Generation Electronic Commerce Server - Sandholm (1999)   (Correct)
13   Blocking Gibbs Sampling in Very Large Probabilistic Expert Systems - Jensen, Kong, Kjærulff (1993)   (Correct)
13   A Domain and Type Enforcement UNIX Prototype - Badger (1996)   (Correct)
13   A Uniform Framework For Integrating Knowledge In Heterogeneous.. - Adali, Emery (1995)   (Correct)
13   Database Support for Problematic Knowledge - Kiebling, Thöne, Güntzer (1992)   (Correct)
12   CLAIRE: Combining Objects and Rules for Problem Solving - Caseau, Laburthe (1996)   (Correct)
12   Change-oriented version descriptions in EPOS - Gulla, Karlsson, Yeh (1991)   (Correct)
12   Machine Transliteration - Knight, Graehl (1997)   (Correct)
12   ASAX: Software Architecture and Rule-Based Language for Universal.. - Habra, Le Charlier, Mounji, Mathieu (1992)   (Correct)
12   Evolutionary Algorithms And Emergent Intelligence - Angeline (1993)   (Correct)
12   Generating Explanations In Context - Carenini, Moore (1993)   (Correct)
12   Learning Program Behavior Profiles for Intrusion Detection - Ghosh, Schwartzbard, Schatz (1999)   (Correct)
12   Post-Analysis of Learned Rules - Liu, Hsu   (Correct)
12   Optimizing Rules in Production System Programs - Ishida (1988)   (Correct)
11   Effective Learning in Dynamic Environments by Explicit Context.. - Widmer (1993)   (Correct)
11   Causal probabilistic networks with both discrete and continuous.. - Olesen (1993)   (Correct)
11   Utilizing Criteria to Reduce a Set of Test Cases for Expert System.. - Abel, Gonzalez (1997)   (Correct)
11   Timetabling in Constraint Logic Programming - Azevedo, Barahona (1994)   (Correct)
11   MPA: a Stochastic Process Algebra - Bernardo (1994)   (Correct)
11   Beyond Objects: Components - Meijler, Nierstrasz (1998)   (Correct)
11   Set-Oriented Constructs: From Rete Rule Bases to Database Systems - Douglas Gordin Att (1991)   (Correct)
10   Multilingual thesauri in cross-language text and speech retrieval - Soergel (1997)   (Correct)
10   Cloud Classification Using Error-Correcting Output Codes - Aha, Bankert (1996)   (Correct)
10   Rule-based Object Coordination - Andreoli, Gallaire, Pareschi (1995)   (Correct)
10   Does Prior Knowledge Facilitate the Development of Knowledge-based.. - Cohen (1999)   (Correct)
10   Overview of the STanford Real-time Information Processor (STRIP) - Adelberg (1996)   (Correct)
10   The Calculus of Refinements, a Formal Specification Model Based on.. - Levy (1994)   (Correct)
10   A Symbolic Generalization of Probability Theory - Darwiche (1992)   (Correct)
10   NSTAT: A Model-based Real-time Network Intrusion Detection System - Kemmerer (1997)   (Correct)
10   Knowledge Modeling at the Millennium (The Design and Evolution of.. - Grosso, Eriksson, Fergerson.. (1999)   (Correct)
10   CINEMA: A System for Procedural Camera Movements - Steven Drucker Tinsley (1992)   (Correct)
9   An Overview of DAI: Viewing Distributed AI as Distributed Search - Lesser (1990)   (Correct)
9   Towards Robust PATR - Douglas, Dale (1992)   (Correct)
9   A Methodology for Testing Intrusion Detection Systems - Puketza, Zhang, Chung, Mukherjee.. (1996)   (Correct)
9   Deductive Object Databases - Bertino (1994)   (Correct)
9   On Relating Some Models for Concurrency - Degano, Gorrieri, Vigna (1993)   (Correct)
9   Computer Evolution of Buildable Objects - Funes, Pollack (1997)   (Correct)
9   Evaluation Methodologies for Intelligent Tutoring Systems - Mark (1993)   (Correct)
9   Revision of Production System Rule-Bases - Murphy (1994)   (Correct)
9   Address Block Location on Envelopes Using Gabor Filters - Jain (1992)   (Correct)
9   Apprenticeship Learning in Imperfect Domain Theories - Tecuci (1990)   (Correct)
9   Using Knowledge Acquisition and Representation Tools to Support.. - Gaines (1994)   (Correct)
9   Quantitative Inference in a Mechanical Design "Compiler" - Ward, Seering (1989)   (Correct)
8   Development of an Intelligent Monitoring and Control System for a.. - Afjeh (1995)   (Correct)
8   Short Term Unit Commitment Using Genetic Algorithms - Dasgupta, McGregor (1993)   (Correct)
8   Video Widgets and Video Actors - Gibbs, Breiteneder, de Mey.. (1993)   (Correct)
8   A Learnability Model for Universal Representations - Muggleton, Page, Jr. (1997)   (Correct)
8   Evaluation and Ordering of Rules Extracted from Feedforward Networks - Taha (1997)   (Correct)
8   Process monitoring and diagnosis: a model-based approach. - Dvorak, Kuipers (1991)   (Correct)
8   A Case Study: Assumptions and Limitations of a Problem-Solving Method - Fensel (1995)   (Correct)
8   A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (1998)   (Correct)
8   Plug-and-Play: Construction of Task-Specific Expert-System Shells.. - Walther (1992)   (Correct)
8   Balancing the EuLisp Metaobject Protocol - Bretthauer, Kopp, al. (1993)   (Correct)
8   A General Scheme for Automatically Building 3D Morphometric.. - Subsol, Thirion, Ayache (1995)   (Correct)
8   STk Reference Manual - Gallesio (1999)   (Correct)
8   FBRL:A Function and Behavior Representation Language - Sasajima, KITAMURA, IKEDA, MIZOGUCHI (1995)   (Correct)
7   Architecture Design of a Scalable Intrusion Detection System for the.. - Jou, Wu, Gong, Cleaveland, Sargor (1997)   (Correct)
7   Quality Measures and Assurance for AI Software - Rushby (1988)   (Correct)
7   PYTHIA: A Knowledge Based System to Select Scientific Algorithms - Weerawarana, Houstis, Rice, Joshi..   (Correct)
7   Graphical Analysis of Computer Log Files - Eick, Nelson, Schmidt (1994)   (Correct)
7   Multilingual authoring using feedback texts - Power (1998)   (Correct)
7   Propagation of Probabilities, Means and Variances in Mixed Graphical.. - Lauritzen (1992)   (Correct)
7   Integrated Knowledge Acquisition Architectures - Gaines, Shaw (1992)   (Correct)
7   Combining Symbolic and Connectionist Learning Methods to Refine.. - Mahoney (1996)   (Correct)
7   Knowledge Engineering: Principles and Methods - Studer, Benjamins, Fensel (1998)   (Correct)
7   Hypertext Writing and Document Reuse: The Role of a Semantic Net - Rada (1990)   (Correct)
7   Analysis and Design of Hybrid Control Systems - Malmborg (1998)   (Correct)
7   Embedding Critics in Design Environments - Fischer, Nakakoji, Ostwald, Stahl.. (1993)   (Correct)
6   Fast Prolog with an Extended General Purpose Architecture - Holmer, Sano, Carlton, Van Roy.. (1994)   (Correct)
6   Duce, an oracle based approach to constructive induction - Muggleton (1987)   (Correct)
6   A Patient-Adaptive Neural Network ECG Patient Monitoring Algorithm - Towell (1995)   (Correct)
6   Forming complex dextrous manipulations from task primitives - Michelman (1994)   (Correct)
6   Two Ways of Discovering the Size and Shape of a Computer Program to.. - Koza (1995)   (Correct)
6   Comparison of Iterative Improvement Techniques for Schedule.. - Dorn, Girsch, Skele, Slany (1994)   (Correct)
6   An Interactive Visual Language for Term Subsumption Languages - Gaines   (Correct)
6   An Educational Tool for High-Level Interaction with Bayesian Networks - Haddawy, Jacobson, Kahn, Jr. (1996)   (Correct)
6   The TreeBanker: a Tool for Supervised Training of Parsed Corpora - Carter (1997)   (Correct)
6   Semantics of Reactive Components in Event-Driven Workflow Execution - Tombros, Geppert, Dittrich (1997)   (Correct)
6   Knowledge Representation with Logic Programs - Gerhard Brewka, Jürgen Dix (1997)   (Correct)
6   Hybrid Propagation in Junction Trees - Dawid, Kjærulff, Lauritzen (1993)   (Correct)
6   An Architecture For Multimodal Dialogue. - Wilson Serc (1991)   (Correct)
6   A General Study on Genetic Fuzzy Systems - Cordon (1993)   (Correct)
6   A Characterization of Markov Equivalence Classes for Acyclic Digraphs - Andersson, Madigan, Perlman (1995)   (Correct)
6   Proverb: The Probabilistic Cruciverbalist - Keim, Shazeer, Littman, Agarwal.. (1999)   (Correct)
6   An Efficient, Cost-Driven Index Selection Tool for Microsoft SQL.. - Chaudhuri, Narasayya (1997)   (Correct)
6   Applications of Abduction: Knowledge-Level Modeling - Menzies (1996)   (Correct)
6   Explaining Reasoning In Description Logics - McGuinness (1996)   (Correct)
6   Mutually Supervised Learning in Multiagent Systems - Goldman, Rosenschein (1995)   (Correct)
6   Conditional Independence Relations Have No Finite Complete.. - Studeny (1990)   (Correct)
6   Ship Silhouette Recognition Using Principal Components Analysis - Gouaillier, Gagnon (1997)   (Correct)
6   Foundations of Temporal Constraint Databases - Koubarakis (1994)   (Correct)

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