1941 search results - page 49 / 389 » Reasoning about Computations Using Two-Levels of Logic |
ADC
2004
Springer
15 years 7 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
115
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
121
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
144
Voted
AIA
2006
15 years 3 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
143
click to vote
SIGCSE
2000
ACM
15 years 6 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...