1941 search results - page 47 / 389 » Reasoning about Computations Using Two-Levels of Logic |
114
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
115
click to vote
AAAI
2008
15 years 4 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
100
Voted
AI
2001
Springer
15 years 5 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
115
click to vote
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...
118
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...