2291 search results - page 223 / 459 » Representational Reasoning and Verification |
134
click to vote
EPIA
2001
Springer
15 years 5 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
83
Voted
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
102
click to vote
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we present an approach for classifying documents based on the notion of a semantic similarity and the effective representation of the content of the docume...
113
Voted
AAAI
2000
15 years 2 months ago
2000
Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
COLING
1992
15 years 1 months ago
1992
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...