Search results for "OPS5"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Albert Mo Kim Cheng, Hsiu-yen Tsai	A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	real-time systems, expert systems, Timing analysis, response time, rule-based systems, production systems, OPS5, KBS
102	Albert Mo Kim Cheng	Measuring the Structural Complexity of OPS5 Rule-Based Programs.	COMPSAC	1996	DBLP DOI BibTeX RDF
89	Albert Mo Kim Cheng, Seiya Fujii	Self-Stabilizing Real-Time OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5
89	Albert Mo Kim Cheng, Seiya Fujii	Bounded-Response-Time Self-Stabilizing OPS5 Production Systems.	IPDPS	2000	DBLP DOI BibTeX RDF	real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5
65	Albert Mo Kim Cheng, Jeng-Rung Chen	Response Time Analysis of OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	real-time decision systems, special forms, verification, static analysis, response time, Computer-aided software engineering, rule-based programs, OPS
52	Daniel D. Corkill	Embedable Problem-Solving Architectures: A Study of Integrating OPS5 with UMass GBB.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	integrating OPS5, UMass GBB, problem-solving architecture, problem-solvers, blackboard paradigm, heterogeneous problem-solving representations, individual knowledge sources, public-domain version, integral KS language, knowledge representation, expert systems, embedding
42	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
42	Rostam Joobbani, Daniel P. Siewiorek	WEAVER: a knowledge-based routing expert.	DAC	1985	DBLP DOI BibTeX RDF	OPS5
37	Mary Micco	An undergraduate curriculum in expert systems design or knowledge engineering.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Jeong A. Kang, Albert Mo Kim Cheng	Shortening Matching Time in OPS5 Production Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
28	Jeong A. Kang, Albert Mo Kim Cheng	Reducing Matching Time for OPS5 Production Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF
28	David I. Gold, Robert T. Plant	Towards the formal specification of an OPS5 production system architecture.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
28	Hsiu-yen Tsai, Albert Mo Kim Cheng	Termination Analysis of OPS5 Expert Systems.	AAAI	1994	DBLP BibTeX RDF
28	Mohammed Hosni Odeh, Julian A. Padget	Object-Oriented Execution of OPS5 Production Systems.	OOPSLA	1993	DBLP DOI BibTeX RDF
28	Albert Mo Kim Cheng	A New Complexity Metric for OPS5 Rule-Based Systems.	SEKE	1993	DBLP BibTeX RDF
28	Mohammed Hosni Odeh	Concurrent object-oriented execution of OPS5 production systems.		1993	RDF
28	Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot	Parallelism Profiling of an Ops5 Production System Interpreter.	SEKE	1992	DBLP DOI BibTeX RDF
28	G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala	Verification of OPS5-Based AI Applications.	SCAI	1991	DBLP BibTeX RDF
28	G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala	A Methodology for Systematic Verification of OPS5-Based AI Applications.	IJCAI	1991	DBLP BibTeX RDF
28	Salvatore Gaglio, Mauro Giacomini, A. Ponassi, Carmelina Ruggiero	An OPS5 implementation of qualitative reasoning about physical systems.	Appl. Artif. Intell.	1990	DBLP DOI BibTeX RDF
28	Timothy L. Trowbridge	Book review: Rule Based Programming with OPS5 by Thomas A. Cooper and Nancy Wogrin (Morgan Kaufmann Pubtishers).	SIGART Newsl.	1989	DBLP DOI BibTeX RDF
28	Anoop Gupta, Charles Forgy	Static and Run-Time Characteristics of OPS5 Production Systems.	J. Parallel Distributed Comput.	1989	DBLP DOI BibTeX RDF
28	Michael A. Kelly, Rudolph E. Seviora	Performance of OPS5 matching on CUPID.	Microprocessing and Microprogramming	1989	DBLP DOI BibTeX RDF
28	Anoop Gupta, Milind Tambe, Dirk Kalp, Charles Forgy, Allen Newell	Parallel implementation of OPS5 on the encore multiprocessor: Results and analysis.	Int. J. Parallel Program.	1988	DBLP DOI BibTeX RDF
28	Jinoos Hosseini, Sasan Baharaeen, Xitong Zheng	Design of a knowledge based system for inventory control, an OPS5 implementation.	Artif. Intell. Eng.	1988	DBLP DOI BibTeX RDF
28	Anoop Gupta, Charles Forgy, Dirk Kalp, Allen Newell, Milind Tambe	Parallel OPS5 on the Encore Multimax.	ICPP (1)	1988	DBLP BibTeX RDF
28	Philip L. Butler, J. D. Allen Jr., Donald W. Bouldin	Parallel Architecture for OPS5.	ISCA	1988	DBLP DOI BibTeX RDF
28	Reinhard Krickhahn, Bernd Radig	Wissensrepräsentationssprache OPS5 - Sprachbeschreibung und Einführung in die regelorientierte Programmierung.		1987	RDF
28	C. Koa, C. J. Hwang	A dietary recommendation expert system using OPS5.	FJCC	1987	DBLP BibTeX RDF
28	Bruce Hillyer, David Elliot Shaw	Execution of OPS5 Production Systems on a Massively Parallel Machine.	J. Parallel Distributed Comput.	1986	DBLP DOI BibTeX RDF
28	Giorgio Bruno, Antonia Elia	Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5.	IFIP Congress	1986	DBLP BibTeX RDF
28	Don Rosenthal	Adding meta rules to OPS5 a proposed extension.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
28	Nancy Martin	Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1).	Int. CMG Conference	1985	DBLP BibTeX RDF
24	Lane Warshaw, Daniel P. Miranker	A Case Study of Venus and a Declarative Basis for Rule Modules.	CIKM	1996	DBLP DOI BibTeX RDF	OPS5
24	Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid	Coupling Production Systems and Database Systems: A Homogeneous Approach.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	large rule bases, condition elements, production rule-based systems, set-oriented approach, DBCond, special data structure, DBRete, DBMS implementation, Rete match algorithm, production rule language OPS5, DBQuery, parallelizable, relational databases, knowledge based systems, deductive databases, set theory, matching algorithm, relational database management systems, relational structures, parallel computing environments
24	Daniel P. Miranker, Bernie J. Lofaso	The Organization and Performance of a TREAT-Based Production System Compiler.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	TREAT-based production system compiler, OPS5 production system programs, performance, expert systems, LISP, organization, program compilers, relational algebra, list processing
24	Douglas N. Gordin, Alexander J. Pasik	Set-Oriented Constructs: From Rete Rule Bases to Database Systems.	SIGMOD Conference	1991	DBLP DOI BibTeX RDF	OPS5
24	Gerald L. Atkinson	Technology Transfer Utilizing Automated Knowledge Acquisition Tools.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	OPS5
24	Ron LeMaster	ALEX an Expert System for Truck Loading.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	OPS5
24	Wilson A. Harvey, Dirk Kalp, Milind Tambe, David M. McKeown, Allen Newell	The Effectiveness of Task-Level Parallelism for High-Level Vision.	PPoPP	1990	DBLP DOI BibTeX RDF	OPS5
24	Anoop Gupta, Charles Forgy, Allen Newell	High-Speed Implementations of Rule-Based Systems.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF	OPS5
18	Nick Bassiliades, Ioannis P. Vlahavas	R-DEVICE: A Deductive RDF Rule Language.	RuleML	2004	DBLP DOI BibTeX RDF
18	Zenon A. Sosnowski	Chaining of Fuzzy Rules in RETE Network.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
18	Eun Gyung Kim	A Study on Developing a Distributed Problem Solving System.	COMPSAC	1995	DBLP DOI BibTeX RDF	Network Linda, Communication, Cooperation, Distributed Artificial Intelligence, Distributed Problem Solving, Virtual Shared Memory
18	Verlyn M. Johnson, John V. Carlis	Sharing and Reusing Rules-A Feature Comparison of Five Expert System Shells.	IEEE Expert	1994	DBLP DOI BibTeX RDF
18	Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai	A modified transition tour protocol test method.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	protocol testing and formal modeling, Computer networks, protocol engineering
18	Don S. Batory, Jeff Thomas, Marty Sirkin	Reengineering a Complex Application Using a Scalable Data Structure Compiler.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
18	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel	Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models
18	Fu-Chiung Cheng, Huei-Huang Chen, Jiin-Hwai Perng	Parallel execution on production systems.	SPDP	1990	DBLP DOI BibTeX RDF
18	Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid	Data Intensive Production Systems: The DIPS Approach.	SIGMOD Rec.	1989	DBLP DOI BibTeX RDF
18	Chantal Robach, Daniel Lutoff, Nouar Garcia	Knowledge-based functional specification of test and maintenance programs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
18	Zvi M. Kedem, Alexander Tuzhilin	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models.	PODS	1989	DBLP DOI BibTeX RDF
18	Anant Agarwal, Anoop Gupta	Memory-Reference Characteristics of Multiprocessor Applications under MACH.	SIGMETRICS	1988	DBLP DOI BibTeX RDF	VAX
18	Timos K. Sellis, Chih-Chen Lin, Louiqa Raschid	Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
18	Barbara J. Meier	ACE: A Color Expert System for User Interface Design.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF
18	Milind Tambe, Dirk Kalp, Anoop Gupta, Charles Forgy, Brian Milnes, Allen Newell	Soar/PSM-E: Investigating Match Parallelism in a Learning Production System.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	Soar
18	Esko Nuutila, Juha Kuusela, Markku Tamminen, Jukka Veilahti, Jari Arkko, Nassim Bouteldja	XC - A Language for Embedded Rule Based Systems.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C++
18	Kathleen O'Neil Lossau	KAOS (abstract only): a knowledge aided operator's system for the VM operator's console.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
18	Toramatsu Shintani	An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE.	LP	1987	DBLP DOI BibTeX RDF
18	Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda	KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language.	LP	1986	DBLP DOI BibTeX RDF
18	Krishna M. Uppuluri, Walter G. Rudd	BUGID (abstract only): a soybean insect pest identifier.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF