Empty domain

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)
Wikipedia

Topic mentions per year

Topic mentions per year

1954-2015
02419542014

Papers overview

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)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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
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
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
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
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
We present TeMP—the first experimental system for testing validity of monodic temporal logic formulae. The prover implements fine… (More)
  • figure 1
Is this relevant?
1996
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
One goal of explanation-based learning is to t ransform knowledge into an operational form for efficient use. Typical ly , this… (More)
  • figure 1
Is this relevant?