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
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
Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. 45-59 - Christoph Beierle
CLKR: Conditional Logic and Knowledge Representation. 61-67 - Brandon Rozek
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
AI in Healthcare and the Public Sector. 115-117 - Tanya Braun
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
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
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
Lifting in Support of Privacy-Preserving Probabilistic Inference. 225-241 - Tanya Braun
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.
last updated on 2025-01-30 20:20 CET 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: