Results 271 to 280 of about 70,024 (314)

Deductive closure

Synthese, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Novelty in deductive databases

Journal of Logic and Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grégoire, Éric, Marquis, Pierre
openaire   +2 more sources

Deductive Chauvinism

Synthese, 1999
Any theory of explanation must account for the explanatory successes of statistical scientific theories. This should not be done by endorsing determinism. These considerations have been taken as sufficient ground for rejecting the demand on explanations to be deductive.
openaire   +1 more source

Deductive object databases

2006
This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Each object can change its state and cooperate with other objects.
Elisa Bertino, GUERRINI, GIOVANNA, Danilo Montesi   +2 more
openaire   +2 more sources

NEXCEL, A Deductive Spreadsheet

Qatar Foundation Annual Research Forum Proceedings, 2007
Abstract Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion-dollar budgets. One thing spreadsheets are not very good at is manipulating the symbolic data and helping users make
openaire   +1 more source

The Scandal of Deduction

Journal of Philosophical Logic, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Descente Infinie + Deduction

Logic Journal of IGPL, 2004
The ``descente infinie'' is the standard induction method in mathematics and was known to the ancient Greeks and reinvented in the 17th century by Pierre Fermat. The paper presents an integration of ``descente infinie'' into the context of state-of-the-art free-variable sequent and tableau calculi.
openaire   +1 more source

Contextual Deduction Theorems

Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

GENERIC DEDUCTIVENESS:

To theorize the present condition of trans women under unprecedented historical surveillance, this chapter examines the ambivalence and erotic deflation of a “stoner neo-noir” cinema subgenre. This genre’s principles were sketched in 1970s noir revival movies (Chinatown, The Long Goodbye) and became a staple of later output (The Big Lebowski, Inherent ...
openaire   +1 more source

A Prolegomenon to Partial Deduction

Fundamenta Informaticae, 1993
Partial deduction is a specialization principle related to the law of syllogism. It has several computational applications in logic programming but it has been recently also used in deductive databases, machine learning, software synthesis and other areas of computing. This article is a systematic introduction to partial deduction, its applications and
openaire   +2 more sources