3515 search results - page 228 / 703 » On the semantics of Strategy Logic |
226
click to vote
TPLP
2002
15 years 7 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
217
Voted
WISE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
170
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
228
click to vote
JKM
2007
15 years 7 months ago
2007
Purpose – The purpose of this paper is to study the influence of organizational environment on the selection of knowledge management strategies. The paper focuses particularly ...
222
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...