2138 search results - page 181 / 428 » Logical Step-Indexed Logical Relations |
172
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
157
click to vote
ACMSE
2005
ACM
16 years 3 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
163
click to vote
ILP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
180
click to vote
WILF
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
166
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...