1670 search results - page 181 / 334 » On Skolemization in constructive theories |
159
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
148
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
183
click to vote
KR
2004
Springer
15 years 12 months 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...
185
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
172
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Enterprise Resource Planning (ERP) systems have received well-deserved attention from both the industry and the research communities, yet the usability of these systems remains a ...