MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic and Inheritance." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

94 documents found, showing 1 through 10. Next 10 →

ATOM

The logic of inheritance in frame systems
by Gerhard Brewka, D Sankt Augustin — 1987 — In Intl. Joint Conference on Artificial Intelligence
…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
by V.V. Rybakov, C. Gencer, T. Oner — 1999
…Description of Modal Logics Inheriting Admissible Rules for S4 V.V. Rybakov, Mathematics…
Add To MetaCart

Description of Modal Logics
by Inheriting Admissible Rules
…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
by Rachel Ben-eliyahu, Rina Dechter — 1992 — In AI-92: Proceedings of the 9th Canadian conference on AI
… Inference in Inheritance Networks using Propositional Logic and Constraint Networks Techniques…
Cited by 2 (1 self) – Add To MetaCart

Commands and Changing Obligations
by Tomoyuki Yamada — 2006 — Proceedings of the Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII
… 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
by Hassan Aït-Kaci, Hassan At-kaci, Rueil-malmaison Cedex, Patrick Lincoln, Patrick Lincoln — 1989
… 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
by Franz Baader, Bernhard Hollunder — 1993 — In Proceedings of the International Joint Conference on Artificial Intelligence
…, 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
by Hassan Aït-Kaci, Rueil-malmaison Cedex, Pierre Berloquin — 1991 — Proc. Next Generation Information Systems Technology , Springer LNCS
… 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
by Wolfgang May, Christian Schlepphorst, Georg Lausen — 1997 — PROC. OF THE 3ND INTL. WORKSHOP ON RULES IN DATABASE SYSTEMS (RIDS), LNCS, SKOVDE
…, 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
by David Basin, Seán Matthews, Luca Viganò — 1996
… algebras. This leads to a hierarchical structuring of modal logics with inheritance of theorems. Moreover…
Cited by 35 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB