Sciweavers

2189 search results - page 107 / 438
» A Graded Applicability of Rules
Sort
View
ENTCS
2010
96views more  ENTCS 2010»
15 years 6 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
IJRR
2007
90views more  IJRR 2007»
15 years 6 months ago
Assessment of Tissue Damage due to Mechanical Stresses
t – While there are many benefits to minimally invasive surgery, force feedback, or touch sensation, is lacking in the currently available MIS tools, including surgical robots, c...
Smita De, Jacob Rosen, Aylon Dagan, Blake Hannafor...
CE
2005
58views more  CE 2005»
15 years 6 months ago
Does ICT contribute to powerful learning environments in primary education?
In powerful learning environments, rich contexts and authentic tasks are presented to pupils. Active, autonomous and co-operative learning is stimulated, and the curriculum is ada...
Ed Smeets
DM
2000
89views more  DM 2000»
15 years 6 months ago
Some counting problems related to permutation groups
This paper discusses investigations of sequences of natural numbers which count the orbits of an in nite permutation group on n-sets or n-tuples. It surveys known results on the g...
Peter J. Cameron
GG
2004
Springer
15 years 11 months ago
Translating Java Code to Graph Transformation Systems
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
Andrea Corradini, Fernando Luís Dotti, Luci...