Who Cited It

Logical foundations of object-oriented and frame-based languages

1995 · Journal of the ACM · 1,459 citations · 1 from inside this corpus

Michael Kifer, Georg Lausen low, James C. Wu low

We propose a novel formalism, calledFrame Logic(abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. In a sense, F-logic stands in the same relationship to the object-oriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.

Logical foundations of object-oriented and frame-based languages (1995)Logical foundations of object…A FRAMEWORK FOR REPRESENTING KNOWLEDGE (1988)A FRAMEWORK FOR REPRESENTING …The stable model semantics for logic programming (1988)The stable model semantics fo…Programming in Prolog (1984)Programming in PrologThe well-founded semantics for general logic programs (1991)The well-founded semantics fo…Foundations of logic programming; (2nd extended ed.) (1987)Foundations of logic programm…Symbolic Logic and Mechanical Theorem Proving (1973)Symbolic Logic and Mechanical…Knowledge engineering: Principles and methods (1998)Knowledge engineering: Princi…
7 of 7 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.
this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

PaperYearCited
A FRAMEWORK FOR REPRESENTING KNOWLEDGE19884,554
The stable model semantics for logic programming19883,428
Programming in Prolog19841,761
The well-founded semantics for general logic programs19911,691
Foundations of logic programming; (2nd extended ed.)19871,514
Symbolic Logic and Mechanical Theorem Proving19731,476

What cites it, inside the corpus

PaperYearCited
Knowledge engineering: Principles and methods19983,632

Links

DOI · Open access copy · OpenAlex record

Topics

Logic, programming, and type systemsComputer Science
Logic, Reasoning, and KnowledgeComputer Science
Formal Methods in VerificationComputer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

  • supports3 author record(s) attached.
  • supports108 reference(s) recorded.
  • neutralThe DOI carries no year to check against.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:58+00:00.

sha256 88a60cdbb94c6a13…