2082 search results - page 169 / 417 » Change Paths in Reasoning! |
168
click to vote
JAIR
2008
15 years 4 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
125
click to vote
KI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
131
click to vote
DLOG
2010
15 years 2 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
132
click to vote
DLOG
2010
15 years 2 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...