نتایج جستجو برای: deductive c
تعداد نتایج: 1062996 فیلتر نتایج به سال:
A method of deductive learning is proposed to con trol deductive inference Our goal is to improve prob lem solving time by experience when that experience monotonically adds knowledge to the knowledge base Accumulating and exploiting experience are done by the schemes of knowledge migration and knowledge shadowing Knowledge migration generates speci c migrated rules from general migrating rules...
In this paper we present an underspeci ed logic, i.e. a pair consisting of a proper underspeci ed semantic representation formalism and a deductive component that directly operates on these structures. We show how the main features of this formalism can be imported into other existing underspeci ed semantic representation formalisms. We also show that deduction rules may be imported there along...
Aditi is a deductive database system under development at the Collaborative Information Technology Research Institute by researchers from the University of Melbourne. This document is an introductory guide to the Aditi system.
We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to preand postconditions. It is based on a version of KeY that supports Java Card. In this paper we give a glimpse of syntax, semantics, and calculus of C Dynamic Logic (CDL) that were adapted from their Java Card counterparts, based on an example. Currently, the t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید