Living Book - Deduction, slicing, and interaction

Journal of Automated Reasoning

Volumn 32, Issue 3, 2004, Pages 259-286

  Baumgartner, P ^a   Furbach, U ^a   Gross Hardt, M ^a   Sinner, A ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

E learning; Knowledge management; Knowledge representation; Theorem proving

Indexed keywords

ACADEMIC TEACHINGS; E-LEARNING; KNOWLEDGE MANAGEMENT; KNOWLEDGE REPRESENTATIONS; TUTORIALS;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; STUDENTS; THEOREM PROVING;

TEACHING;

EID: 6944237585     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:JARS.0000044872.51237.c9     Document Type: Article

References (27)

1. Baumgartner, P.: Hyper tableaux - The next generation, in H. de Swaart (ed.), Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence 1397, Springer, 1998, pp. 60-76.
2. Baumgartner, P.: FDPLL - A first-order Davis-Putnam-Logeman-Loveland procedure, in D. McAllester (ed.), CADE-17 - The 17th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 1831, Springer, 2000, pp. 200-219.
3. Baumgartner, P. and Furbach, U.: Automated deduction techniques for the management of personalized documents, Ann. Math. Artificial Intelligence - Special Issue on Mathematical Knowledge Management 38(1) (2003).
4. Baumgartner, P., Furbach, U. and Niemelä, I.: Hyper tableaux, in Proc. JELIA 96, Lecture Notes in Artificial Intelligence 1126, Springer, 1996.
5. Baumgartner, P., Gross-Hardt, M. and Simon, A. B.: Living book - An interactive and personalized book, in V. Milutinovic (ed.), SSGRR 2002s - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, Published electronically (http://www.ssgrr.it/en/ssgrr2002s/papers.htm), 2002.
6. Brewka, G., Dix, J. and Konolige, K.: Nonmonotonic Reasoning, Lecture Notes 73, CSLI Publications, 1997.
7. Bry, F. and Kraus, M.: Perspectives for electronic books in the World Wide Web age, The Electronic Library Journal 20(4) (2002), 275-287.
8. Dahn, I.: Slicing book technology - Providing online support for textbooks, in H. Hoyer (ed.), Proc. of the 20th_World Conference on Open and Distance Learning, Düsseldorf, Germany, 2001.
9. Dahn, I.: Using networks for advanced personalization of documents, in V. Milutinovic (ed.), Proc. SSGRR 2001, L'Aquila/Italy, 2001.
10. Denis, A. R. and Valacich, J. R.: Rethinking media richness: Towards a theory of media synchronicity, in Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, Los Alamitos, 1999.
11. Dix, J., Furbach, U. and Niemelä, I.: Nonmonotonic reasoning: Towards efficient calculi and implementations, in A. Voronkov and A. Robinson (eds.), Handbook of Automated Reasoning, Elsevier, 2001, pp. 1121-1234.
12. Evans, D., Armbruster, M., Dahn, I., Pook, A., Brady, A., Wienand, B., Dahn, A., Golcher, F. and Tabelow, K.: Trial-solution evaluation report, Deliverable D13, available on request, 2002.
13. Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming, in R. Kowalski and K. Bowen (eds.), Proceedings of the 5th International Conference on Logic Programming, 1988, pp. 1070-1080.
14. Goller, C., Letz, R., Mayr, K. and Schumann, J.: SETHEO V3.2: Recent developments - System abstract, in A. Bundy (ed.), Automated Deduction - CADE 12, Springer-Verlag, 1994, pp. 778-782.
15. In2Math: Interactive elements in mathematics and computer science education for undergraduates, www.in2math.de, 2003.
16. Letz, R.: Clausal tableaux, in W. Bibel and P. H. Schmitt (eds.), Automated Deduction. A Basis for Applications, Kluwer Academic Publishers, 1998.
17. Manthey, R. and Bry, F.: SATCHMO: A theorem prover implemented in Prolog, in E. Lusk and R. Overbeek (eds.), Proceedings of the 9th Conference on Automated Deduction, Argonne, Illinois, May 1988, Lecture Notes in Comput. Sci. 310, Springer, 1988, pp. 415-434.
18. Melis, E., Andres, E., Büdenbender, J., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M. and Ullrich, C.: ActiveMath: A generic and adaptive web-based learning environment, J. Artificial Intelligence and Education 12(4) (2001), 385-407.
19. Melis, E., Büdenbender, J., Goguadze, G., Libbrecht, P. and Ullrich, C.: Knowledge representation and management in ActiveMath, Ann. Math. Artificial Intelligence 38(1-3) (2003), 47-64.
20. Principe, J. C., Euliano, N. R. and Lefebvre, W. C.: Innovating adaptive and neural systems instruction with interactive electronic books, Proc. IEEE 88(1) (2000), 81-95.
21. Robinson, J. A.: Automated deduction with hyper-resolution, Internat. J. Comput. Math. 1 (1965), 227-234.
22. Sakama, C.: Possible model semantics for disjunctive databases, in W. Kim, J.-M. Nicholas and S. Nishio (eds.), Proceedings First International Conference on Deductive and Object-Oriented Databases (DOOD-89), Elsevier Science Publishers B.V., North-Holland, Amsterdam, 1990, pp. 337-351.
23. Trial-Solution: Project supported by European commission, www.trial-solution.de, 2001.
24. Van Gelder, A., Ross, K. A. and Schlipf, J. S.: The well-founded semantics for general logic programs, J. ACM 38 (1991), 620-650.
25. Vassileva, J.: Dynamic courseware generation at the www, in Proc. of the 8th World Conference on AI and Education (AIED'97), Kobe, Japan, 1997.
26. Weidenbach, C., Afshordel, B., Brahm, U., Cohrs, C., Engel, T., Keen, E., Theobalt, C. and Topić, D.: System description: SPASS version 1.0.0, in H. Ganzinger (ed.), CADE-16 - The 16th International Conference on Automated Deduction (Trento, Italy, 1999), Lecture Notes in Artificial Intelligence 1632, Springer, 1999, pp. 378-382.
27. Wernhard, C.: System description: KRHyper, Fachberichte Informatik 14-2003, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.