2022 search results - page 360 / 405 » Complexity of Non-Monotonic Logics |
104
Voted
IANDC
2006
15 years 17 days ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
JAIR
2008
15 years 17 days ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
113
Voted
JAIR
2008
15 years 17 days ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
108
Voted
CORR
2007
Springer
15 years 16 days ago
2007
Springer
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
124
Voted
JIKM
2008
15 years 16 days ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...