Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICLP 1994, Workshop W11: Logic Programming and Education
- Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino:
ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994. 1994
The workshop will focus onto two different aspects of the research concerned with the use of logic programming, in particular of Prolog, in education. From one hand we consider issues and problems related to the teaching (and learning) of Prolog: problems in understanding Prolog, misconceptions of novices, ways of representing the behaviour of Prolog, problems of supporting program construction and debugging, etc. On the other hand we consider the opportunities offered by Prolog as a tool for the implementation of classroom products, such as modelling tools, tutoring systems, problem solvers etc.
Invited Talk
- Paul Brna:
Logic Programming in Education: A Perspective on the State of Art. ICLP Workshop: Logic Programming and Education 1994
Teaching Logic Programming I
- C. N. Taylor, J. B. H. du Boulay, Mukesh J. Patel:
Textual Tree Trace Notation for Prolog: an Overview. ICLP Workshop: Logic Programming and Education 1994 - Teresa Del Soldato:
"I Want to Correct the Program" Teaching Prolog-debugging. ICLP Workshop: Logic Programming and Education 1994 - Brian Lees:
Prolog Support Tools for Learning AI Concepts. ICLP Workshop: Logic Programming and Education 1994 - Zahava Scherz, Bruria Haberman, Noa Ragonis:
Introduction to Logic Programming and AI: the Development of a Multilevel Curricula. ICLP Workshop: Logic Programming and Education 1994 - Judith Avrahami:
Prolog for Non Computer-Scientist. ICLP Workshop: Logic Programming and Education 1994
Prolog Support Tools for Education
- Richard Allen, Cyrille Desmoulins, Laurent Trilling:
On Cross-Fertilization between Logic Programming and Educational Systems. ICLP Workshop: Logic Programming and Education 1994 - Antonella Carbonaro, Giorgio Casadei, Vittorio Maniezzo, Paola Salomoni:
Pitagora 2.0: an Intelligent Tutoring System developed in Prolog. ICLP Workshop: Logic Programming and Education 1994 - Norman Neff:
Exploring Discrete Structures using a Complete Variant of Prolog. ICLP Workshop: Logic Programming and Education 1994 - Donatella Persico:
Teaching Logic with(out) Prolog. ICLP Workshop: Logic Programming and Education 1994
Teaching Logic Programming II
- Jeanne Idt, Michel Levy, Laurent Trilling:
Constraints that Assist in the Teaching of Logic Programming. ICLP Workshop: Logic Programming and Education 1994 - Giuseppe Callegarin:
Teaching Prolog Integrated in a Multiparadigm Language. ICLP Workshop: Logic Programming and Education 1994
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
