2414 search results - page 175 / 483 » Reasoning Support for OWL-E |
146
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
168
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
134
click to vote
AAAI
2008
15 years 8 months ago
2008
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
172
click to vote
AIIDE
2007
15 years 8 months ago
2007
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
147
click to vote
WSC
2008
15 years 8 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...