2308 search results - page 192 / 462 » Representing Symbolic Reasoning |
145
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Weintroducea formalcontext mechanism,embeddedinto a descriptionlogicsframework,whichis ableto uniformly represent and managedifferent formsof ambiguitiesas theyoccurin the courseo...
178
click to vote
WSC
2001
15 years 8 months ago
2001
"Spreadsheet simulation" refers to the use of a spreadsheet as a platform for representing simulation models and performing simulation experiments. This tutorial explain...
135
click to vote
AAAI
2000
15 years 7 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
137
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
204
click to vote
ARGMAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...