241 search results - page 32 / 49 » Propositional knowledge and know-how |
ILP
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a new kind of language bias, S-structural indeterminate clauses, which takes into account the meaning of predicates that play a key role in the complexity of l...
144
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
EUSFLAT
2007
15 years 2 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
153
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
141
click to vote
JELIA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...