158 search results - page 17 / 32 » Update by Means of Inference Rules |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
ACMICEC
2005
ACM
14 years 29 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
RTA
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...