2308 search results - page 175 / 462 » Representing Symbolic Reasoning |
159
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
171
click to vote
DLOG
2008
15 years 8 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
140
click to vote
AAAI
2004
15 years 8 months ago
2004
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...
168
click to vote
DLOG
2003
15 years 7 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...
166
click to vote
DLOG
1998
15 years 7 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...