4595 search results - page 203 / 919 » Reasoning about Plans |
165
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
188
click to vote
FAC
2007
15 years 7 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
188
click to vote
PDPTA
2007
15 years 8 months ago
2007
- Our study evaluates user (Web browser) accesses to a Web server. We examine a Web server log that was collected for the span of several months at the College of Design, Construct...
186
click to vote
KR
2010
Springer
15 years 12 months ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
155
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...