2490 search results - page 57 / 498 » Complexity of Contextual Reasoning |
217
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
132
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
152
Voted
ACMICEC
2005
ACM
15 years 9 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
155
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
157
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...