279 search results - page 35 / 56 » Computing Intersections of Horn Theories for Reasoning with ... |
ECSQARU
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...