11436 search results - page 293 / 2288 » Modeling Real Reasoning |
142
click to vote
DLOG
2011
14 years 7 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...
138
click to vote
E4MAS
2004
Springer
15 years 9 months 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...
137
click to vote
KI
2007
Springer
15 years 3 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...
150
click to vote
ENTCS
2007
15 years 3 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-...
98
Voted
ICLP
2003
Springer
15 years 9 months ago
2003
Springer