1581 search results - page 62 / 317 » Mechanizing Inductive Reasoning |
152
click to vote
DALT
2007
Springer
16 years 6 days ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
183
click to vote
AMT
2009
Springer
16 years 19 days ago
2009
Springer
Traditional reasoning tools for the Semantic Web cannot cope with Web scale data. One major direction to improve performance is parallelization. This article surveys existing studi...
150
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
170
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...
203
click to vote
AAAI
2008
15 years 7 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...