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 expected number of citations based on the year of publication

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.

709.0   An Evaluation of Statistical Approaches to Text Categorization - Yang (1999)   (Correct)
489.6   Inductive Logic Programming - Muggleton (1992)   (Correct)
438.2   Wrappers for Feature Subset Selection - Kohavi, John (1997)   (Correct)
371.4   A Roadmap of Agent Research and Development - Jennings, Sycara, Wooldridge (1998)   (Correct)
274.2   Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
266.6   CYC: A Large-Scale Investment in Knowledge Infrastructure - Lenat (1995)   (Correct)
227.1   Operations for Learning with Graphical Models - Buntine (1994)   (Correct)
218.1   Detecting Computer and Network Misuse Through the Production-Based.. - Lindqvist, Porras (1999)   (Correct)
205.1   Knowledge Discovery in Databases: an Overview - Frawley, Piatetsky-Shapiro, Matheus (1992)   (Correct)
199.9   Patterns in Property Specifications for Finite-State Verification - Dwyer, al. (1999)   (Correct)
176.8   A Tutorial on Learning Bayesian Networks - Heckerman (1995)   (Correct)
165.2   State Transition Analysis: A Rule-Based Intrusion Detection Approach - Ilgun (1995)   (Correct)
155.5   Theory Refinement Combining Analytical and Empirical Methods - Ourston, Mooney (1994)   (Correct)
154.6   Learning in the Presence of Malicious Errors - Kearns (1993)   (Correct)
142.0   Optimal composition of real-time systems - Zilberstein, Russell (1996)   (Correct)
138.2   A Framework for Expressing the Relationships Between Multiple Views.. - Nuseibeh, Kramer, Finkelstein (1994)   (Correct)
136.3   Experience with EMERALD to Date - Neumann (1999)   (Correct)
136.1   Building Applied Natural Language Generation Systems - Reiter, Dale (1997)   (Correct)
126.0   The Design Of Postgres - Stonebraker, Rowe (1986)   (Correct)
121.7   Trends in Cooperative Distributed Problem Solving - Durfee, Lesser, Corkill (1995)   (Correct)
118.1   eMediator: a Next Generation Electronic Commerce Server - Sandholm (1999)   (Correct)
117.5   A Static Parameter based Performance Prediction Tool for Parallel.. - Fahringer, Zima (1993)   (Correct)
113.5   Genetic Programming and Emergent Intelligence - Angeline (1994)   (Correct)
113.5   Next Generation Intrusion Detection Expert System (NIDES), Software.. - Anderson, Frivold, Tamaru, Valdes (1994)   (Correct)
110.1   Applications of Machine Learning and Rule Induction - Langley, Simon (1995)   (Correct)
109.0   Learning Program Behavior Profiles for Intrusion Detection - Ghosh, Schwartzbard, Schatz (1999)   (Correct)
108.6   Feature Selection for Case-Based Classification of Cloud Types: An.. - Aha (1994)   (Correct)
104.3   Evolving Frameworks: A Pattern Language for Developing.. - Roberts, Johnson (1996)   (Correct)
97.1   Machine Learning for the Detection of Oil Spills in Satellite Radar.. - Kubat, Holte, Matwin (1998)   (Correct)
97.1   Property Specification Patterns for Finite-State Verification - Matthew Dwyer (1998)   (Correct)
96.2   Automated Learning of Decision Rules for Text Categorization - Apte, Damerau, Weiss (1994)   (Correct)
92.0   Qualitative Simulation - Kuipers (1986)   (Correct)
90.9   Knowledge Modeling at the Millennium (The Design and Evolution of.. - Grosso, Eriksson, Fergerson.. (1999)   (Correct)
90.9   Does Prior Knowledge Facilitate the Development of Knowledge-based.. - Cohen (1999)   (Correct)
89.7   Theory Refinement on Bayesian Networks - Buntine (1991)   (Correct)
88.8   Mapping Domains to Methods in Support of Reuse - John Gennari Samson (1994)   (Correct)
87.9   The Application of Inductive Logic Programming to Finite Element Mesh .. - Dolsak (1992)   (Correct)
87.4   A Logic for Reasoning about Probabilities - Fagin, Halpern, Megiddo (1990)   (Correct)
86.4   From Influence Diagrams to Junction Trees - Jensen, Jensen, Dittmer (1994)   (Correct)
85.7   Mobile Agents In Intrusion Detection And Response - Jansen, Mell, Karygiannis, Marks (2000)   (Correct)
85.7   WUM: A Web Utilization Miner - Spiliopoulou, Faulstich (1998)   (Correct)
84.0   Thread Migration and its Applications in Distributed Shared Memory.. - Itzkovitz, Schuster, Wolfovich (1996)   (Correct)
80.8   Connectionist Theory Refinement: Genetically Searching the Space of.. - Opitz, al. (1997)   (Correct)
79.9   Dynamic Hypertext Catalogues: Helping Users to Help Themselves - Milosavljevic, Oberlander (1998)   (Correct)
75.3   Unifying Instance-Based and Rule-Based Induction - Domingos (1996)   (Correct)
72.7   STk Reference Manual - Gallesio (1999)   (Correct)
72.4   Ustat : A Real-time Intrusion Detection System for Unix - Ilgun (1992)   (Correct)
72.1   Empirical Studies on the Disambiguation of Cue Phrases - Hirschberg (1993)   (Correct)
71.6   Probabilistic Deductive Databases - Lakshmanan, Sadri (1994)   (Correct)
69.5   Text Generation in a Dynamic Hypertext Environment - Milosavljevic, Tulloch, Dale (1996)   (Correct)
69.5   A Software Architecture to support Misuse Intrusion Detection. - Kumar, Spafford (1995)   (Correct)
66.6   A Pattern Matching Model for Misuse Intrusion Detection - Kumar, Spafford (1994)   (Correct)
65.9   Deadline Assignment in a Distributed Soft Real-Time System - Kao (1993)   (Correct)
63.7   Automatic Generation of Technical Documentation - Reiter, Mellish, Levine (1995)   (Correct)
62.8   Beyond Objects: Components - Meijler, Nierstrasz (1998)   (Correct)
61.7   Towards Language Independent Automated Learning of Text.. - Apte, Damerau, Weiss (1994)   (Correct)
57.7   Process And Policy: Resource-Bounded Non-Demonstrative Reasoning - Loui (1993)   (Correct)
57.7   Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)   (Correct)
57.1   Predicting Telecommunication Equipment Failures from Sequences of.. - Weiss (2001)   (Correct)
57.1   Fault Detection by Mining Association Rules from House-keeping Data - Yairi, Kato, Hori (2001)   (Correct)
57.1   Naming the Unnamable: Socionics or the Sociological Turn of/to.. - Malsch (2001)   (Correct)
56.7   Neuronal Architectures for Pattern-theoretic Problems - David Mumford (1994)   (Correct)
55.0   The User Modeling Shell System BGP-MS - Kobsa, Pohl (1995)   (Correct)
55.0   Reasoning Under Varying and Uncertain Resource Constraints - Horvitz (1988)   (Correct)
54.5   Merging with Integrity Constraints - Konieczny, Pérez (1999)   (Correct)
54.5   Proverb: The Probabilistic Cruciverbalist - Keim, Shazeer, Littman, Agarwal.. (1999)   (Correct)
52.1   The Starburst Active Database Rule System - Widom (1996)   (Correct)
51.8   On Group Communication in Large-Scale Distributed Systems - Babaoglu, Schiper (1994)   (Correct)
51.5   Subtask Deadline Assignment for Complex Distributed Soft Real-Time.. - Kao, Garcia-Molina (1993)   (Correct)
51.0   Machine Transliteration - Knight, Graehl (1997)   (Correct)
47.4   Expressing the Relationships Between Multiple Views in Requirements.. - Nuseibeh, Kramer, Finkelstein (1993)   (Correct)
46.9   Random Worlds and Maximum Entropy - Grove, Halpern, al. (1994)   (Correct)
46.8   Utilizing Criteria to Reduce a Set of Test Cases for Expert System.. - Abel, Gonzalez (1997)   (Correct)
46.3   Schemes for Fault Identification in Communication Networks - Katzela, Schwartz (1995)   (Correct)
46.3   Test Program Generation for Functional Verification of PowerPC.. - Aharon Aharon Dave (1995)   (Correct)
45.7   A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (1998)   (Correct)
45.4   Scientific Knowledge Discovery using Inductive Logic Programming - Muggleton (1999)   (Correct)
44.4   A Comparison of Languages which Operationalize and Formalise KADS.. - Fensel, van Harmelen (1994)   (Correct)
44.4   Emulating Soft Real-Time Scheduling Using Traditional Operating.. - Adelberg (1994)   (Correct)
43.2   The Paradoxical Success of Fuzzy Logic - Elkan (1993)   (Correct)
42.8   Using Ontological Engineering to Overcome Common AI-ED Problems - Mizoguchi, al. (2000)   (Correct)
42.8   Intrusion Detection Systems and Multisensor Data Fusion - Bass (2000)   (Correct)
42.8   Training a Neural-Network Based Intrusion Detector to Recognize Novel .. - And (2000)   (Correct)
42.5   NSTAT: A Model-based Real-time Network Intrusion Detection System - Kemmerer (1997)   (Correct)
42.5   Multilingual thesauri in cross-language text and speech retrieval - Soergel (1997)   (Correct)
41.9   An Application of Pattern Matching in Intrusion Detection - Kumar, Spafford (1994)   (Correct)
41.9   Reconstructing Proofs at the Assertion Level - Huang (1994)   (Correct)
41.9   Planning for Modular and Hybrid Fixtures - Wallack (1994)   (Correct)
40.5   Cue Phrase Classification Using Machine Learning - Litman (1996)   (Correct)
40.5   Using Argumentation In Text Generation - Elhadad (1995)   (Correct)
40.0   Rehashable BTB: An Adaptive Branch Target Buffer to Improve the.. - Li, Bhargava, John (2002)   (Correct)
39.9   Knowledge Engineering: Principles and Methods - Studer, Benjamins, Fensel (1998)   (Correct)
39.9   Analysis and Design of Hybrid Control Systems - Malmborg (1998)   (Correct)
39.9   Multilingual authoring using feedback texts - Power (1998)   (Correct)
39.6   Theories Underlying Requirements Engineering: An Overview of NATURE.. - Jarke, Bubenko, Rolland, Sutcliffe.. (1992)   (Correct)
38.2   Computer Evolution of Buildable Objects - Funes, Pollack (1997)   (Correct)
37.6   A Domain and Type Enforcement UNIX Prototype - Badger (1996)   (Correct)
37.6   A Uniform Framework For Integrating Knowledge In Heterogeneous.. - Adali, Emery (1995)   (Correct)
37.6   Blocking Gibbs Sampling in Very Large Probabilistic Expert Systems - Jensen, Kong (1995)   (Correct)
37.1   Combining Prior Symbolic Knowledge And Constructive Neural Network.. - Fletcher, Obradovic (1993)   (Correct)
37.1   Converting a Rule-based Expert System into a Belief Network - Korver (1993)   (Correct)
37.0   A Theory of Processes with Durational Actions - Gorrieri, Roccetti, Stancampiano (1994)   (Correct)
37.0   Foundation and Application of Knowledge Base Verification - Preece (1994)   (Correct)
36.3   Security Protocols over open networks and distributed systems: Formal .. - Gritzalis, Spinellis, Georgiadis (1999)   (Correct)
35.0   A Multistrategy Approach To Theory Refinement - Mooney, Ourston (1993)   (Correct)
35.0   Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic.. - Hanks, McDermott (1993)   (Correct)
35.0   Detecting Intruders in Computer Systems - Lunt (1993)   (Correct)
34.7   CLAIRE: Combining Objects and Rules for Problem Solving - Caseau, Laburthe (1996)   (Correct)
34.5   Artificial Intelligence and Intrusion Detection: Current and Future.. - Frank (1994)   (Correct)
34.2   Research in Intrusion-Detection Systems: A Survey - Axelsson (1998)   (Correct)
34.0   A Learnability Model for Universal Representations - Muggleton, Page, Jr. (1997)   (Correct)
34.0   Evaluation and Ordering of Rules Extracted from Feedforward Networks - Taha (1997)   (Correct)
32.0   Generality In Artificial Intelligence - McCarthy (1987)   (Correct)
30.9   Efficient and Constructive Algorithms for the Pathwidth and Treewidth .. - Bodlaender, Kloks (1993)   (Correct)
29.7   Architecture Design of a Scalable Intrusion Detection System for the.. - Jou, Wu, Gong, Cleaveland, Sargor (1997)   (Correct)
28.9   Cloud Classification Using Error-Correcting Output Codes - Aha, Bankert (1996)   (Correct)
28.9   Overview of the STanford Real-time Information Processor (STRIP) - Adelberg (1996)   (Correct)
28.9   Rule-based Object Coordination - Andreoli, Gallaire, Pareschi (1995)   (Correct)
28.8   A 2000 Rule Expert System Without Knowledge Engineers - Preston, Edwards, Compton (1993)   (Correct)
28.5   A glimpse into the future of ID - Bass, Gruber (2001)   (Correct)
28.5   GIB: Imperfect Information in a Computationally Challenging Game - Ginsberg (2001)   (Correct)
28.5   Mining Constrained Association Rules to Predict Heart Disease - Carlos Ordonez Edward (2001)   (Correct)
28.5   From Declarative Signatures to Misuse IDS - Jean-Philippe Pouzol And (2001)   (Correct)
28.5   Optimal Curing for Thermoset Matrix Composites: Thermochemical.. - Li, Zhu, Geubelle, Tucker (2001)   (Correct)
28.5   ActiveMath: System Description - Melis, Andres, Goguadse, Libbrecht.. (2001)   (Correct)
28.5   A comparison between two neural network rule extraction techniques.. - Hayashi (2000)   (Correct)
28.5   Distributed Information Retrieval - Callan (2000)   (Correct)
28.5   Intrusion Detection Systems & Multisensor Data Fusion: Creating.. - Bass (2000)   (Correct)
28.5   Towards a Generic E-Negotiation Platform - Benyoucef, Keller, Lamouroux.. (2000)   (Correct)
28.5   Embedding Fuzzy Logic in Content Based Image Retrieval - Vertan, Boujemaa (2000)   (Correct)
28.5   Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (1998)   (Correct)
28.5   Negotiating the Construction of Organisational Memory Using.. - Simon Buckingham (1998)   (Correct)
27.1   Timetabling in Constraint Logic Programming - Azevedo, Barahona (1994)   (Correct)
27.1   MPA: a Stochastic Process Algebra - Bernardo (1994)   (Correct)
26.0   A Methodology for Testing Intrusion Detection Systems - Puketza, Zhang, Chung, Mukherjee.. (1996)   (Correct)
25.5   Knowledge Representation with Logic Programs - Gerhard Brewka, Jürgen Dix (1997)   (Correct)
25.5   Semantics of Reactive Components in Event-Driven Workflow Execution - Tombros, Geppert, Dittrich (1997)   (Correct)
25.5   Ship Silhouette Recognition Using Principal Components Analysis - Gouaillier, Gagnon (1997)   (Correct)
25.5   An Efficient, Cost-Driven Index Selection Tool for Microsoft SQL.. - Chaudhuri, Narasayya (1997)   (Correct)
25.5   The TreeBanker: a Tool for Supervised Training of Parsed Corpora - Carter (1997)   (Correct)
24.7   Generating Explanations In Context - Carenini, Moore (1993)   (Correct)
24.7   Evolutionary Algorithms And Emergent Intelligence - Angeline (1993)   (Correct)
24.6   The Calculus of Refinements, a Formal Specification Model Based on.. - Levy (1994)   (Correct)
24.1   Cooperative Problem Solving - Tad (1992)   (Correct)
24.0   Understanding The Nature Of Learning: Issues and Research Directions - Michalski (1986)   (Correct)
23.5   Using a Description Classifier to Enhance Deductive Inference - MacGregor (1991)   (Correct)
23.1   A Case Study: Assumptions and Limitations of a Problem-Solving Method - Fensel (1995)   (Correct)
23.1   A General Scheme for Automatically Building 3D Morphometric.. - Subsol, Thirion, Ayache (1995)   (Correct)
23.1   Development of an Intelligent Monitoring and Control System for a.. - Afjeh (1995)   (Correct)
23.1   FBRL:A Function and Behavior Representation Language - Sasajima, KITAMURA, IKEDA, MIZOGUCHI (1995)   (Correct)
23.0   Decision Theory in Expert Systems and Artificial Intelligence - Horvitz, Breese (1988)   (Correct)
22.8   Using Explicit Requirements and Metrics for Interface Agent User.. - Brown, Jr. (1998)   (Correct)
22.6   Causal probabilistic networks with both discrete and continuous.. - Olesen (1993)   (Correct)
22.6   Effective Learning in Dynamic Environments by Explicit Context.. - Widmer (1993)   (Correct)
22.4   Database Support for Problematic Knowledge - Kiebling, Thöne, Güntzer (1992)   (Correct)
22.2   Deductive Object Databases - Bertino (1994)   (Correct)
22.2   Using Knowledge Acquisition and Representation Tools to Support.. - Gaines (1994)   (Correct)
22.2   Revision of Production System Rule-Bases - Murphy (1994)   (Correct)
21.2   Combining Formal Concept Analysis and Ripple Down Rules to Support.. - Richards, Compton (1997)   (Correct)
21.2   Modules and Updatable Graph Views for PROgrammed Graph REwriting.. - Winter, Schürr (1997)   (Correct)
21.2   OPIUM: An Extendable Trace Analyser for PROLOG - Ducassé (1997)   (Correct)
20.6   ASAX: Software Architecture and Rule-Based Language for Universal.. - Habra, Le Charlier, Mounji, Mathieu (1992)   (Correct)
20.5   PARULEL: Parallel Rule Processing Using Meta-rules for Redaction - Stolfo, Wolfson, Chan, Dewan.. (1991)   (Correct)
20.5   ID2-of-3: Constructive Induction of M-of-N Concepts for.. - Murphy, Pazzani (1991)   (Correct)
20.2   Combining Symbolic and Connectionist Learning Methods to Refine.. - Mahoney (1996)   (Correct)
20.0   Specifying Intonation from Context for Speech Synthesis - Prevost   (Correct)
19.1   Detecting and Correcting Errors in Rule-Based Expert Systems: An.. - Pazzani (1991)   (Correct)
18.5   Evaluation Methodologies for Intelligent Tutoring Systems - Mark (1993)   (Correct)
18.5   On Relating Some Models for Concurrency - Degano, Gorrieri, Vigna (1993)   (Correct)
18.1   Multisensor Data Fusion for Next Generation Distributed Intrusion.. - Bass (1999)   (Correct)
18.1   Vision-Based Speaker Detection Using Bayesian Networks - Rehg, Murphy, al. (1999)   (Correct)
18.1   Reasoning with Probabilities and Maximum Entropy: The System PIT and.. - Schramm, Ertel (1999)   (Correct)
18.1   On balancing client - server load in intelligent web-based.. - Doyle, Cunningham (1999)   (Correct)
18.1   Potential Cases, Methodologies, and Strategies of Synthesis of.. - Minjie Zhang School (1999)   (Correct)
18.1   Collaborative Discourse Structures in Computer Mediated Group.. - Murray Turoff Starr (1999)   (Correct)
17.6   Change-oriented version descriptions in EPOS - Gulla, Karlsson, Yeh (1991)   (Correct)
17.3   Explaining Reasoning In Description Logics - McGuinness (1996)   (Correct)
17.3   Applications of Abduction: Knowledge-Level Modeling - Menzies (1996)   (Correct)
17.3   An Educational Tool for High-Level Interaction with Bayesian Networks - Haddawy, Jacobson, Kahn, Jr. (1996)   (Correct)

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