2395 search results - page 374 / 479 » Reasoning in Semantic Wikis |
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
RULEML
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
WOLLIC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...