728 search results - page 13 / 146 » A Logical Approach to Represent and Reason about Calendars |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real
ER
2005
Springer
14 years 1 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
PSB
2010
13 years 5 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...