2308 search results - page 294 / 462 » Representing Symbolic Reasoning |
145
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...
178
click to vote
LACL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
163
click to vote
RSFDGRC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
170
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
161
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...