Results 251 to 260 of about 655,566 (261)

On the complexity of the instance checking problem in concept languages with existential quantification

Journal of Intelligent Information Systems, 1993
Most of the work regarding complexity results for concept languages consider subsumption as the prototypical inference. However, when concept languages are used for building knowledge bases including assertions on individuals, the basic deductive service of the knowledge base is the so-called instance checking, which is the problem of checking if an ...
openaire   +3 more sources

Augmenting branching temporal logics with existential quantification over atomic propositions

Journal of Logic and Computation, 1995
Temporal-logic model checking is used in verification of program correctness. The complexity of model-checking algorithms on finite propositional Kripke structures was established previously, in particular for the temporal logics CTL and CTL*. The author explores the relevant complexities when we enrich CTL and CTL* by existential quantification over ...
openaire   +2 more sources

The 21st Century Philosophical-Worldview Dilemma: Symbolic Knowledge vs Knowledge by Quantification: Existential Exile, Objective Uncertainty, Kant’s Symbolic Knowledge, Tolstoy & Steven Burr’s “Finite Transcendence”

2003
The 21st Century Philosophical-Worldview Dilemma: Symbolic Knowledge vs Knowledge by Quantification!. Why is this important? As Irish poet theologian John O’Donohue, as well as Buddha and most other greats, observe: “The way you look at things is the most powerful force in shaping your life!” In that philosophy presents a “model” for “ways of thinking”
openaire   +1 more source

Every λ Was Once a Name: On the Quantification of Death and the Macro-ization of the Existential — A Critique This Corpus Owes Itself, Not Only Its Rivals

Share Nothing But The Word showed that mainstream longevity governance is built around population-weighted averages structurally incapable of registering a forming asymmetry gap — a critique this paper does not revise. It extends the critique in a direction that paper stopped short of: naming, with the precision the rest of this corpus insists on for ...
openaire   +1 more source

Fast Query Answering over Existential Rules

ACM Transactions on Computational Logic, 2019
Giorgio Terracina, Nicola Leone, Pierfrancesco Veltri   +2 more
exaly  

NUMERAL INDETERMINATE PHRASES AND THEIR EXISTENTIAL QUANTIFICATION BY MO IN JAPANESE

English Linguistics, 2012
exaly  

Tourism and Existential Transformation: An Empirical Investigation

Journal of Travel Research, 2017
Xinran Lehto, Ksenia Kirillova, Liping Cai   +2 more
exaly  

The existential fragment of second-order propositional intuitionistic logic is undecidable

Journal of Applied Non-Classical Logics
Konrad Zdanowski, Aleksy Schubert, Paweł Urzyczyn   +2 more
exaly  

One unary function says less than two in existential second order logic

Information Processing Letters, 1997
exaly  

R. M. Martin. Existential quantification and the “regimentation” of ordinary language. Mind, n.s. vol. 71 (1962), pp. 525–529.

Journal of Symbolic Logic, 1972
openaire   +1 more source