researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
Prolog
architecture
constraints
data-flow
design
graph-rewriting
logic
meta-model
meta-objects
modeling
ontologies
ontology
parsing
programming
rewriting
rule-based
rules
search
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Bernhard Nebel
Christoph Beierle
Christoph Benzmüller
Daniel Sonntag
Frank Puppe
Franz Baader
Gabriele Kern-Isberner
Gerhard Lakemeyer
Grzegorz J. Nalepa
Helmut Horacek
Ipke Wachsmuth
Joachim Hertzberg
Marco Ragni
Michael Beetz
Michael Thielscher
Oliver Kramer
Ralf Möller
Stefan Edelkamp
Ulrich Furbach
Ute Schmid
Filter by Top terms
[+]
OR
AND
NOT
1
ai
artificial
conference
german
germany
intelligence
ki
knowledge
learning
logic
model
planning
proceedings
reasoning
september
system
systems
towards
und
using
KI (ki)
Editions
Publications
Viewing Publication 1 - 100 from 1751
2023
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023
Christoph Beierle
,
Kai Sauerwald
,
François Schwarzentruber
,
Frieder Stolzenburg
, editors,
Volume 3500 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2023.
[doi]
LESS is More: LEan Computing for Selective Summaries
Magnus Bender
,
Tanya Braun
,
Ralf Möller 0001
,
Marcel Gehrke
.
ki 2023
:
1-14
[doi]
Optimisation of Matrix Production System Reconfiguration with Reinforcement Learning
Leonhard Czarnetzki
,
Catherine Laflamme
,
Christoph Halbwidl
,
Lisa Charlotte Günther
,
Thomas Sobottka
,
Daniel Bachlechner
.
ki 2023
:
15-22
[doi]
2: CHemistry Aware Convex Hull Autoencoder Towards Inverse Molecular Design
Mohammad Sajjad Ghaemi
,
Hang Hu 0017
,
Anguang Hu
,
Hsu Kiang Ooi
.
ki 2023
:
23-30
[doi]
Ontology Pre-training for Poison Prediction
Martin Glauer
,
Fabian Neuhaus
,
Till Mossakowski
,
Janna Hastings
.
ki 2023
:
31-45
[doi]
A Novel Incremental Learning Strategy Based on Synthetic Data Generated from a Random Forest
Jordan Gonzalez
,
Fatoumata Dama
,
Laurent Cervoni
.
ki 2023
:
46-59
[doi]
RECol: Reconstruction Error Columns for Outlier Detection
Dayananda Herurkar
,
Mario Meier
,
Jörn Hees
.
ki 2023
:
60-74
[doi]
Interactive Link Prediction as a Downstream Task for Foundational GUI Understanding Models
Christoph Albert Johns
,
Michael Barz
,
Daniel Sonntag
.
ki 2023
:
75-89
[doi]
Harmonizing Feature Attributions Across Deep Learning Architectures: Enhancing Interpretability and Consistency
Md Abdul Kadir
,
Gowtham Krishna Addluri
,
Daniel Sonntag
.
ki 2023
:
90-97
[doi]
Lost in Dialogue: A Review and Categorisation of Current Dialogue System Approaches and Technical Solutions
Hannes Kath
,
Bengt Lüers
,
Thiago S. Gouvêa
,
Daniel Sonntag
.
ki 2023
:
98-113
[doi]
Cost-Sensitive Best Subset Selection for Logistic Regression: A Mixed-Integer Conic Optimization Perspective
Ricardo Knauer
,
Erik Rodner
.
ki 2023
:
114-129
[doi]
Joint Proceedings of Workshops, Tutorials and Doctoral Consortium co-located with the 45rd German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19-20, 2022
Dorothea Koert
,
Mirjam Minor
, editors,
Volume 3457 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2023.
[doi]
Detecting Floors in Residential Buildings
Aruscha Kramm
,
Julia Friske
,
Eric Peukert
.
ki 2023
:
130-143
[doi]
A Comparative Study of Video-Based Analysis Using Machine Learning for Polyp Classification
Adrian Krenzer
,
Frank Puppe
.
ki 2023
:
144-156
[doi]
Analogical Proportions and Betweenness
Mena Leemhuis
,
Özgür Lütfü Özçep
.
ki 2023
:
8-19
[doi]
Object Anchoring for Autonomous Robots Using the Spatio-Temporal-Semantic Environment Representation SEEREP
Mark Niemeyer
,
Marian Renz
,
Joachim Hertzberg
.
ki 2023
:
157-169
[doi]
An Ontological Modelling of Prototype Theories
Daniele Porello
,
Guendalina Righetti
,
Nicolas Troquard
,
Roberto Confalonieri 0001
,
Oliver Kutz
.
ki 2023
:
20-31
[doi]
Associative Reasoning for Commonsense Knowledge
Claudia Schon
.
ki 2023
:
170-183
[doi]
Computing Most Likely Scenarios of Qualitative Constraint Networks
Tobias Schwartz
,
Diedrich Wolter
.
ki 2023
:
184-197
[doi]
KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
Dietmar Seipel
,
Alexander Steen
, editors,
Volume 14236 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics
Kenneth Skiba
.
ki 2023
:
32-43
[doi]
Ranking-based Semantics for Assumption-based Argumentation
Kenneth Skiba
,
Matthias Thimm
,
Johannes Peter Wallner
.
ki 2023
:
44-52
[doi]
PapagAI: Automated Feedback for Reflective Essays
Veronika Solopova
,
Eiad Rostom
,
Fritz Cremer
,
Adrian Gruszczynski
,
Sascha Witte
,
Chengming Zhang
,
Fernando Ramos López
,
Lea Plößl
,
Florian Hofmann
,
Ralf Romeike
,
Michaela Gläser-Zikuda
,
Christoph Benzmüller
,
Tim Landgraf
.
ki 2023
:
198-206
[doi]
Generating Synthetic Dialogues from Prompts to Improve Task-Oriented Dialogue Systems
Sebastian Steindl
,
Ulrich Schäfer
,
Bernd Ludwig
.
ki 2023
:
207-214
[doi]
Flexible Automation of Quantified Multi-Modal Logics with Interactions
Melanie Taprogge
,
Alexander Steen
.
ki 2023
:
215-230
[doi]
Planning Landmark Based Goal Recognition Revisited: Does Using Initial State Landmarks Make Sense?
Nils Wilken
,
Lea Cohausz
,
Christian Bartelt
,
Heiner Stuckenschmidt
.
ki 2023
:
231-244
[doi]
2022
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration
Francesco Bartoli
,
Marco Botta
,
Roberto Esposito
,
Laura Giordano 0001
,
Valentina Gliozzi
,
Daniele Theseider Dupré
.
ki 2022
:
66-78
[doi]
Formalizing Cognitive Biases in Diagnostic Reasoning
Dominik Battefeld
,
Stefan Kopp
.
ki 2022
:
102-118
[doi]
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order
Ringo Baumann
,
Christopher Harmen Penndorf
.
ki 2022
:
53-65
[doi]
An Implementation of Nonmonotonic Reasoning with System W
Christoph Beierle
,
Jonas Haldimann
,
Daniel Kollár
,
Kai Sauerwald
,
Leon Schwarzer
.
ki 2022
:
1-8
[doi]
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022
Christoph Beierle
,
Marco Ragni
,
Frieder Stolzenburg
,
Kai Sauerwald
,
Matthias Thimm
, editors,
Volume 3242 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
KI 2022: Advances in Artificial Intelligence - 45th German Conference on AI, Trier, Germany, September 19-23, 2022, Proceedings
Ralph Bergmann
,
Lukas Malburg
,
Stephanie C. Rodermund
,
Ingo J. Timm
, editors,
Volume 13404 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning
Omair Shahzad Bhatti
,
Michael Barz
,
Daniel Sonntag
.
ki 2022
:
9-16
[doi]
The Randomness of Input Data Spaces is an A Priori Predictor for Generalization
Martin Briesch
,
Dominik Sobania
,
Franz Rothlauf
.
ki 2022
:
17-30
[doi]
Communicating Safety of Planned Paths via Optimally-Simple Explanations
Noel Brindise
,
Cedric Langbort
.
ki 2022
:
31-44
[doi]
Assessing the Performance Gain on Retail Article Categorization at the Expense of Explainability and Resource Efficiency
Eduardo Brito
,
Vishwani Gupta
,
Eric Hahn
,
Sven Giesselbach
.
ki 2022
:
45-52
[doi]
Enabling Supervised Machine Learning Through Data Pooling: A Case Study with Small and Medium-Sized Enterprises in the Service Industry
Leonhard Czarnetzki
,
Fabian Kainz
,
Fabian Lächler
,
Catherine Laflamme
,
Daniel Bachlechner
.
ki 2022
:
53-59
[doi]
Unsupervised Alignment of Distributional Word Embeddings
Aïssatou Diallo
,
Johannes Fürnkranz
.
ki 2022
:
60-74
[doi]
NeuralPDE: Modelling Dynamical Systems from Data
Andrzej Dulny
,
Andreas Hotho
,
Anna Krause
.
ki 2022
:
75-89
[doi]
Social Network Analysis and Co-Occurrence: Identifying the Gaps
Jens Dörpinghaus
.
ki 2022
:
20-28
[doi]
Imitation Learning of Logical Program Policies for Multi-Agent Reinforcement Learning
Manuel Eberhardinger
,
Johannes Maucher
,
Setareh Maghsudi
.
ki 2023
:
[doi]
Deep Neural Networks for Geometric Shape Deformation
Aida Farahani
,
Julien Vitay
,
Fred H. Hamker
.
ki 2022
:
90-95
[doi]
On Contextual Programs Under Three-Valued Łukasiewicz Logic
Islam Hamada
.
ki 2022
:
16-28
[doi]
IRT2: Inductive Linking and Ranking in Knowledge Graphs of Varying Scale
Felix Hamann
,
Adrian Ulges
,
Maurice Falk
.
ki 2023
:
[doi]
Model Transformation in Description Logics
Willi Hieke
.
ki 2023
:
[doi]
On the Awakening of the Buddhological Epigraphy and Philology from the AI
Haiyan Hu-von Hinüber
,
Sylvia Melzer
.
ki 2022
:
38-45
[doi]
Evolutionary Counterfactual Visual Explanation
Jacqueline Höllig
,
Steffen Thoma
,
Cedric Kulbach
.
ki 2023
:
[doi]
Dynamically Self-adjusting Gaussian Processes for Data Stream Modelling
Jan David Hüwel
,
Florian Haselbeck
,
Dominik G. Grimm
,
Christian Beecks
.
ki 2022
:
96-114
[doi]
Eℒ TBoxes
Francesco Kriegel
.
ki 2022
:
115-130
[doi]
Health and Habit: An Agent-based Approach
Veronika Kurchyna
,
Stephanie C. Rodermund
,
Jan Ole Berndt
,
Heike Spaderna
,
Ingo J. Timm
.
ki 2022
:
131-145
[doi]
Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations
Mena Leemhuis
,
Özgür L. Özçep
,
Diedrich Wolter
.
ki 2022
:
146-159
[doi]
A Goodman-style Betweenness Relation on Orthoframes
Mena Leemhuis
,
Özgür Lütfü Özçep
.
ki 2022
:
41-52
[doi]
Model Transformation in Description Logics
Mirko Lenz
,
Lorik Dumani
,
Premtim Sahitaj
.
ki 2023
:
[doi]
German to English: Fake News Detection with Machine Translation
Jin Liu
,
Steffen Thoma
.
ki 2023
:
[doi]
Solving the Traveling Salesperson Problem with Precedence Constraints by Deep Reinforcement Learning
Christian Löwens
,
Inaam Ashraf
,
Alexander Gembus
,
Genesis Cuizon
,
Jonas K. Falkner
,
Lars Schmidt-Thieme
.
ki 2022
:
160-172
[doi]
Utilizing Expert Knowledge to Support Medical Emergency Call Handling
Carsten Maletzki
,
Eric Rietzke
,
Ralph Bergmann
.
ki 2022
:
79-89
[doi]
Multi-Perspective Anomaly Detection on Bipartite Multi-Layer Social Interaction Networks
Asep Maulana
,
Martin Atzmueller
.
ki 2023
:
[doi]
A Multi-Agent Based Framework for Controlling Self Managing Fleets of Autonomous Vehicles with a Transparent Reasoning Process
Marcel Mauri
.
ki 2023
:
[doi]
Mining Interesting Outlier Subgraphs in Attributed Graphs
Ahmad Mel
,
Tijl De Bie
.
ki 2023
:
[doi]
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 44th German Conference on Artificial Intelligence, September 27 - October 1, 2021: Berlin, Germany (KI2021), Virtual Event, Berlin, Germany, September 28, 2021
Sylvia Melzer
,
Jost Gippert
,
Stefan Thiemann
,
Hagen Peukert
, editors,
Volume 3093 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 45th German Conference on Artificial Intelligence, September 19 - September 23, 2022: Trier, Germany (KI2021), Virtual Event, Trier, Germany, September 19, 2022
Sylvia Melzer
,
Stefan Thiemann
,
Hagen Peukert
, editors,
Volume 3301 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Understanding the Zhangzhung Nyengyu tsakali Collection using Computational Pattern Analysis
Hussein Adnan Mohammed
,
Agnieszka Helman-Wazny
.
ki 2022
:
12-19
[doi]
Explaining Hate Speech Classification with Model-Agnostic Methods
Durgesh Nandini
,
Ute Schmid
.
ki 2023
:
[doi]
HanKA: Enriched Knowledge Used by an Adaptive Cooking Assistant
Nils Neumann
,
Sven Wachsmuth
.
ki 2022
:
173-186
[doi]
Public Announcements for Intuitionistic Epistemic Logic IEL
Alexandra Pavlova
.
ki 2022
:
29-40
[doi]
AI Approaches Overcome Variability Problems in Diachronic Text Analysis: The Case of Identifying Bound Affixes in Middle English
Hagen Peukert
.
ki 2022
:
4-11
[doi]
User-aware Explications of Ontology Consequences: Levelling Technicality
Rafael Peñaloza
,
Anni-Yasmin Turhan
.
ki 2022
:
90-101
[doi]
Conference Paper Assignment Problem - A new System for Recommending and Assigning Reviewers to Scientific Articles
Ana Carolina Ribeiro
.
ki 2023
:
[doi]
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report)
Jandson S. Ribeiro
.
ki 2022
:
4-15
[doi]
Embodiment of an Agent by a Pepper Robot for Explaining Retrieval Results
Simon Schiff
,
Magnus Bender
,
Ralf Möller 0001
.
ki 2022
:
29-37
[doi]
Self-Explaining Variational Gaussian Processes for Transparency and Modelling of Prior Knowledge
Sarem Seitz
.
ki 2023
:
[doi]
Automated Kantian Ethics: A Faithful Implementation
Lavanya Singh
.
ki 2022
:
187-208
[doi]
PEBAM: A Profile-Based Evaluation Method for Bias Assessment on Mixed Datasets
Mieke Wilms
,
Giovanni Sileno
,
Hinda Haned
.
ki 2022
:
209-223
[doi]
Study on Criteria for Explainable AI for Laypeople
Thorsten Zylowski
.
ki 2023
:
[doi]
Cognitive Learning Agents for Autonomous Mobility on Demand Systems
Ömer Ibrahim Erduran
.
ki 2023
:
[doi]
2021
Counter Model Transformation for Explaining Non-Subsumption in EL
Christian Alrabbaa
,
Willi Hieke
,
Anni-Yasmin Turhan
.
ki 2021
:
9-22
[doi]
κ-Circulant Maximum Variance Bases
Christopher M. A. Bonenberger
,
Wolfgang Ertel
,
Markus Schneider 0005
.
ki 2021
:
17-29
[doi]
Knowledge Graph Based Question Answering System for Financial Securities
Marius Bulla
,
Lars Patrick Hillebrand
,
Max Lübbering
,
Rafet Sifa
.
ki 2021
:
44-50
[doi]
A Priori Approximation of Symmetries in Dynamic Probabilistic Relational Models
Nils Finke
,
Marisa Mohr
.
ki 2021
:
309-323
[doi]
Multi-Type-TD-TSR - Extracting Tables from Document Images Using a Multi-stage Pipeline for Table Detection and Table Structure Recognition: From OCR to Structured Table Representations
Pascal Fischer
,
Alen Smajic
,
Giuseppe Abrami
,
Alexander Mehler
.
ki 2021
:
95-108
[doi]
Semantic Segmentation of Aerial Images Using Binary Space Partitioning
Daniel Gritzner
,
Jörn Ostermann
.
ki 2021
:
116-134
[doi]
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders
Jonas Haldimann
,
Gabriele Kern-Isberner
.
ki 2021
:
34-47
[doi]
EVARS-GPR: EVent-Triggered Augmented Refitting of Gaussian Process Regression for Seasonal Data
Florian Haselbeck
,
Dominik G. Grimm
.
ki 2021
:
135-157
[doi]
Exploring Discourse Corpora Using Process Mining Techniques
Samantha Kent
,
Hans-Christian Schmitz
.
ki 2022
:
13-21
[doi]
Unsupervised Anomaly Detection for Financial Auditing with Model-Agnostic Explanations
Sebastian Kiefer
,
Günter Pesch
.
ki 2021
:
291-308
[doi]
Towards More Explicit Interaction Modelling in Agent-Based Simulation Using Affordance Schemata
Franziska Klügl
,
Sabine Timpf
.
ki 2021
:
324-337
[doi]
Selective Pseudo-Label Clustering
Louis Mahon
,
Thomas Lukasiewicz
.
ki 2021
:
158-178
[doi]
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract)
Abhaya Nayak
.
ki 2021
:
3
[doi]
Self-supervised Domain Adaptation for Diabetic Retinopathy Grading Using Vessel Image Reconstruction
Duy M. H. Nguyen
,
Truong T. N. Mai
,
Ngoc T. T. Than
,
Alexander Prange
,
Daniel Sonntag
.
ki 2021
:
349-361
[doi]
Crop It, but Not Too Much: The Effects of Masking on the Classification of Melanoma Images
Fabrizio Nunnari
,
Abraham Obinwanne Ezema
,
Daniel Sonntag
.
ki 2021
:
179-193
[doi]
Phonemic Text Transcription Enhances Automated Morpheme Detection: The Importance of Knowing Which Information is Used From the Input
Hagen Peukert
.
ki 2022
:
4-12
[doi]
A Demonstrator for Interactive Image Clustering and Fine-Tuning Neural Networks in Virtual Reality
Alexander Prange
,
Daniel Sonntag
.
ki 2021
:
194-203
[doi]
On Using Model Checking for the Certification of Iterated Belief Changes
Kai Sauerwald
,
Philip Heltweg
.
ki 2021
:
23-33
[doi]
Negation in Cognitive Reasoning
Claudia Schon
,
Sophie Siebert
,
Frieder Stolzenburg
.
ki 2021
:
217-232
[doi]
BehavE: Behaviour Understanding Through Automated Generation of Situation Models
Teodor Stoev
,
Kristina Y. Yordanova
.
ki 2021
:
362-369
[doi]
Learning to Detect Adversarial Examples Based on Class Scores
Tobias Uelwer
,
Felix Michels
,
Oliver De Candido
.
ki 2021
:
233-240
[doi]
An Agent Architecture for Knowledge Discovery and Evolution
Tezira Wanyana
,
Deshendran Moodley
.
ki 2021
:
241-256
[doi]
An Approach to Reduce the Number of Conditional Independence Tests in the PC Algorithm
Marcel Wienöbst
,
Maciej Liskiewicz
.
ki 2021
:
276-288
[doi]
Recent Advances in Counting and Sampling Markov Equivalent DAGs
Marcel Wienöbst
,
Max Bannach
,
Maciej Liskiewicz
.
ki 2021
:
271-275
[doi]
A Brief Introduction Into Activation-Based Conditional Inference
Marco Wilhelm
,
Diana Howey
,
Gabriele Kern-Isberner
,
Kai Sauerwald
,
Christoph Beierle
.
ki 2021
:
4-8
[doi]
Sign in
or
sign up
to see more results.