442 search results - page 29 / 89 » Knowledge Representation Using High-Level Non-monotonic Reas... |
199
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
145
Voted
GIS
1992
ACM
15 years 6 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
102
Voted
AAAI
1994
15 years 3 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
113
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract - This paper describes an efficient graphbased method to optimize data-flow expressions for best hardware implementation. The method is based on factorization, common su...
162
Voted
TPLP
2010
15 years 28 days ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...