1536 search results - page 142 / 308 » The Underlying Logic of Hoare Logic |
169
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
177
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
163
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
144
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
197
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...