Christian Bartelt
3 papers in the PaperMetrix corpus
Papers by this author
-
Knowledge-Driven Architecture Composition: Case-Based Formalization of Integration Knowledge to Enable Automated Component Coupling
2017
Using languages with formalized semantics for automating component integration is a well-established research area. As a consequence, independently developed software systems can interact without the need for manual integration effort in a "plug-and-play" manner. However, …
-
Fact Probability Vector Based Goal Recognition
2024 · arXiv (Cornell University)
We present a new approach to goal recognition that involves comparing observed facts with their expected probabilities. These probabilities depend on a specified goal g and initial state s0. Our method maps these probabilities and …
-
Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms
2025 · ArXiv.org
Traditionally, in Programming-by-example (PBE) the goal is to synthesize a program from a small set of input-output examples. Lately, PBE has gained traction as a few-shot reasoning benchmark, relaxing the requirement to produce a program …