Article

Free access

A case study of Venus and a declarative basis for rule modules

Authors:

Lane B. Warshaw,

Daniel P. MirankerAuthors Info & Claims

CIKM '96: Proceedings of the fifth international conference on Information and knowledge management

Pages 317 - 325

https://doi.org/10.1145/238355.238569

Published: 12 November 1996 Publication History

First page of PDF

References

[1]

J. Bachant E. Soloway and K. Jensen. Assessing the maintainability of xcon-in-rime: Coping with the problems of a very large rule-base. In Proceedings of the National Conference on Artificial intelligence, American Association for Artificial Intelligence, August 1987, 824-829.

[2]

Elena Baralis, Stefano Ceri, Stefano Paraboschi. Modularization techniques for active rules design. ACM Transactions on Database Systems. 21 (1): 1-29, March 1996.

Digital Library

[3]

V. Barker and D. O'Conner. Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM 32, 3 (March 1989), 320-329.

Digital Library

[4]

D.G. Bobrow and M. Stefik. The Loops Manual. Xerox PARC, 1983.

[5]

J. Browne et. al., A new approach to modularity in rule-based progrmnming, Sixth lnt'l Conf. on Tools with Artificial Intelligence, New Orleans, LA, November 1994, IF#E Press, 18-25.

[6]

Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin, Programming Expert Systems in OPSS: An Introduction to Rule-Based Programming, Addison-Wesley Publishing Company, Inc., 1985.

Digital Library

[7]

K.M. Chandy and J. Misra. Parallel Program Design: A Foun. datiott Addison Wesley, Reading, Massachusetts, 1988.

Digital Library

[8]

$. Con'el and D.P. Miranker, On isolation, concurrency, and the venus rule language, Proceedings of the 4th International Conference on Information and Knowledge Management, 1995.

Digital Library

[9]

ed. E Paehet. Proceedinga of the OOPSLA'94 Workshop on Embedded Object-Oriented Production Systems. Technical report, lnstitut Blaise Pascal, Urtiversite Paris VI, December 1994.

[10]

C.L. Forgy. OPS5 user's manual. Technical Report CMU-C$- 81-135, Department of Computer Science, Carnegie Mellon University, July 1981.

[11]

C.L. Forgy. The OPS83 report. Technical Report CMU-CS-84- 133, Department of Computer Science, Carnegie Mellon University, May 1984.

[12]

J.C. Giarratano. CLIPS User's Guide, Version 6.0. Artificial Intelligence Section, Lyndon B. Johnson Space Center,1994.

[13]

T. Grose, The Programming and Functionality of OPS5 Compared to LISP and FORTRAN in an Aeronautical Route Planning System, Master of Arts Thesis, The University of Texas at Austin, May 1991.

[14]

A. Gupta, Parallelism in Production Systems, Pitman/Morgan- Kaufmann Publishers, Inc., Los Altos, CA, 1987.

Digital Library

[15]

S. Henry and D. Kafura, Software structure metrics based on information flow, IEEE Transactions on Software Engineering, SE-7(5), September 1981, 510-518.

Digital Library

[16]

Inference Corp. Art Reference Manual, 1987.

[17]

D.A.Klein, K.R.Milliken, A.J.Finkel and N.B.Waite. Adding rule-based techniques to procedural languages. In Proceedings of the First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1988.

Digital Library

[18]

T. McCabe, A complexity measure, IEEE Transactions on Software Engineering, December 1976, 308-320.

Digital Library

[19]

J. McDermott. R I ("XCON") at age 12: lessons from an elementary school achiever. Artificial Intelligence, (59): 1993, 241-2,7.

[20]

Daniel P. Miranker and Lance Obermeyer. A quick guide to Venus, V1.0, unpublished, August 21, 1995.

[21]

D. P. Miranker, F.H. l#urke, J,j, St~#l#, J, Koltn, and D.R. Haug. The C++ embeddable rule system. Int. Journal on Artificial Intelligence Tools, 2(i):33-46,1993. Also in the Proe. of the 1991 Int. Conf. on Tools for Artificial intelligence

[22]

L. Obermeyer, The Definition and Implementation of Mercury, M.A. Thesis, Dept. of Computer Sciences, University of Texas at Austin, May 1993.

[23]

A. I. Pasik. A source-to-source transformation for increasing rule-based system parallelism, IEEE Trans. of Knowledge and Data Engineering, 4(4), August 1992

Digital Library

[24]

A. Pasik, A Methodology for Programming Production Systems and its Implications on Parallelism, Ph.D. Dissertation, Columbia University, New York, New York, 1989.

Digital Library

[25]

M. Staskauskas, The formal specification and design of a dis. tributed electronic funds-transfer system, IEEE Transactions on Computers, December 1988, 37(12), 1515.1528.

Digital Library

[26]

S.J. $tolfo et. al., The ALEXSYS mortgage pool allocation expert system: A case study of speeding up rule.based programs, Columbia University Department of Computer Science and Center for Advanced Technology, New York, NY, july 1990, http:llwww.cs.columbia.edul~sal.

[27]

M. Stonebraker, The integration of rule systems and database systems, IEEE Transactions on Knowledge and Data Engineering, 4(5), Oct. 1992, 415-423.

Digital Library

[28]

S-Y Wu, D.E Miranker and J.C. Browne. Toward semanticbased parallelism in production systems. In Proc. ICPADS'94: International Conference on Parallel and Distributed Systems, 1994.

Digital Library

Cited By

Liu XLiu XLi J(2008)A Hybrid Language Combining Business Rules with Object-OrientationProceedings of the 2008 International Conference on Computational Intelligence and Security - Volume 0210.1109/CIS.2008.103(101-106)Online publication date: 13-Dec-2008
https://dl.acm.org/doi/10.1109/CIS.2008.103
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Warshaw LMiranker D(1999)Rule-based query optimization, revisitedProceedings of the eighth international conference on Information and knowledge management10.1145/319950.320012(267-275)Online publication date: 1-Nov-1999
https://dl.acm.org/doi/10.1145/319950.320012
Show More Cited By

Recommendations

Challenges of a Venus entry mission
AERO '11: Proceedings of the 2011 IEEE Aerospace Conference

There have been numerous NASA and international orbiters, atmospheric probes, and landers that have explored Venus over the past 50 years. The Russian Space Agency (RSA) conducted over twenty missions to Venus from the 1960's to 1980's, including flybys,...
An effective association rule mining scheme using a new generic basis

Association rule mining among itemsets is a fundamental task and is of great importance in many data mining applications including attacks in network data, stock market, financial applications, bioinformatics to find genetic disorders, etc. However, ...
Data quality awareness: a case study for cost optimal association rule mining
Special Issue on Mining Low-Quality Data

The quality of discovered association rules is commonly evaluated by interestingness measures (commonly support and confidence) with the purpose of supplying indicators to the user in the understanding and use of the new discovered knowledge. Low-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CIKM '96: Proceedings of the fifth international conference on Information and knowledge management

November 1996

344 pages

ISBN:0897918738

DOI:10.1145/238355

Chairmen:
Charles Nicholas
Univ. of Maryland, Baltimore County
,
Niki Pissinou
The Center for Advanced Computer Studies, USL
,
Editors:
M. Tamer Özsu
Univ. of Alberta, Edmonton, Alta., Canada
,
Ken Barker
Univ. of Manitoba, Winnipeg, Man., Canada

Copyright © 1996 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

SIGWEB: ACM Special Interest Group on Hypertext, Hypermedia, and Web

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 November 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

CIKM96

Sponsor:

CIKM96: Conference on Information and Knowledge Management

November 12 - 16, 1996

Maryland, Rockville, USA

Acceptance Rates

Overall Acceptance Rate 1,861 of 8,427 submissions, 22%

Upcoming Conference

CIKM '25

Sponsor:
sigir
sigir

The 34th ACM International Conference on Information and Knowledge Management

November 10 - 14, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
330
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)3

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Liu XLiu XLi J(2008)A Hybrid Language Combining Business Rules with Object-OrientationProceedings of the 2008 International Conference on Computational Intelligence and Security - Volume 0210.1109/CIS.2008.103(101-106)Online publication date: 13-Dec-2008
https://dl.acm.org/doi/10.1109/CIS.2008.103
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Warshaw LMiranker D(1999)Rule-based query optimization, revisitedProceedings of the eighth international conference on Information and knowledge management10.1145/319950.320012(267-275)Online publication date: 1-Nov-1999
https://dl.acm.org/doi/10.1145/319950.320012
Obermeyer LWarshaw LMiranker DSoparkar N(1996)Porting an expert database application to an active databaseProceedings of the workshop on Databases: active and real-time10.1145/352302.352312(37-40)Online publication date: 1-Nov-1996
https://dl.acm.org/doi/10.1145/352302.352312

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents