2594 search results - page 197 / 519 » Elements of a Theory of Simulation |
136
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
129
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
160
click to vote
VL
1991
IEEE
15 years 8 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
162
click to vote
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
153
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...