1331 search results - page 158 / 267 » Description logic reasoning using the PTTP approach |
152
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
168
click to vote
FUZZIEEE
2007
IEEE
16 years 23 days ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
173
click to vote
KBSE
2005
IEEE
16 years 12 hour ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
320
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
188
click to vote
EWDW
1990
15 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...