Dynamic Teaching Materials for ESSLLI

@inproceedings{Bernardi2004DynamicTM,
  title={Dynamic Teaching Materials for ESSLLI},
  author={Raffaella Bernardi and Ingo Dahn and Gilad Mishne and Michael Moortgat and Maarten de Rijke and Hans Uszkoreit},
  year={2004}
}
In the context of the European Network of Excellence in Computational Lo gic (CoLogNet,http://www.colognet.org/ ), the European Association for Logic, Language and Computation (FoLLI, http://www.folli.org ) has started a project on E-Learning in Computational Logic and the development of Dynamic Teaching Materials for its annual European Summer Schools (ESSLLIs). The project has a double aim: (i) to enhance the (re)usability of existing ESSLL I teaching materials by creating a richly structured… CONTINUE READING
0 Citations
7 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Logic for computer scientists. Electronic course.http://slice.uni-koblenz.de/ ̃sitlog

  • U. Furbach
  • 2004
1 Excerpt

1996.Proof Nets and Labeling for Categorial Grammar Logics. Master’s thesis, Utrecht University. Code available at http://www.labri.fr/Perso/ ̃moot/grail.html

  • R. Moot
  • 1996
1 Excerpt

Contrasting the cognitive effects of graphical and sentential logic teaching: reasoning, representation and individual differences

  • R. Cox, K. Stenning, J. Oberlander
  • 1995
1 Excerpt

Visual information and valid reasoning

  • J. Barwise
  • Logical Reasoning with Diagrams

Similar Papers

Loading similar papers…