Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,990,940 papers from all fields of science
Search
Sign In
Create Free Account
Intensional logic
Known as:
Intensional
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
De Morgan's laws
Dynamic logic (modal logic)
Extension (semantics)
First-order logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Managing uncertainty in bidirectional model transformations
Romina Eramo
,
A. Pierantonio
,
Gianni Rosa
Software Language Engineering
2015
Corpus ID: 2024743
In Model-Driven Engineering bidirectionality in transformations is regarded as a key mechanism. Recent approaches to non…
Expand
2008
2008
Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, London, UK, June 24-27, 2008, Proceedings
E. Kapetanios
,
V. Sugumaran
,
M. Spiliopoulou
International Conference on Applications of…
2008
Corpus ID: 35068266
2005
2005
Intensional Logic and Epistemic Independency of Intelligent Database Agents
Z. Majkic
Wissensmanagement
2005
Corpus ID: 14010536
In the typical Web applications each intelligent database agent can be defined as a Knowledge system (KS) with a global ontology…
Expand
2004
2004
Moschovakis' notion of meaning as applied to linguistics
M. Lambalgen
,
Fritz Hamm
2004
Corpus ID: 9511052
G. Frege introduced two concepts which are central to modern formal approaches to natural language semantics; i.e. the notion of…
Expand
2000
2000
Completeness of Information Sources
Felix Naumann
,
J. Freytag
2000
Corpus ID: 10848150
Information quality plays a crucial role in every application that integrates data from autonomous sources. However, information…
Expand
1997
1997
GLU: A High-Level System for Granular Data-Parallel Programming
R. Jagannathan
,
C. Dodd
,
I. Agi
Concurrency Practice and Experience
1997
Corpus ID: 18868405
We describe a high-level system for granular data-parallel programming called GLU in which parallel applications are described as…
Expand
1993
1993
Semantic Query Optimization in Deductive Object-Oriented Databases
Jong P. Yoon
,
L. Kerschberg
International Conference on Deductive and Object…
1993
Corpus ID: 14182295
This paper addresses the problem of semantic query reformulation in the context of object-oriented deductive databases. It…
Expand
Highly Cited
1991
Highly Cited
1991
Medical expert systems based on causal probabilistic networks
S. Andreassen
,
F. V. Jensen
,
K. Olesen
1991
Corpus ID: 62687836
1989
1989
Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule
S. Abiteboul
Information Processing Letters
1989
Corpus ID: 2315755
1982
1982
Intensional logic in extensional language
C. Parsons
Journal of Symbolic Logic (JSL)
1982
Corpus ID: 19627957
Frege's conception of reference has been interpreted as calling for a completely extensional language, on the grounds that…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE