004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (13) (remove)
Document Type
- Conference Proceeding (13) (remove)
Keywords
- Constraint Solving (2)
- Deduction (2)
- Hochschuldidaktik (2)
- Informatik (2)
- Informatikdidaktik (2)
- Logic Programming (2)
- Logics (2)
- Optimization (2)
- Planing (2)
- education (2)
- Assessment (1)
- Ausbildung (1)
- Bildung (1)
- Computer Science Education (1)
- Didaktik (1)
- Didaktische Konzepte (1)
- Diversität (1)
- E-Learning (1)
- Game-based learning (1)
- HDI (1)
- Heterogenität (1)
- Hochschullehre (1)
- ICT (1)
- Informatics (1)
- Informatikstudium (1)
- Key Competencies (1)
- Lebenslanges Lernen (1)
- Mobiles Lernen (1)
- Onlinelehre (1)
- Schlüsselkompetenzen (1)
- didactics (1)
- digitale Hochschullehre (1)
- higher education (1)
- informatics (1)
Institute
- Institut für Informatik und Computational Science (13) (remove)
Preface
(2010)
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. In this decade, previous workshops took place in Dresden (2008), Würzburg (2007), Vienna (2006), Ulm (2005), Potsdam (2004), Dresden (2002), Kiel (2001), and Würzburg (2000). Contributions to workshops deal with all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including foundations of constraint/ logic programming. Some of the special topics are constraint solving and optimization, extensions of functional logic programming, deductive databases, data mining, nonmonotonic reasoning, , interaction of CP/LP with other formalisms like agents, XML, JAVA, program analysis, program transformation, program verification, meta programming, parallelism and concurrency, answer set programming, implementation and software techniques (e.g., types, modularity, design patterns), applications (e.g., in production, environment, education, internet), constraint/logic programming for semantic web systems and applications, reasoning on the semantic web, data modelling for the web, semistructured data, and web query languages.
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 – 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.
Thema des Workshops waren alle Fragen, die sich der Vermittlung von Informatikgegenständen im Hochschulbereich widmen. Dazu gehören u.a.: - fachdidaktische Konzepte der Vermittlung einzelner Informatikgegenstände - methodische Lösungen, wie spezielle Lehr- und Lernformen, Durchführungskonzepte - Studienkonzepte und Curricula, insbesondere im Zusammenhang mit Bachelor- und Masterstudiengängen - E-Learning-Ansätze, wenn sie ein erkennbares didaktisches Konzept verfolgen empirische Ergebnisse und Vergleichsstudien. Die Fachtagung widmete sich ausgewählten Fragestellungen dieses Themenkomplexes, die durch Vorträge ausgewiesener Experten, durch eingereichte Beiträge und durch eine Präsentation intensiv behandelt wurden.