Frieder Stolzenburg

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 27

Top Venues

University of Koblenz-Landau, Germany (PHD)

Education History

University of Koblenz-Landau, Germany

PHD

Publications

Stefanie Krause, Frieder Stolzenburg
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI. CoRR (2024)
Stefanie Krause, Simon Adler, Johannes Bühl, René Schenkendorf, Kerstin Schneider, Frieder Stolzenburg, Fabian Transchel
Entwicklung interdisziplinärer Module in der Hochschulbildung. GI-Jahrestagung (2023)
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Joining Formal and Cognitive Reasoning. FLAP 10 (2) (2023)
Stefanie Krause, Frieder Stolzenburg
Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models. ECAI Workshops (1) (2023)
Stefanie Krause, Oliver Otto, Frieder Stolzenburg
Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. MIWAI (2021)
Stefanie Krause, Oliver Otto, Frieder Stolzenburg
Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. CoRR (2021)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Negation in Cognitive Reasoning. KI (2021)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Negation in Cognitive Reasoning. CoRR (2020)
Maria Heinze, Lars Hausfeld, Rainer Goebel, Frieder Stolzenburg
Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data. CoRR (2020)
Sophie Siebert, Claudia Schon, Frieder Stolzenburg
Commonsense Reasoning Using Theorem Proving and Machine Learning. CD-MAKE (2019)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
The CoRg Project: Cognitive Reasoning. Künstliche Intell. 33 (3) (2019)
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
Cognitive Reasoning: A Personal View. Künstliche Intell. 33 (3) (2019)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. ARCADE@CADE (2019)
Sophie Siebert, Frieder Stolzenburg
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. LuxLogAI (Student / Workshop Papers) (2018)
Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League. RoboCup (2018)
Frieder Stolzenburg, Olivia Michael, Oliver Obst
Predictive Neural Networks. CoRR (2018)
Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
RoboCupSimData: A RoboCup soccer research dataset. CoRR (2017)
Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
Analysing Soccer Games with Clustering and Conceptors. CoRR (2017)
Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
Analysing Soccer Games with Clustering and Conceptors. RoboCup (2017)
Frieder Stolzenburg, Raimund Lüderitz
Syllogistic Reasoning in Seven Spaces. DKB/KIK@KI (2017)
Claus-Peter Wirth, Frieder Stolzenburg
A series of revisions of David Poole's specificity. Ann. Math. Artif. Intell. 78 (3-4) (2016)
Frieder Stolzenburg, Florian Ruh
Neural Networks and Continuous Time. CoRR (2016)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning for Robot Ethics. CoRR (2015)
Marco Ragni, Frieder Stolzenburg
Special Issue on Higher-Level Cognition and Computation. Künstliche Intell. 29 (3) (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. 29 (3) (2015)
Marco Ragni, Frieder Stolzenburg
Higher-Level Cognition and Computation: A Survey. Künstliche Intell. 29 (3) (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. MIWAI (2014)
Claus-Peter Wirth, Frieder Stolzenburg
David Poole's Specificity Revised. KR (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Cognitive Systems and Question Answering. CoRR (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. CoRR (2014)
Claus-Peter Wirth, Frieder Stolzenburg
David Poole's Specifity Revised. CoRR (2013)
Falk Schmidsberger, Frieder Stolzenburg
Semantic Object Recognition with Segment Faces. KIK@KI (2013)
Frieder Stolzenburg
Harmony Perception by Periodicity Detection. CoRR (2013)
Falk Schmidsberger, Frieder Stolzenburg
Semantic Object Recognition using Clustering and Decision Trees. ICAART (1) (2011)
Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg
A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) (2010)
Frieder Stolzenburg
Localization, Exploration, and Navigation Based on Qualitative Angle Information. Spatial Cogn. Comput. 10 (1) (2010)
Frieder Stolzenburg
A Periodicity-based Theory for Harmony Perception and Scales. ISMIR (2009)
Florian Ruh, Frieder Stolzenburg
Translating Cooperative Strategies for Robot Behavior. KESE (2008)
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS (2007)
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup (2007)
Frieder Stolzenburg, Jan Murray, Karsten Sturm
Multiagent Matching Algorithms with and without Coach. J. Decis. Syst. 15 (2-3) (2006)
Jan Murray, Frieder Stolzenburg, Toshiaki Arai
Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. Künstliche Intell. 20 (3) (2006)
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner
Towards a League-Independent Qualitative Soccer Theory for RoboCup. RoboCup (2004)
Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar, Guillermo Ricardo Simari
Computing Generalized Specificity. J. Appl. Non Class. Logics 13 (1) (2003)
Frieder Stolzenburg, Jan Murray, Karsten Sturm
Multiagent Matching Algorithms with and without Coach. MATES (2003)
Frieder Stolzenburg, Toshiaki Arai
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. MATES (2003)
Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari
Relating defeasible and normal logic programming through transformation properties. Theor. Comput. Sci. 290 (1) (2003)
Toshiaki Arai, Frieder Stolzenburg
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. AAMAS (2002)
Frieder Stolzenburg, Oliver Obst, Jan Murray
Qualitative Velocity and Ball Interception. KI (2002)
Jan Murray, Oliver Obst, Frieder Stolzenburg
RoboLog Koblenz 2001. RoboCup (2001)
Jan Murray, Oliver Obst, Frieder Stolzenburg
RoboLog Koblenz 2000. RoboCup (2000)
Frieder Stolzenburg
Clause and Effect - Prolog Programming for the Working Programmer. Künstliche Intell. 14 (1) (2000)
Jan Murray, Oliver Obst, Frieder Stolzenburg
Towards a Logical Approach for Soccer Agents Engineering. RoboCup (2000)
Ulrich Furbach, Oliver Obst, Frieder Stolzenburg
Intelligente Agenten und KI. LOG IN 20 (3/4) (2000)
Frieder Stolzenburg
Loop-Detection in Hyper-Tableaux by Powerful Model Generation. J. Univers. Comput. Sci. 5 (3) (1999)
Frieder Stolzenburg, Oliver Obst, Jan Murray, Björn Bremer
Spatial Agents Implemented in a Logical Expressible Language. RoboCup (1999)
Oliver Obst, Frieder Stolzenburg
Der RoboCup während der IJCAI '99. Künstliche Intell. 13 (4) (1999)
Frieder Stolzenburg
An Algorithm for General Set Unification and Its Complexity. J. Autom. Reason. 22 (1) (1999)
Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani
Automating Defeasible Reasoning with Logic Programming. German-Argentinian Workshop on Information Technology (1999)
Jan Murray, Oliver Obst, Frieder Stolzenburg
RoboLog Koblenz. RoboCup (1999)
Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
Automated Deduction: a Technological Point of View. Künstliche Intell. 12 (4) (1998)
Frieder Stolzenburg
A Flexible System for Constraint Disjunctive Logic Programming. Künstliche Intell. 12 (2) (1998)
Jürgen Dix, Frieder Stolzenburg
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. J. Log. Program. 37 (1-3) (1998)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Computing Answers with Model Elimination. Artif. Intell. 90 (1-2) (1997)
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
Deduktion und Logisches Programmieren. Künstliche Intell. 10 (2) (1996)
Jürgen Dix, Frieder Stolzenburg
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. NMELP (1996)
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP (1996)
Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk
Constraint Logic Programming for Computational Linguistics. LACL (1996)
Frieder Stolzenburg
Membership-Constraints and Complexity in Logic Programming with Sets. FroCoS (1996)
Peter Baumgartner, Frieder Stolzenburg
Constraint Model Elimination and a PTTP-Implementation. TABLEAUX (1995)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Model Elimination, Logic Programming and Computing Answers. IJCAI (1995)
Frieder Stolzenburg
Logic Programming with Sets by Membership-Constraints. WLP (1994)
Frieder Stolzenburg
An Algorithm for General Set Unification and its Complexity. ICLP Workshop on Logic Programming with Sets (1993)
Frieder Stolzenburg, Alexander Bach, Christian Lieske, Hanno Ridder, Martin Volk
Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. Künstliche Intell. 6 (1) (1992)
Frieder Stolzenburg, Martin Volk
UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG. LDV Forum 9 (1) (1992)

Frieder Stolzenburg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frieder Stolzenburg