Knowledge systems: Principles and practice
IBM Journal of Research and Development
A continuous real-time expert system for computer operations
IBM Journal of Research and Development
Parallel algorithms and architectures for rule-based systems
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Boolean array structures for a rule-based forward chaining inference engine
APL '87 Proceedings of the international conference on APL: APL in transition
XC- A language for embedded rule based systems
ACM SIGPLAN Notices
Opus: A Smalltalk production system
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An approach to integrating expert system components into production software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A dietary recommendation expert system using OPS5
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Reasoning with worlds and truth maintenance in a knowledge-based programming environment
Communications of the ACM
A self-controlling interpreter for the relational production language
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Adding rule-based techniques to procedural languages
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Integrated environment for intelligent control
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
GTEX—A group technology expert system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Parallel architecture for OPS5
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
A functional approach to integrating database and expert systems
Communications of the ACM
High-speed implementations of rule-based systems
ACM Transactions on Computer Systems (TOCS)
PVDaCS: a prototype knowledge-based expert system for certification of spacecraft data
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
An expert system for maintenance of riveting machines, vol. 1.
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
DAME: a rule based designer of microprocessor based systems
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Algorithms for Constructing Minimal Deduction Graphs
IEEE Transactions on Software Engineering
Relational database behavior: utilizing relational discrete event systems and models
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
ELF: a tool for automatic synthesis of custom physical CAD software
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Implementing a shared dataspace language on a message-based multiprocessor
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Data-Driven Parallel Production Systems
IEEE Transactions on Software Engineering
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The effectiveness of task-level parallelism for high-level vision
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
Matching interval-valued-argument propositions in rule-based systems
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A Comparative Evaluation of Expert System Tools
Computer - Special issue on cryptography
A knowledge-based system for MVS dump analysis
IBM Systems Journal
IEEE Transactions on Software Engineering
Extensions to Starburst: objects, types, functions, and rules
Communications of the ACM
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
Extensible/rule based query rewrite optimization in Starburst
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Edison, a Unix and C friendly Rete based production system
ACM SIGPLAN Notices
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
Object-oriented execution of OPS5 production systems
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A production system language KDOPS
ACM SIGPLAN Notices
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Symbolic mathematics system evaluators (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Eliminating redundant barrier synchronizations in rule-based programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
A case study of Venus and a declarative basis for rule modules
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
Multi-Path Reasoning in a Database
Journal of Intelligent Information Systems
Post-process feedback with and without attribute focusing: a comparative evaluation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
PEARL: an expert system for power supply layout
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Intelligent simulation environments: identification of the basics
WSC '88 Proceedings of the 20th conference on Winter simulation
Acceptance testing of expert systems: issues of verification and validation
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An undergraduate curriculum in expert systems design or knowledge engineering
CSC '87 Proceedings of the 15th annual conference on Computer Science
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Personalizing E-commerce applications with on-line heuristic decision making
Proceedings of the 10th international conference on World Wide Web
ACM Computing Surveys (CSUR)
Some prolog macros for rule-based programming: why? how?
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Techniques for Synthesis of Analog Integrated Circuits
IEEE Design & Test
A Software Engineering Methodology for Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
The Organization and Performance of a TREAT-Based Production System Compiler
IEEE Transactions on Knowledge and Data Engineering
Minimal State Space Search in Parallel Production Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
An Optimization Algorithm for Production Systems
IEEE Transactions on Knowledge and Data Engineering
A Meta-Level Control Architecture for Production Systems
IEEE Transactions on Knowledge and Data Engineering
The Design and Implementation of the Ariel Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Trigger Condition Testing and View Maintenance Using Optimized Discrimination Networks
IEEE Transactions on Knowledge and Data Engineering
Spatial Reasoning for the Automatic Recognition of Machinable Features in Solid Models
IEEE Transactions on Pattern Analysis and Machine Intelligence
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Implementation of Production Systems on Message-Passing Computers
IEEE Transactions on Parallel and Distributed Systems
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
AI and Expert System Myths, Legends, and Facts
IEEE Expert: Intelligent Systems and Their Applications
An Expert System for Journal Selection
IEEE Expert: Intelligent Systems and Their Applications
Using Polymorphism to Improve Expert System Maintainability
IEEE Expert: Intelligent Systems and Their Applications
Buyer's customized directory management over seller's e-catalogs: logic programming approach
Decision Support Systems - Special issue: Agents and e-commerce business models
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Prism: A Case-Based Telex Classifier
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
Using Logic Programming to Detect Activities in Pervasive Healthcare
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
ACTILOG: An Agent Activation Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
MOBY: An Architecture for Distributed Expert Database Systems
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Production Rules in Parallel and Distributed Database Environments
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Implementing High Level Active Rules on Top of a Relational DBMS
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Integrating Triggers and Declarative Constraints in SQL Database Sytems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Event and Rule Services for Achieving a Web-Based Knowledge Network
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Real-Time and Active Databases: A Survey
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Monitors for History-Based Policies
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
Nested Parallel Call Optimization
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
EXACT: an extensible approach to active object-oriented databases
The VLDB Journal — The International Journal on Very Large Data Bases
Measuring the Structural Complexity of OPS5 Rule-Based Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Proceedings of the 2004 ACM symposium on Applied computing
Hybrid aspects for weaving object-oriented functionality and rule-based knowledge
Proceedings of the 3rd international conference on Aspect-oriented software development
Tailoring importance evaluation to reader's goals: a contribution to descriptive text summarization
COLING '86 Proceedings of the 11th coference on Computational linguistics
TGE: Tlinks Generation Environment
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Hybrid web service composition: business processes meet business rules
Proceedings of the 2nd international conference on Service oriented computing
A lightweight rule-based Al engine for mobile games
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology
Optimal refinement of rule bases
AI Communications
Launch commit criteria monitoring agent
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Exploiting XML technologies for intelligent document routing
Proceedings of the 2005 ACM symposium on Document engineering
The 8 requirements of real-time stream processing
ACM SIGMOD Record
Optimal refinement of rule bases
AI Communications
CABSYDD: Case-Based System for Database Design
Journal of Management Information Systems
The meta-inferences engine: A new tool to manipulate metaknowledge
Knowledge-Based Systems
A Flow-Oriented Visual Language for Learning Designs
ICWL '08 Proceedings of the 7th international conference on Advances in Web Based Learning
Exploiting Interactions among Query Rewrite Rules in the Teradata DBMS
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Design expert system tool with hybrid knowledge representation and reasoning
International Journal of Computer Applications in Technology
Stream processing in data-driven computational science
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Welcome to Constraint Handling Rules
Constraint Handling Rules
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
NESTA: NASA engineering shuttle telemetry agent
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
TREE: the heuristic driven join strategy of a RETE-like matcher
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Using classification as a programming language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Coordination of action and perception in a surveillance robot
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
A methodology for systematic verification of OPS5-based AI applications
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
YES/MVS and the automation of operations for large computer complexes
IBM Systems Journal
Information Sciences: an International Journal
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A framework for investigating production system formulations with polynomially bounded match
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Efficiency of production systems when coupled with an assumption based truth maintenance system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Run-time prediction for production systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Learning 10,000 chunks: what's it like out there?
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Scaling up logic-based truth maintenance systems via fact garbage collection
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Extensions to Starburst: objects, types, functions and rules
CASCON First Decade High Impact Papers
Rule based interpretation of aerial imagery
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
A web-based sensor network system with distributed data processing approach via web application
Computer Standards & Interfaces
Complex events and actions to control cyber-physical systems
Proceedings of the 5th ACM international conference on Distributed event-based system
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Explicit platform models for MDA
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
An evaluation of expert system development tools
Expert Systems: The Journal of Knowledge Engineering
Formalizing both refraction-based and sequential executions of production rule programs
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Extending an object-oriented RETE network with fine-grained reactivity to property modifications
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
A RULE-BASED DOMAIN SPECIFIC LANGUAGE FOR FAULT MANAGEMENT
Journal of Integrated Design & Process Science
Hi-index | 0.05 |