Sciweavers

276 search results - page 8 / 56
» E-learning by Doing with Computational Logic
Sort
View
EH
2002
IEEE
266views Hardware» more  EH 2002»
14 years 10 days ago
Towards Evolvable Analog Fuzzy Logic Controllers
Fuzzy Logic has proved to be a very powerful technique in the discipline of system control. A Fuzzy Logic Controller is defined by a collection of fuzzy if-then rules and a set of...
José Franco Machado do Amaral, Jorge Lu&iac...
EH
2003
IEEE
247views Hardware» more  EH 2003»
14 years 21 days ago
Evolvable Building Blocks for Analog Fuzzy Logic Controllers
This work discusses the use of an Evolvable Hardware (EHW) platform in the synthesis of analog electronic circuits for Fuzzy Logic Controllers. A Fuzzy Logic Controller (FLC) is d...
Jorge Luís Machado do Amaral, José F...
AIIDE
2008
13 years 9 months ago
Logical Agents for Language and Action
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
Martin Magnusson, Patrick Doherty
FUIN
2000
71views more  FUIN 2000»
13 years 7 months ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri
AISC
1998
Springer
13 years 11 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson