Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2022	Do Hexad User Types Matter? Effects of (Non-) Personalized Gamification on Task Performance and User Experience in an Image Tagging Task	Altmeyer, Maximilian; Zenuni, Berina; Spelt, Hanne, u.a.
2022	Inserting One Edge into a Simple Drawing is Hard	Arroyo, Alan; Klute, Fabian; Parada, Irene, u.a.
2022	A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations	Karimi, Amir-Hossein; Barthe, Gilles; Schölkopf, Bernhard, u.a.
2022	Die chronologische Grundstruktur des Gräberfeldes von Durankulak auf Basis der Gefäßkeramik	Anders, Silke
2022	Conformance Relations and Hyperproperties for Doping Detection in Time and Space	Biewer, Sebastian; Dimitrova, Rayna; Fries, Michael, u.a.
2022	Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study	Stock, Gregory; Fraire, Juan A.; Hermanns, Holger
2022	Admissibility in Probabilistic Argumentation	Käfer, Nikolai; Baier, Christel; Diller, Martin, u.a.
2022	MoGym: Using Formal Models for Training and Verifying Decision-making Agents	Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg, u.a.
2022	On the Detection of Doped Software by Falsification	Biewer, Sebastian; Hermanns, Holger
2022	On the Foundations of Cycles in Bayesian Networks	Baier, Christel; Dubslaff, Clemens; Hermanns, Holger, u.a.
2022	Quantification of Battery Depletion Risk Made Efficient	Hermanns, Holger; Nies, Gilles
2022	25 Jahre europäischer Beitrittsprozess von Osterweiterung über Stillstand zu notwendigen Reformen	Fröhlich, Mareike; Trautmann, Anja
2022	Expressivity of Planning with Horn Description Logic Ontologies	Borgwardt, Stefan; Hoffmann, Jörg; Kovtunova, Alisa, u.a.
2022	Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning	Fickert, Maximilian; Hoffmann, Jörg
2022	Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search	Fišer, Daniel; Torralba, Álvaro; Hoffmann, Jörg
2022	Classical Planning with Avoid Conditions	Steinmetz, Marcel; Hoffmann, Jörg; Kovtunova, Alisa, u.a.
2022	Merge and Shrink Abstractions for Temporal Planning	Brandao, Martim; Coles, Amanda; Coles, Andrew, u.a.
2022	Operator-Potential Heuristics for Symbolic Search	Fišer, Daniel; Torralba, Álvaro; Hoffmann, Jörg
2022	Debugging a Policy: Automatic Action-Policy Testing in AI Planning	Steinmetz, Marcel; Fišer, Daniel; Eniser, Hasan Ferit, u.a.
2022	Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study	Eifler, Rebecca; Brandao, Martim; Coles, Amanda, u.a.