1143 search results - page 135 / 229 » Abstract Syntax and Logic Programming |
127
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
148
Voted
EUSAI
2007
Springer
15 years 4 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
108
Voted
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
129
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
132
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...