3573 search results - page 36 / 715 » Reasoning about Codata |
92
Voted
AMAI
2007
Springer
14 years 11 months ago
2007
Springer
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
LPAR
2001
Springer
15 years 3 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
68
Voted
DEON
2008
Springer
15 years 21 days ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
97
Voted
TABLEAUX
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
96
Voted
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...