1143 search results - page 64 / 229 » Prospective Logic Agents |
165
click to vote
AAAI
2000
15 years 7 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
161
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
158
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
170
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
160
click to vote
AAAI
2006
15 years 7 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...