2253 search results - page 181 / 451 » The ComFoRT Reasoning Framework |
115
click to vote
ILP
2007
Springer
15 years 5 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
CIARP
2009
Springer
15 years 5 months ago
2009
Springer
In this article an autonomous visual perception framework for humanoids is presented. This model-based framework exploits the available knowledge and context acquired during global...
KR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
102
Voted
ICALP
2001
Springer
15 years 3 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
146
click to vote
PLPV
2011
ACM
14 years 1 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...