TY  - CHAP
A1  - Gebser, Martin
A1  - Hinrichs, Henrik
A1  - Schaub, Torsten H.
A1  - Thiele, Sven
T1  - xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
N2  - We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41466
ER  - 
TY  - CHAP
ED  - Geske, Ulrich
ED  - Wolf, Armin
T1  - Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009
N2  - 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.
KW  - Logic Programming
KW  - Constraint Solving
KW  - Logics
KW  - Deduction
KW  - Planing
KW  - Optimization
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-37977
SN  - 978-3-86956-026-7
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Geske, Ulrich
A1  - Wolf, Armin
T1  - Preface
N2  - 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.
KW  - Logic Programming
KW  - Constraint Solving
KW  - Logics
KW  - Deduction
KW  - Planing
KW  - Optimization
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41401
ER  - 
TY  - CHAP
A1  - Curzon, Paul
A1  - Kalas, Ivan
A1  - Schubert, Sigrid
A1  - Schaper, Niclas
A1  - Barnes, Jan
A1  - Kennewell, Steve
A1  - Bröker, Kathrin
A1  - Kastens, Uwe
A1  - Magenheim, Johannes
A1  - Dagiene, Valentina
A1  - Stupuriene, Gabriele
A1  - Ellis, Jason Brent
A1  - Abreu-Ellis, Carla Reis
A1  - Grillenberger, Andreas
A1  - Romeike, Ralf
A1  - Haugsbakken, Halvdan
A1  - Jones, Anthony
A1  - Lewin, Cathy
A1  - McNicol, Sarah
A1  - Nelles, Wolfgang
A1  - Neugebauer, Jonas
A1  - Ohrndorf, Laura
A1  - Schaper, Niclas
A1  - Schubert, Sigrid
A1  - Opel, Simone
A1  - Kramer, Matthias
A1  - Trommen, Michael
A1  - Pottbäcker, Florian
A1  - Ilaghef, Youssef
A1  - Passig, David
A1  - Tzuriel, David
A1  - Kedmi, Ganit Eshel
A1  - Saito, Toshinori
A1  - Webb, Mary
A1  - Weigend, Michael
A1  - Bottino, Rosa
A1  - Chioccariello, Augusto
A1  - Christensen, Rhonda
A1  - Knezek, Gerald
A1  - Gioko, Anthony Maina
A1  - Angondi, Enos Kiforo
A1  - Waga, Rosemary
A1  - Ohrndorf, Laura
A1  - Or-Bach, Rachel
A1  - Preston, Christina
A1  - Younie, Sarah
A1  - Przybylla, Mareen
A1  - Romeike, Ralf
A1  - Reynolds, Nicholas
A1  - Swainston, Andrew
A1  - Bendrups, Faye
A1  - Sysło, Maciej M.
A1  - Kwiatkowska, Anna Beata
A1  - Zieris, Holger
A1  - Gerstberger, Herbert
A1  - Müller, Wolfgang
A1  - Büchner, Steffen
A1  - Opel, Simone
A1  - Schiller, Thomas
A1  - Wegner, Christian
A1  - Zender, Raphael
A1  - Lucke, Ulrike
A1  - Diethelm, Ira
A1  - Syrbe, Jörn
A1  - Lai, Kwok-Wing
A1  - Davis, Niki
A1  - Eickelmann, Birgit
A1  - Erstad, Ola
A1  - Fisser, Petra
A1  - Gibson, David
A1  - Khaddage, Ferial
A1  - Knezek, Gerald
A1  - Micheuz, Peter
A1  - Kloos, Carlos Delgado
ED  - Brinda, Torsten
ED  - Reynolds, Nicholas
ED  - Romeike, Ralf
ED  - Schwill, Andreas
T1  - KEYCIT 2014
BT  - key competencies in informatics and ICT
N2  - In our rapidly changing world it is increasingly important not only to be an expert in a chosen field of study but also to be able to respond to developments, master new approaches to solving problems, and fulfil changing requirements in the modern world and in the job market. In response to these needs key competencies in understanding, developing and using new digital technologies are being brought into focus in school and university programmes. The IFIP TC3 conference "KEYCIT – Key Competences in Informatics and ICT (KEYCIT 2014)" was held at the University of Potsdam in Germany from July 1st to 4th, 2014 and addressed the combination of key competencies, Informatics and ICT in detail. The conference was organized into strands focusing on secondary education, university education and teacher education (organized by IFIP WGs 3.1 and 3.3) and provided a forum to present and to discuss research, case studies, positions, and national perspectives in this field.
T3  - Commentarii informaticae didacticae (CID) - 7 
KW  - Schlüsselkompetenzen
KW  - Informatik
KW  - Bildung
KW  - ICT
KW  - Informatikdidaktik
KW  - Key Competencies
KW  - Informatics
KW  - education
KW  - ICT
KW  - Computer Science Education
Y1  - 2015
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-70325
SN  - 978-3-86956-292-6
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Desel, Jörg
A1  - Opel, Simone
A1  - Siegeris, Juliane
A1  - Draude, Claude
A1  - Weber, Gerhard
A1  - Schell, Timon
A1  - Schwill, Andreas
A1  - Thorbrügge, Carsten
A1  - Schäfer, Len Ole
A1  - Netzer, Cajus Marian
A1  - Gerstenberger, Dietrich
A1  - Winkelnkemper, Felix
A1  - Schulte, Carsten
A1  - Böttcher, Axel
A1  - Thurner, Veronika
A1  - Häfner, Tanja
A1  - Ottinger, Sarah
A1  - Große-Bölting, Gregor
A1  - Scheppach, Lukas
A1  - Mühling, Andreas
A1  - Baberowski, David
A1  - Leonhardt, Thiemo
A1  - Rentsch, Susanne
A1  - Bergner, Nadine
A1  - Bonorden, Leif
A1  - Stemme, Jonas
A1  - Hoppe, Uwe
A1  - Weicker, Karsten
A1  - Bender, Esther
A1  - Barbas, Helena
A1  - Hamann, Fabian
A1  - Soll, Marcus
A1  - Sitzmann, Daniel
ED  - Desel, Jörg
ED  - Opel, Simone
ED  - Siegeris, Juliane
T1  - Hochschuldidaktik Informatik HDI 2021
BT  - 9. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik 15.–16. September 2021 in Dortmund
T2  - Commentarii informaticae didacticae
N2  - Die Fachtagungen HDI (Hochschuldidaktik Informatik) beschäftigen sich mit den unterschiedlichen Aspekten informatischer Bildung im Hochschulbereich. Neben den allgemeinen Themen wie verschiedenen Lehr- und Lernformen, dem Einsatz von Informatiksystemen in der Hochschullehre oder Fragen der Gewinnung von geeigneten Studierenden, deren Kompetenzerwerb oder auch der Betreuung der Studierenden widmet sich die HDI immer auch einem Schwerpunktthema. 
Im Jahr 2021 war dies die Berücksichtigung von Diversität in der Lehre. Diskutiert wurden beispielsweise die Einbeziehung von besonderen fachlichen und überfachlichen Kompetenzen Studierender, der Unterstützung von Durchlässigkeit aus nichtakademischen Berufen, aber auch die Gestaltung inklusiver Lehr- und Lernszenarios, Aspekte des Lebenslangen Lernens oder sich an die Diversität von Studierenden adaptierte oder adaptierende Lehrsysteme.
Dieser Band enthält ausgewählte Beiträge der 9. Fachtagung 2021, die in besonderer Weise die Konferenz und die dort diskutierten Themen repräsentieren.
T3  - Commentarii informaticae didacticae (CID) - 13 
KW  - Hochschuldidaktik
KW  - Informatikdidaktik
KW  - HDI
KW  - Hochschullehre
KW  - digitale Hochschullehre
KW  - Diversität
KW  - Heterogenität
KW  - Lebenslanges Lernen
KW  - Informatikstudium
KW  - Didaktische Konzepte
KW  - Assessment
Y1  - 2023
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-565070
SN  - 978-3-86956-548-4
SN  - 1868-0844
SN  - 2191-1940
IS  - 13
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Seegerer, Stefan
A1  - Romeike, Ralf
A1  - Tillmann, Alexander
A1  - Krömker, Detlef
A1  - Horn, Florian
A1  - Gattinger, Thorsten
A1  - Weicker, Karsten
A1  - Schmitz, Dennis
A1  - Moldt, Daniel
A1  - Röpke, René
A1  - Larisch, Kathrin
A1  - Schroeder, Ulrik
A1  - Keverpütz, Claudia
A1  - Küppers, Bastian
A1  - Striewe, Michael
A1  - Kramer, Matthias
A1  - Grillenberger, Andreas
A1  - Frede, Christiane
A1  - Knobelsdorf, Maria
A1  - Greven, Christoph
ED  - Bergner, Nadine
ED  - Röpke, René
ED  - Schroeder, Ulrik
ED  - Krömker, Detlef
T1  - Hochschuldidaktik der Informatik HDI 2018
BT  - 8. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik ; 12.-13. September 2018 an der Goethe-Universität Frankfurt am Main
T2  - Commentarii informaticae didacticae (CID)
N2  - Die 8. Fachtagung für Hochschuldidaktik der Informatik (HDI) fand im September 2018 zusammen mit der Deutschen E-Learning Fachtagung Informatik (DeLFI) unter dem gemeinsamen Motto „Digitalisierungswahnsinn? - Wege der Bildungstransformationen“ in Frankfurt statt.
 
Dabei widmet sich die HDI allen Fragen der informatischen Bildung im Hochschulbereich. Schwerpunkte bildeten in diesem Jahr u. a.:
- Analyse der Inhalte und anzustrebenden Kompetenzen in Informatikveranstaltungen
- Programmieren lernen & Einstieg in Softwareentwicklung
- Spezialthemen: Data Science, Theoretische Informatik und Wissenschaftliches Arbeiten
 
Die Fachtagung widmet sich ausgewählten Fragestellungen dieser Themenkomplexe, die durch Vorträge ausgewiesener Experten und durch eingereichte Beiträge intensiv behandelt werden.
T3  - Commentarii informaticae didacticae (CID) - 12 
Y1  - 2018
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413542
SN  - 978-3-86956-435-7
SN  - 1868-0844
SN  - 2191-1940
IS  - 12
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Keil, Reinhard
A1  - Koubek, Jochen
A1  - Martens, Alke
A1  - Schulte, Carsten
A1  - Bieniusa, Annette
A1  - Degen, Markus
A1  - Heidegger, Phillip
A1  - Thiemann, Peter
A1  - Gasbichler, Martin
A1  - Crestani, Marcus
A1  - Klaeren, Herbert
A1  - Knauel, Eric
A1  - Sperber, Michael
A1  - Eirund, Helmut
A1  - Sethmann, Richard
A1  - Weicker, Nicole
A1  - Weicker, Karsten
A1  - Reinhardt, Wolfgang
A1  - Magenheim, Johannes
A1  - Bender, Katrin
A1  - Steinert, Markus
A1  - Schwidrowski, Kirstin
A1  - Schmidt, Thilo
A1  - Brück, Rainer
A1  - Freischlad, Stefan
A1  - Schubert, Sigrid
A1  - Stechert, Peer
A1  - Kujath, Bertold
ED  - Schwill, Andreas
T1  - Hochschuldidaktik der Informatik : HDI2008 – 3. Workshop des GI-Fachbereichs Ausbildung und Beruf/Didaktik der Informatik ; 04. - 05. Dezember 2008 an der Universität Potsdam
N2  - 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.
T3  - Commentarii informaticae didacticae (CID) - 1 
KW  - Informatik
KW  - Ausbildung
KW  - Didaktik
KW  - Hochschuldidaktik
KW  - informatics
KW  - education
KW  - didactics
KW  - higher education
Y1  - 2009
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-28080
SN  - 978-3-940793-75-1
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Dennert-Möller, Elisabeth
A1  - Garmann, Robert
A1  - Kujath, Bertold
A1  - Zscheyge, Oliver
A1  - Weicker, Karsten
A1  - Böhne, Sebastian
A1  - Knobelsdorf, Maria
A1  - Kreitz, Christoph
A1  - Steen, Alexander
A1  - Wisniewski, Max
A1  - Benzmüller, Christoph
A1  - Gebhardt, Kai
A1  - Ehlenz, Matthias
A1  - Bergner, Nadine
A1  - Schroeder, Ulrik
ED  - Schwill, Andreas
ED  - Lucke, Ulrike
T1  - Hochschuldidaktik der Informatik
BT  - HDI2016 – 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik ; 13.-14. September 2016 an der Universität Potsdam
N2  - Die 7. Fachtagung für Hochschuldidaktik, die 2016 erneut mit der DeLFI E-Learning Fachtagung Informatik stattfand, setzte das erfolgreiche Modell einer Tagung fort, die sich mit hochschuldidaktischen Fragen und der Gestaltung von Studiengängen der Informatik beschäftigt.
Thema der Tagung waren alle Fragen, die sich der Vermittlung von Informatikgegenständen im Hochschulbereich widmen. Dazu gehörten u.a.:
• fachdidaktische Konzepte der Vermittlung einzelner Informatikgegenstände
• methodische Lösungen, wie spezielle Lehr- und Lernformen, Durchführungskonzepte
• empirische Ergebnisse und Vergleichsstudien
• E-Learning-Ansätze, wenn sie ein erkennbares didaktisches Konzept verfolgen
• Studienkonzepte und Curricula, organisatorische Fragen, wie Gewinnung von Studierenden, Studieneingangsphase, Abbrecher.
Die Fachtagung widmete sich ausgewählten Fragestellungen dieses Themenkomplexes, die durch Vorträge ausgewiesener Experten, durch eingereichte Beiträge und durch Präsentationen und Poster intensiv behandelt wurden.
Unser besonderer Dank gilt dem Programmkomitee und den hier nicht genannten Helfern für ihren Einsatz bei der Vorbereitung und Durchführung der Tagung.
T3  - Commentarii informaticae didacticae (CID) - 10 
Y1  - 2016
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-93511
SN  - 978-3-86956-376-3
SN  - 1868-0844
SN  - 2191-1940
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Rolf, Arno
A1  - Berges, Marc
A1  - Hubwieser, Peter
A1  - Kehrer, Timo
A1  - Kelter, Udo
A1  - Romeike, Ralf
A1  - Frenkel, Marcus
A1  - Karsten, Weicker
A1  - Reinhardt, Wolfgang
A1  - Mascher, Michael
A1  - Gül, Senol
A1  - Magenheim, Johannes
A1  - Raimer, Stephan
A1  - Diethelm, Ira
A1  - Dünnebier, Malte
A1  - Gabor, Kiss
A1  - Susanne, Boll
A1  - Rolf, Meinhardt
A1  - Gronewold, Sabine
A1  - Krekeler, Larissa
A1  - Jahnke, Isa
A1  - Haertel, Tobias
A1  - Mattick, Volker
A1  - Lettow, Karsten
A1  - Hafer, Jörg
A1  - Ludwig, Joachim
A1  - Schumann, Marlen
A1  - Laroque, Christoph
A1  - Schulte, Jonas
A1  - Urban, Diana
ED  - Engbring, Dieter
ED  - Keil, Reinhard
ED  - Magenheim, Johannes
ED  - Selke, Harald
T1  - HDI2010 – Tagungsband der 4. Fachtagung zur "Hochschuldidaktik Informatik"
N2  - Mit der 4. Tagung zur Hochschuldidaktik Informatik wird eine Reihe fortgesetzt, die ihren Anfang 1998 in Stuttgart unter der Überschrift „Informatik und Ausbildung“ genommen hat. Seither dienen diese Tagungen den Lehrenden im Bereich der Hochschulinformatik als Forum der Information und des Diskurses über aktuelle didaktische und bildungspolitische Entwicklungen im Bereich der Informatikausbildung. Aktuell zählen dazu insbesondere Fragen der Bildungsrelevanz informatischer Inhalte und der Herausforderung durch eine stärkere Kompetenzorientierung in der Informatik. Die eingereichten Beiträge zur HDI 2010 in Paderborn veranschaulichen unterschiedliche Bemühungen, sich mit relevanten Problemen der Informatikdidaktik an Hochschulen in Deutschland (und z. T. auch im Ausland) auseinanderzusetzen. Aus der Breite des Spektrums der Einreichungen ergaben sich zugleich Probleme bei der Begutachtung. Letztlich konnten von den zahlreichen Einreichungen nur drei die Gutachter so überzeugen, dass sie uneingeschränkt in ihrer Langfassung akzeptiert wurden. Neun weitere Einreichungen waren trotz Kritik überwiegend positiv begutachtet worden, so dass wir diese als Kurzfassung bzw. Diskussionspapier in die Tagung aufgenommen haben.
T3  - Commentarii informaticae didacticae (CID) - 4 
Y1  - 2010
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-49167
SN  - 978-3-86956-100-4
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - CHAP
A1  - Froitzheim, Manuel
A1  - Bergner, Nadine
A1  - Schroeder, Ulrik
A1  - Hurtienne, Dominik
A1  - Spannagel, Christian
A1  - Roderus, Simon
A1  - Wienkop, Uwe
A1  - Leonhardt, Thiemo
A1  - Kwiecien, Alexandra
A1  - Schmetz, Arno
A1  - Bellgardt, Martin
A1  - Naumann, Uwe
A1  - Weßels, Doris
A1  - Metzger, Christiane
A1  - Längrich, Matthias
A1  - Schulze, Jörg
A1  - Jakoblew, Marcel
A1  - Keil, Reinhard
A1  - Winkelnkemper, Felix
A1  - Engbring, Dieter
A1  - Klar, Tilman-Mathies
A1  - Kujath, Bertold
A1  - Schütze, Christopher
A1  - Fietkau, Julian
A1  - Kindsmüller, Martin Christof
A1  - Göttel, Timo
A1  - Bergner, Nadine
A1  - Taraschewski, Christian
A1  - Vosseberg, Karin
A1  - Czernik, Sofie
A1  - Erb, Ulrike
A1  - Vielhaber, Michael
A1  - Schlierkamp, Kathrin
A1  - Thurner, Veronika
A1  - Bröker, Kathrin
ED  - Forbrig, Peter
ED  - Magenheim, Johannes
T1  - HDI 2014 – Gestalten von Übergängen
BT  - 6. Fachtagung Hochschuldidaktik der Informatik ; 15.-16. September 2014, Universität Freiburg
N2  - Die Tagung HDI 2014 in Freiburg zur Hochschuldidaktik der Informatik HDI wurde erneut vom Fachbereich Informatik und Ausbildung / Didaktik der Informatik (IAD) in der Gesellschaft für Informatik e. V. (GI) organisiert. Sie dient den Lehrenden der Informatik in Studiengängen an Hochschulen als Forum der Information und des Austauschs über neue didaktische Ansätze und bildungspolitische Themen im Bereich der Hochschulausbildung aus der fachlichen Perspektive der Informatik.
Die HDI 2014 ist nun bereits die sechste Ausgabe der HDI. Für sie wurde das spezielle Motto „Gestalten und Meistern von Übergängen“ gewählt. Damit soll ein besonderes Augenmerk auf die Übergänge von Schule zum Studium, vom Bachelor zum  Master, vom Studium zur Promotion oder vom Studium zur Arbeitswelt gelegt werden.
T3  - Commentarii informaticae didacticae (CID) - 9 
Y1  - 2015
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-74920
SN  - 978-3-86956-313-8
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  -