12774 search results - page 67 / 2555 » A Framework for Proof Systems |
ICAIL
2007
ACM
14 years 22 days ago
2007
ACM
In this paper we examine some previous AI and Law attempts to characterise standards of proof, and relate these to the notions of acceptability found in argumentation frameworks, ...
COLING
2000
13 years 10 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
This work focuses on the convergence analysis of adaptive distributed beamforming schemes that can be reformulated as local random search algorithms via a random search framework....
JFLP
2002
13 years 8 months ago
2002
We consider prescriptive type systems for logic programs (as in G