3573 search results - page 150 / 715 » Reasoning about Codata |
135
Voted
WSC
2007
15 years 5 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
131
click to vote
OWLED
2007
15 years 4 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
136
Voted
SFP
2004
15 years 4 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
158
Voted
COMMA
2010
14 years 10 months ago
2010
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
177
Voted
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...