2308 search results - page 30 / 462 » Representing Symbolic Reasoning |
296
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
208
Voted
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
187
Voted
SEMWEB
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
198
Voted
ECAI
2004
Springer
16 years 26 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
204
click to vote
KES
2004
Springer
16 years 25 days ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...