Sciweavers

1588 search results - page 57 / 318
» On the Logic of Constitutive Rules
Sort
View
185
Voted
JOLLI
1998
103views more  JOLLI 1998»
15 years 5 months ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur
157
Voted
TIME
2008
IEEE
16 years 16 days ago
Moving Spaces
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
Ivo Düntsch, Michael Winter
149
Voted
DSOM
2006
Springer
15 years 9 months ago
CMDB - Yet Another MIB? On Reusing Management Model Concepts in ITIL Configuration Management
According to ITIL, a CMDB (Configuration Management Database), containing a logical model of the IT infrastructure, forms the basis for effective and efficient IT Service Managemen...
Michael Brenner, Markus Garschhammer, Martin Saile...
170
Voted
BMCBI
2007
167views more  BMCBI 2007»
15 years 6 months ago
Applying negative rule mining to improve genome annotation
Background: Unsupervised annotation of proteins by software pipelines suffers from very high error rates. Spurious functional assignments are usually caused by unwarranted homolog...
Irena I. Artamonova, Goar Frishman, Dmitrij Frishm...
170
Voted
ISIPTA
2003
IEEE
15 years 11 months ago
Combining Belief Functions Issued from Dependent Sources
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speciļ¬...
Marco E. G. V. Cattaneo