343 search results - page 45 / 69 » Complete Axiomatizations for Reasoning About Knowledge and T... |
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
101
Voted
AMR
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
MST
2000
14 years 9 months ago
2000
We consider the problem of processing a given number of tasks on a given number of processors as quickly as possible when only vague information about the processing time of a task...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...