728 search results - page 70 / 146 » A Logical Approach to Represent and Reason about Calendars |
SYNTHESE
2008
14 years 9 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
102
click to vote
SYNTHESE
2008
14 years 9 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
AAAI
2004
14 years 11 months ago
2004
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
100
click to vote
DLOG
2008
15 years 3 days ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...