2291 search results - page 94 / 459 » Representational Reasoning and Verification |
SIGLEX
1991
14 years 13 days ago
1991
This paper argues that there is no reason to distinguish between lexical information and real-world information on the basis of the formalisms used; that both types of knowledge c...
AAAI
1990
13 years 10 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
ECEASST
2010
13 years 6 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...