MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Extension of Basic Logic." – sorted by Relevance.

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

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

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

ATOM

Expressive number restrictions in Description Logics
by Franz Baader, Ulrike Sattler — 1999 — Journal of Logic and Computation
… will present two decidability results (for the basic logic that extends ALC by number restrictions on roles…
Cited by 25 (7 self) – Add To MetaCart

Feature Logic With Weak Subsumption Constraints
by Jochen Dörre
… for reli- able implementations of these formalisms, but also for extensions of the basic logic with a…
Cited by 7 (1 self) – Add To MetaCart

Basic logic: reflection, symmetry, visibility
by Giovanni Sambin, Giulia Battilotti — 1997 — Journal of Symbolic Logic
…, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them…
Cited by 11 (4 self) – Add To MetaCart

Classical Proofs via Basic Logic
by Claudia Faggian, C. Both, The Calculus — 1997 — in Proceedings of the CSL '97
… of basic logic, a remarkable result is that the extensions of basic logic (the ones that are "symmetric…
Cited by 3 (1 self) – Add To MetaCart

Residuated fuzzy logics with an Involutive Negation
by Francesc Esteva, Lluís Godo, Petr Hájek, Mirko Navara
… extension of the basic logic BL accounting for those logics in which the negation : defined above is Godel…
Cited by 14 (3 self) – Add To MetaCart

Axioms for Strict and Lazy Functional Programs
by Robert F. Stärk — Annals of Pure and Applied Logic
… derivable principles. In Sect. 4 we show the adequacy of an extension of the basic logic of partial terms…
Cited by 1 (0 self) – Add To MetaCart

Implementing Contexts in Logic Programming
by E. Denti, E. Lamma, P. Mello, A. Natali, A. Omicini — 1992 — Extensions of Logic Programming, LNAI 660
… of linguistic extensions to the basic logic programming paradigm to enhance its expressive power. For instance…
Cited by 5 (1 self) – Add To MetaCart

A Logic of Intentions and Beliefs
by Munindar P. Singh, Nicholas M. Asher — 1993
… some important extensions to the basic logic in terms of axioms and and the constraints on models…
Cited by 23 (8 self) – Add To MetaCart

Games Logic Plays
by Ahti Pietarinen — 1999
… extension of these basic logics is obtained if one varies some characteristics of the game. Our first…
Cited by 1 (1 self) – Add To MetaCart

Fibring: Completeness Preservation
by Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas — 2000 — Journal of Symbolic Logic
… other extension of basic logic ([SBF]). Along the way, we also establish other preservation results like…
Cited by 32 (12 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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