default search action
Künstliche Intelligenz, Volume 38
Volume 38, Number 1, August 2024
- Kai-Florian Richter:
Eye of the Beholder. 1-2 - Alexander Steen, Christoph Benzmüller:
Non-Classical Reasoning for Contemporary AI Applications. 3-5 - Alexander Steen, Christoph Benzmüller:
Challenges for Non-Classical Reasoning in Contemporary AI Applications. 7-16 - Alexander Steen, Christoph Benzmüller:
What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre. 17-23 - Emery A. Neufeld:
Learning Normative Behaviour Through Automated Theorem Proving. 25-43 - James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson:
Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. 45-59 - Christoph Beierle, Jonas Haldimann, Leon Schwarzer:
CLKR: Conditional Logic and Knowledge Representation. 61-67 - Brandon Rozek, Selmer Bringsjord:
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning. 69-77 - Guido Governatori:
An ASP Implementation of Defeasible Deontic Logic. 79-88 - Kai Sauerwald:
Semantics of Belief Change Operators for Intelligent Agents. 89-93 - Daniel Kirchner:
Computer-Verified Foundations of Metaphysics. 95-98 - Melissa Antonelli:
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. 99-105 - Xavier Parent:
Report on "Axiomatizing Conditional Normative Reasoning". 107-111
Volume 38, Number 3, November 2024
- Jan Stühmer:
Machine Learning and AI in the Sciences. 113-114 - Tanya Braun, Ralf Möller:
AI in Healthcare and the Public Sector. 115-117 - Tanya Braun, Ralf Möller:
AI in Healthcare and the Public Sector: How to Face the Challenges of High-Risk Applications and What AI Research Can Get Out of It. 119-126 - Jana Seep:
Analyzing Semantically Enriched Trajectories. 127-131 - Md Abdul Kadir, Hasan Md Tusfiqur Alam, Devansh Srivastav, Hans-Jürgen Profitlich, Daniel Sonntag:
Partial Image Active Annotation (PIAA): An Efficient Active Learning Technique Using Edge Information in Limited Data Scenarios. 133-144 - Thomas Sievers, Nele Russwinkel:
Project Report: Requirements for a Social Robot as an Information Provider in the Public Sector. 145-149 - Roswitha Duwenbeck, Elsa Andrea Kirchner:
Auditive Emotion Recognition for Empathic AI-Assistants. 151-156 - Bettina Finzel:
Human-Centered Explanations: Lessons Learned from Image Classification for Medical and Clinical Decision Making. 157-167 - Bjørn Leth Møller, Bobby Zhao Sheng Lo, Johan Burisch, Flemming Bendtsen, Ida Vind, Bulat Ibragimov, Christian Igel:
Building an AI Support Tool for Real-Time Ulcerative Colitis Diagnosis. 169-176 - Janik Suer, Johannes Ponge, Bernd Hellingrath:
EpiPredict: Agent-Based Modeling of Infectious Diseases. 177-181 - Johannes Liebenow, Timothy Imort, Yannick Fuchs, Marcel Heisel, Nadja Käding, Jan Rupp, Esfandiar Mohammadi:
PrivAgE: A Toolchain for Privacy-Preserving Distributed Aggregation on Edge-Devices. 183-188 - Malte Luttermann, Edgar Baake, Juljan Bouchagiar, Benjamin Gebel, Philipp Grüning, Dilini Manikwadura, Franziska Schollemann, Elisa Teifke, Philipp Rostalski, Ralf Möller:
Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain. 189-201 - Tim Schulz, Malte Luttermann, Ralf Möller:
AutoRAG: Grounding Text and Symbols. 203-217 - Marcel Gehrke:
Dissertation Abstract: Taming Exact Inference in Temporal Probabilistic Relational Models. 219-224 - Marcel Gehrke, Johannes Liebenow, Esfandiar Mohammadi, Tanya Braun:
Lifting in Support of Privacy-Preserving Probabilistic Inference. 225-241 - Tanya Braun, Ralf Möller:
Lessons from Resource-Aware Machine Learning for Healthcare: An Interview with Katharina Morik. 243-248
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.