736 search results - page 51 / 148 » A Science of Reasoning (Extended Abstract) |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
AGP
1997
IEEE
13 years 12 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
PODS
1998
ACM
13 years 12 months ago
1998
ACM
An extended abstract of this paper appeared in Proceedings of the 15th ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems [1]. 2 E-mail: pankaÄcs.duke.edu; httpÂ...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
LPNMR
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...