850 search results - page 124 / 170 » A Logic Programming Language Based on Binding Algebras |
127
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
ECBS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
130
click to vote
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
105
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
134
click to vote
IDT
2010
14 years 12 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...