1746 search results - page 35 / 350 » A Constructive Semantics for ALC |
144
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
IJCAT
2010
15 years 13 days ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
138
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a method to infer hidden semantic cues by accumulating the knowledge learned from relevance feedback sessions. We propose to explicitly represent a semantic sp...
127
click to vote
ACL
1989
15 years 3 months ago
1989
Comparative expressions (CEs) such as "bigger than" and "more oranges than" are highly ambiguous, and their meaning is context dependent. Thus, they pose probl...
119
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...