732 search results - page 129 / 147 » Representation of Semantic Knowledge with Term Subsumption L... |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
COGSCI
2010
13 years 7 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
IJCAI
2003
13 years 9 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
CIKM
2009
Springer
13 years 11 months ago
2009
Springer
In this work, we show the importance of multidimensional opinion representation in the political context combining domain knowledge and results from principal component analysis. ...
NIPS
2007
13 years 9 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...