Sciweavers

7075 search results - page 424 / 1415
» Models and heterogeneous reasoning
Sort
View
IJAR
2008
90views more  IJAR 2008»
15 years 7 months ago
The Dempster-Shafer calculus for statisticians
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...
Arthur P. Dempster
COR
2008
133views more  COR 2008»
15 years 6 months ago
A new constraint programming approach for the orthogonal packing problem
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...
François Clautiaux, Antoine Jouglet, Jacque...
RR
2010
Springer
15 years 5 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
AGI
2011
14 years 10 months ago
The Collection of Physical Knowledge and Its Application in Intelligent Systems
Intelligence is a multidimensional problem of which physical reasoning and physical knowledge are important dimensions. However, there are few resources of physical knowledge that ...
Benjamin Johnston
SCAI
2008
15 years 8 months ago
Towards Automatic Model Generation by Optimization
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
Per Nyblom, Patrick Doherty