1625 search results - page 98 / 325 » Intentionality |
111
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
132
click to vote
SIGCSE
1991
ACM
15 years 5 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
103
Voted
GD
2009
Springer
15 years 5 months ago
2009
Springer
We describe an algorithm for radial layout of undirected graphs, in which nodes are constrained to concentric circles centered at the origin. Such constraints are typical, e.g., i...
131
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...