3831 search results - page 50 / 767 » Dynamic Context Logic |
111
Voted
IFIP12
2004
15 years 1 months ago
2004
: Managing knowledge by maintaining it according to dynamic context is among the basic abilities of a knowledge-based system. The two main
103
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
109
click to vote
AH
2004
Springer
15 years 6 months ago
2004
Springer
Users’ information needs are largely driven by the context in which they make their decisions. This context is dynamic. It includes the users’ characteristics, their current do...
111
click to vote
LATA
2012
Springer
13 years 8 months ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...
94
Voted
LOGCOM
2007
15 years 11 days ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...