7623 search results - page 1081 / 1525 » Constructive Volume Modeling |
189
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
176
Voted
NMR
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
188
click to vote
OTM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
208
click to vote
RE
2004
Springer
16 years 5 days ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
158
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...