Benjamin N. Grosof  Home/Search
Context Related
| ibm.com/people/g/grosof/pa...rc21472.ps ibm.com/rules/paps/rc21472.ps mit.edu/bgrosof/paps/rc21472.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ibm.com/people/g/grosof/papers (more) From: ibm.com/rules/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Prioritized default rules offer a conveniently higher level of specification that facilitates revision and modularity. They handle conflicts, including arising during updating of rule sets, using partially-ordered prioritization information that is naturally available based on relative specificity, recency, and authority. Despite having received much study, however, they have had as yet little impact on on practical rule-based systems and software engineering generally, and had very few... (Update)
Context of citations to this paper: More
...(programs) in communication. RuleML is based on a fundamental rule KR, declarative logic programs (LP) In previous work [7] 2] 4] 3] [5] [6] we have expressively extended ordinary LP (OLP) with features for prioritized con ict handling and procedural attachments to perform...
.... to transform (i.e. compile) GCLP into ordinary logic programs (OLP) This builds upon the transformational approach in [ 5 ] . We detail the syntax of GCLP, and briefly discuss the intended semantics of GCLP in an informal fashion. Its precise semantics are defined in terms of...
Cited by: More
Representing E-Commerce Rules via Situated Courteous Logic.. - Grosof (2003) (Correct)
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic .. - Grosof (1999) (Correct)
Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000) (Correct)
Similar documents (at the sentence level):
7.0%: A Courteous Compiler - From Generalized Courteous Logic Programs.. - Grosof (1999) (Correct)
Active bibliography (related documents): More All
0.1: Courteous Logic Programs: Prioritized Conflict Handling For Rules - Grosof (1997) (Correct)
0.1: Practical Prioritized Defaults via Logic Programs - Grosof (1996) (Correct)
0.0: Representing E-Business Rules for the Semantic Web: Situated.. - Grosof (2002) (Correct)
Similar documents based on text: More All
1.4: Practical Private Information Retrieval with Secure Coprocessors - Smith, Safford (2000) (Correct)
1.2: page Research Statement for IJCAI-99 Workshop on.. - Integration Of Rules (Correct)
Related documents from co-citation: More All
11: Prioritized Conflict Handling for Logic Programs (context) - Grosof - 1997
8: Logic programming and knowledge representation - Baral, Gelfond - 1994
8: DIPLOMAT: Compiling Prioritized Default Rules Into Ordinary Logic Programs, for .. - Grosof - 1999
BibTeX entry: (Update)
B. Grosof, "Compiling Prioritized Default Rules Into Ordinary Logic Programs," IBM Research Report RC 21472, May 1999. http://citeseer.ist.psu.edu/grosof99compiling.html More
@misc{ grosof99compiling,
author = "B. Grosof",
title = "Compiling Prioritized Default Rules Into Ordinary Logic Programs",
text = "B. Grosof, Compiling Prioritized Default Rules Into Ordinary Logic Programs,
IBM Research Report RC 21472, May 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/grosof99compiling.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1987
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
62 Reasoning about priorities in default logic (context) - Brewka - 1994
57 Defeasible logic - Nute - 1994
55 Well-founded semantics for extended logic programs with dyna.. - Brewka - 1996
32 Answer sets for prioritized logic programs - Zhang, Foo - 1997
11 Includes extensive review of literature (context) - Baral, Gelfond et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.ibm.com/people/g/grosof/papers.html): More
Representing and Reasoning with Defaults For Learning Agents - Grosof (Correct)
Dynamics of an Information-Filtering Economy - Kephart, Hanson, Levine.. (1998) (Correct)
Defeasible and Pointwise Prioritization - Benjamin N. Grosof (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC