Hasan M. Jamil, Laks V.S. Lakshmanan  Home/Search
Context
Related
| msstate.edu/~jamil...iltplp2002.ps.gz 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: msstate.edu/~ja...ublicationsnew (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a novel semantics for object-oriented deductive databases in the direction of F-logic to logically account for behavioral inheritance, conflict resolution in multiple inheritance hierarchies, and overriding. We introduce the ideas of withdrawal, locality, and inheritability of properties (i.e. methods and signatures). Exploiting these ideas, we develop a declarative semantics of behavioral inheritance and overriding without having to resort to non-monotonic reasoning. Conflict... (Update)
Similar documents (at the sentence level):
42.6%: Semantics Of Behavioral Inheritance In Deductive Object-Oriented.. - Jamil (1995) (Correct)
24.0%: A Declarative Semantics for Behavioral Inheritance and.. - Jamil, Lakshmanan (1995) (Correct)
Active bibliography (related documents): More All
0.6: A Stable Model Semantics for Behavioral Inheritance in.. - Bugliesi, Jamil (Correct)
0.5: A Logic Based Language for Parametric Inheritance - Jamil (2000) (Correct)
0.3: Differential Logic Programs: Programming.. - Bossi, Bugliesi.. (Correct)
Similar documents based on text: More All
1.1: An Object-Oriented Front-end for Deductive Databases - Jamil, Lakshmanan (1995) (Correct)
1.0: ORLOG: A Logic For Semantic Object-Oriented Models - Jamil, Lakshmanan (1992) (Correct)
0.8: Recognizing Credible Experts in Inaccurate Databases - Jamil, Sadri (1994) (Correct)
BibTeX entry: (Update)
@misc{ jamil-inheritance,
author = "Hasan M. Jamil and Laks V.S. Lakshmanan",
title = "Inheritance and Conflict Resolution",
url = "citeseer.ist.psu.edu/jamil01inheritance.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
413 Logical Foundations for Object-Oriented and Frame-Based Lang.. - Kifer, Lausen et al. - 1995
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989
121 the power of magic - Beeri, Ramakrishnan - 1987
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
58 Contextual Logic Programming (context) - Monteiro, Porto - 1989
38 The family of stable models - Fitting - 1993
29 A declarative view of inheritance in logic programming (context) - Bugliesi - 1992
22 LOGIN: a logic programming language with built-in inheritanc.. (context) - t-Kaci, Nasr - 1986
18 A Model for Sets and Multiple Inheritance in Deductive Objec.. (context) - Dobbie, Topor - 1993
16 A transformational view of inheritance in Logic Programming (context) - Monteiro, Porto - 1990
15 ORLog: A Logic for Semantic ObjectOriented Models - Jamil, Lakshmanan - 1992
15 OOLP: A translation approach to object-oriented logic progra.. - Dalal, Gangopadhyay - 1990
13 Prentice Hall International (context) - McCabe, Objects - 1992
12 A Model for Inheritance and Overriding in Deductive Object-O.. - Dobbie, Topor - 1988
12 A Fixpoint Semantics for Ordered Logic (context) - Laesen, Vermeir - 1990
11 A stable model semantics for behavioral inheritance in deduc.. - Bugliesi, Jamil - 1995
11 A declarative semantics for behavioral inheritance and con i.. - Jamil, Lakshmanan - 1995
9 Syntactic and Semantic Inheritance in Logic Programming (context) - Monteiro, Porto - 1991
4 Reducing inheritance to deduction by completion (context) - Jamil, Lakshmanan et al. - 1995
3 An object-oriented front-end for deductive databases - Jamil, Lakshmanan - 1995
3 The Mathematics of Inheriance Systems (context) - Touretzky - 1986
2 logic as a data model (context) - Manchanda - 1989
1 Digital Paris Research Labs (context) - t-Kaci, Podelski et al. - 1991
1 Semantics of inheritance in logical object speci cations (context) - Brass, Lipeck - 1991
Documents on the same site (http://www.cs.msstate.edu/~jamil/publications-new.html): More
Towards a Visual Query Interface for Phylogenetic Databases - Jamil, Modica (2001) (Correct)
Supporting Remote User Defined Functions in Heterogeneous.. - Chen, Jamil (2001) (Correct)
Mining First-order Knowledge Bases for Association Rules - Jamil (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