4036 search results - page 579 / 808 » Formal Methods |
184
click to vote
AAAI
2007
15 years 9 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
158
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Previous studies have shown that text genres can be computationally distinguished by sophisticated computational and statistical methods. The current study adds to the previous bo...
160
click to vote
DLOG
2008
15 years 9 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
172
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
227
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...