Sciweavers

537 search results - page 30 / 108
» A Theory of Inferred Causation
Sort
View
MATES
2005
Springer
15 years 11 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer
FLAIRS
2001
15 years 7 months ago
Probabilistic Plan Recognition for Hostile Agents
This paper presents a probabilistic and abductive theory of plan recognition that handles agents that are actively hostile to the inference of their plans. This focus violates a p...
Christopher W. Geib, Robert P. Goldman
ENTCS
2006
159views more  ENTCS 2006»
15 years 6 months ago
Approximations of Modal Logic K
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
Guilherme de Souza Rabello, Marcelo Finger
IANDC
2006
102views more  IANDC 2006»
15 years 6 months ago
Modular proof systems for partial functions with Evans equality
The paper presents a modular superposition calculus for the combination of firstorder theories involving both total and partial functions. The modularity of the calculus is a cons...
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw...
MM
2009
ACM
277views Multimedia» more  MM 2009»
16 years 18 days ago
Inferring semantic concepts from community-contributed images and noisy tags
In this paper, we exploit the problem of inferring images’ semantic concepts from community-contributed images and their associated noisy tags. To infer the concepts more accura...
Jinhui Tang, Shuicheng Yan, Richang Hong, Guo-Jun ...