3773 search results - page 550 / 755 » Logical Reasoning |
139
click to vote
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
140
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
162
Voted
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
137
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
133
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...