Searching for "Logic and Inheritance." – sorted by Relevance.
-
The logic of inheritance in frame systems
- THE LOGIC OF INHERITANCE IN FRAME SYSTEMS Gerhard Brewka German Research Institute for Mathematics
- Cited by 16 (0 self) – Add To MetaCart
-
Description of Modal Logics Inheriting Admissible Rules for S4
- Description of Modal Logics Inheriting Admissible Rules for S4 V.V. Rybakov, Mathematics
- Add To MetaCart
-
Description of Modal Logics
- Description of Modal Logics Inheriting Admissible Rules for S4 V.V. Rybakov, Mathematics
- Add To MetaCart
-
Inference in Inheritance Networks using Propositional Logic and Constraint Networks Techniques
- Inference in Inheritance Networks using Propositional Logic and Constraint Networks Techniques
- Cited by 2 (1 self) – Add To MetaCart
-
Commands and Changing Obligations
- that link those situations. Although the resulting logic inherits various inadequacies from monadic deontic
- Cited by 6 (2 self) – Add To MetaCart
-
LIFE - A Natural Language for Natural Language
- as "advanced" as Lisp or Prolog. LIFE (Logic, Inheritance, Functions, and Equations) is a programming language
- Cited by 12 (1 self) – Add To MetaCart
-
How to Prefer More Specific Defaults in Terminological Default Logic
- , and for default inheritance of properties. The major drawback which terminological default logic inherits from
- Cited by 39 (1 self) – Add To MetaCart
-
An Overview of LIFE
- for structured type inheritance. LIFE reconciles styles from Functional Programming and Logic Programming
- Cited by 34 (1 self) – Add To MetaCart
-
Integrating Dynamic Aspects into Deductive Object-Oriented Databases
- , the use of F-Logic's inheritance semantics for modeling states provides an e ective operational semantics
- Cited by 5 (2 self) – Add To MetaCart
-
Labelled Propositional Modal Logics: Theory and Practice
- algebras. This leads to a hierarchical structuring of modal logics with inheritance of theorems. Moreover
- Cited by 35 (8 self) – Add To MetaCart

