In first-order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non-empty in… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

The use of ontologies for accessing data is one of the most exciting new applications of description logics in databases and… (More)

Is this relevant?

2011

2011

Multi-Domain Logic (MDL) is a generalization of signed logic, in which every variable has its own domain. This aspect increases… (More)

Is this relevant?

2010

2010

Emptiness (śūnyatā) is one of the most important topics in Buddhist thought and also is one of the most perplexing. Buddhists in… (More)

Is this relevant?

2010

2010

- Mahan Mj
- 2010

We begin by showing that commensurators of Zariski dense subgroups of isometry groups of symmetric spaces of non-compact type are… (More)

Is this relevant?

2009

2009

- Carlos Areces, Santiago Figueira, Sergio Mera
- LFCS
- 2009

Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and… (More)

Is this relevant?

2007

2007

- Yu Ding, Volker Haarslev
- 2007

A combination of inverse roles and functional restrictions makes the underlying description logics (DLs) lose the finite model… (More)

Is this relevant?

2005

2005

- Zoran Majkic
- Wissensmanagement
- 2005

In the typical Web applications each intelligent database agent can be defined as a Knowledge system (KS) with a global ontology… (More)

Is this relevant?

2004

2004

- Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
- IJCAR
- 2004

We present TeMP—the first experimental system for testing validity of monodic temporal logic formulae. The prover implements fine… (More)

Is this relevant?

1996

1996

- James W. Anderson, Richard D. Canary
- 1996

We study the relationship between the algebraic and geometric limits of a sequence of isomorphic Kleinian groups. We prove that… (More)

Is this relevant?

1989

1989

- James Wogulis, Pat Langley
- IJCAI
- 1989

One goal of explanation-based learning is to t ransform knowledge into an operational form for efficient use. Typical ly , this… (More)

Is this relevant?