875 search results - page 58 / 175 » Reasoning about Knowledge and Continuity |
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
DLOG
2011
14 years 1 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
WOA
2000
14 years 11 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
AIIA
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...