Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,320,469 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.
Review
2010
Review
2010
BIOLOGICAL TAXONOMY AND ONTOLOGY DEVELOPMENT: SCOPE AND LIMITATIONS
N. Franz
2010
Corpus ID: 10459785
The prospects of integrating full-blown biological taxonomies into an ontological reasoning framework are critically reviewed…
Expand
2008
2008
Mapping a parochial lexicon onto a universal semantics
G. Ramchand
,
Peter Svenonius
2008
Corpus ID: 15969160
Introduction. In this paper we argue that an important point of cross-linguistic variation is which elements of meaning are…
Expand
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
Highly Cited
2002
Highly Cited
2002
Global Schema Generation Using Formal Ontologies
F. Hakimpour
,
A. Geppert
International Conference on Conceptual Modeling
2002
Corpus ID: 17049907
This paper deals with the problem of handling semantic heterogeneity during schema integration. Semantics refer to the meaning of…
Expand
Highly Cited
2001
Highly Cited
2001
Resolving semantic heterogeneity in schema integration
F. Hakimpour
,
A. Geppert
Formal Ontology in Information Systems
2001
Corpus ID: 9593793
Interoperability and integration of data sources are becoming evermore important issues as both, the amount of data and the…
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
Highly Cited
1989
Highly Cited
1989
Using Integrity Constraints to Provide Intensional Answers to Relational Queries
Amihai Motro
Very Large Data Bases Conference
1989
Corpus ID: 44466315
An intensionalanswer to a query is a set of characterizations of the set of database values that satisfy the query (the…
Expand
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