11436 search results - page 585 / 2288 » Modeling Real Reasoning |
168
Voted
ESWS
2005
Springer
16 years 1 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
171
Voted
KR
2004
Springer
16 years 25 days ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
189
Voted
KR
2010
Springer
16 years 8 days ago
2010
Springer
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
178
Voted
AI
2001
Springer
16 years 4 hour ago
2001
Springer
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
198
click to vote
CSL
2001
Springer
15 years 12 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...