11436 search results - page 293 / 2288 » Modeling Real Reasoning |
219
click to vote
DLOG
2011
14 years 10 months ago
2011
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
198
click to vote
E4MAS
2004
Springer
16 years 20 days ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
195
click to vote
KI
2007
Springer
15 years 7 months ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
222
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...