default search action
Frieder Stolzenburg
Person information
- affiliation: Hochschule Harz, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j25]Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm:
Formal and cognitive reasoning. Int. J. Approx. Reason. 174: 109270 (2024) - [i14]Stefanie Krause, Frieder Stolzenburg:
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI. CoRR abs/2407.03778 (2024) - 2023
- [j24]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Joining Formal and Cognitive Reasoning. FLAP 10(2): 115-119 (2023) - [c38]Stefanie Krause, Frieder Stolzenburg:
Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models. ECAI Workshops (1) 2023: 302-319 - [c37]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: 461-464 - [e10]Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg:
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. CEUR Workshop Proceedings 3500, CEUR-WS.org 2023 [contents] - 2022
- [e9]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm:
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. CEUR Workshop Proceedings 3242, CEUR-WS.org 2022 [contents] - 2021
- [c36]Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
Negation in Cognitive Reasoning. KI 2021: 217-232 - [c35]Stefanie Krause, Oliver Otto, Frieder Stolzenburg:
Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. MIWAI 2021: 45-57 - [e8]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. CEUR Workshop Proceedings 2961, CEUR-WS.org 2021 [contents] - [i13]Stefanie Krause, Oliver Otto, Frieder Stolzenburg:
Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. CoRR abs/2102.05588 (2021) - 2020
- [e7]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. CEUR Workshop Proceedings 2680, CEUR-WS.org 2020 [contents] - [i12]Maria Heinze, Lars Hausfeld, Rainer Goebel, Frieder Stolzenburg:
Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data. CoRR abs/2002.04990 (2020) - [i11]Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
Negation in Cognitive Reasoning. CoRR abs/2012.12641 (2020)
2010 – 2019
- 2019
- [j23]Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg:
Cognitive Reasoning: A Personal View. Künstliche Intell. 33(3): 209-217 (2019) - [j22]Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
The CoRg Project: Cognitive Reasoning. Künstliche Intell. 33(3): 293-299 (2019) - [c34]Sophie Siebert, Claudia Schon, Frieder Stolzenburg:
Commonsense Reasoning Using Theorem Proving and Machine Learning. CD-MAKE 2019: 395-413 - [c33]Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. ARCADE@CADE 2019: 19-24 - [e6]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019. CEUR Workshop Proceedings 2445, CEUR-WS.org 2019 [contents] - 2018
- [c32]Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg:
RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League. RoboCup 2018: 230-237 - [c31]Sophie Siebert, Frieder Stolzenburg:
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. LuxLogAI (Student / Workshop Papers) 2018: 20-26 - [e5]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018. CEUR Workshop Proceedings 2194, CEUR-WS.org 2018 [contents] - [i10]Frieder Stolzenburg, Olivia Michael, Oliver Obst:
Predictive Neural Networks. CoRR abs/1802.03308 (2018) - 2017
- [c30]Frieder Stolzenburg, Raimund Lüderitz:
Syllogistic Reasoning in Seven Spaces. DKB/KIK@KI 2017: 77-88 - [c29]Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg:
Analysing Soccer Games with Clustering and Conceptors. RoboCup 2017: 120-131 - [e4]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. CEUR Workshop Proceedings 1928, CEUR-WS.org 2017 [contents] - [i9]Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg:
Analysing Soccer Games with Clustering and Conceptors. CoRR abs/1708.05821 (2017) - [i8]Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg:
RoboCupSimData: A RoboCup soccer research dataset. CoRR abs/1711.01703 (2017) - 2016
- [j21]Claus-Peter Wirth, Frieder Stolzenburg:
A series of revisions of David Poole's specificity. Ann. Math. Artif. Intell. 78(3-4): 205-258 (2016) - [e3]Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya C. Nayak:
Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings. Lecture Notes in Computer Science 10053, Springer 2016, ISBN 978-3-319-49396-1 [contents] - [i7]Frieder Stolzenburg, Florian Ruh:
Neural Networks and Continuous Time. CoRR abs/1606.04466 (2016) - 2015
- [j20]Marco Ragni, Frieder Stolzenburg:
Special Issue on Higher-Level Cognition and Computation. Künstliche Intell. 29(3): 243-245 (2015) - [j19]Marco Ragni, Frieder Stolzenburg:
Higher-Level Cognition and Computation: A Survey. Künstliche Intell. 29(3): 247-253 (2015) - [j18]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): 271-277 (2015) - [e2]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. CEUR Workshop Proceedings 1444, CEUR-WS.org 2015 [contents] - [i6]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning for Robot Ethics. CoRR abs/1502.05838 (2015) - [i5]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR abs/1503.06087 (2015) - 2014
- [c28]Claus-Peter Wirth, Frieder Stolzenburg:
David Poole's Specificity Revised. KR 2014 - [c27]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. MIWAI 2014: 57-68 - [i4]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. CoRR abs/1411.4823 (2014) - [i3]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Cognitive Systems and Question Answering. CoRR abs/1411.4825 (2014) - 2013
- [c26]Falk Schmidsberger, Frieder Stolzenburg:
Semantic Object Recognition with Segment Faces. KIK@KI 2013: 21-28 - [e1]Marco Ragni, Michael Raschke, Frieder Stolzenburg:
Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition KIK - KI & Kognition Workshop Series co-located with 36th German Conference on Artificial Intelligence (KI 2013), Koblenz, Germany, September 17, 2013. CEUR Workshop Proceedings 1055, CEUR-WS.org 2013 [contents] - [i2]Frieder Stolzenburg:
Harmony Perception by Periodicity Detection. CoRR abs/1306.6458 (2013) - [i1]Claus-Peter Wirth, Frieder Stolzenburg:
David Poole's Specifity Revised. CoRR abs/1308.4943 (2013) - 2011
- [c25]Falk Schmidsberger, Frieder Stolzenburg:
Semantic Object Recognition using Clustering and Decision Trees. ICAART (1) 2011: 670-673 - 2010
- [j17]Frieder Stolzenburg:
Localization, Exploration, and Navigation Based on Qualitative Angle Information. Spatial Cogn. Comput. 10(1): 28-52 (2010) - [c24]Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg:
A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) 2010: 323-326
2000 – 2009
- 2009
- [c23]Frieder Stolzenburg:
A Periodicity-based Theory for Harmony Perception and Scales. ISMIR 2009: 87-92 - 2008
- [c22]Florian Ruh, Frieder Stolzenburg:
Translating Cooperative Strategies for Robot Behavior. KESE 2008 - 2007
- [c21]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg:
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220 - [c20]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg:
Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269 - 2006
- [j16]Frieder Stolzenburg, Jan Murray, Karsten Sturm:
Multiagent Matching Algorithms with and without Coach. J. Decis. Syst. 15(2-3): 215-240 (2006) - [j15]Jan Murray, Frieder Stolzenburg, Toshiaki Arai:
Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. Künstliche Intell. 20(3): 45-50 (2006) - 2004
- [c19]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: 611-618 - 2003
- [j14]Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar, Guillermo Ricardo Simari:
Computing Generalized Specificity. J. Appl. Non Class. Logics 13(1): 87-113 (2003) - [j13]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): 499-529 (2003) - [c18]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: 131-143 - [c17]Frieder Stolzenburg, Jan Murray, Karsten Sturm:
Multiagent Matching Algorithms with and without Coach. MATES 2003: 192-204 - 2002
- [c16]Toshiaki Arai, Frieder Stolzenburg:
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. AAMAS 2002: 11-18 - [c15]Frieder Stolzenburg, Oliver Obst, Jan Murray:
Qualitative Velocity and Ball Interception. KI 2002: 283-298 - 2001
- [c14]Jan Murray, Oliver Obst, Frieder Stolzenburg:
RoboLog Koblenz 2001. RoboCup 2001: 526-530 - 2000
- [j12]Frieder Stolzenburg:
Clause and Effect - Prolog Programming for the Working Programmer. Künstliche Intell. 14(1): 65- (2000) - [j11]Ulrich Furbach, Oliver Obst, Frieder Stolzenburg:
Intelligente Agenten und KI. LOG IN 20(3/4): 17- (2000) - [c13]Jan Murray, Oliver Obst, Frieder Stolzenburg:
Towards a Logical Approach for Soccer Agents Engineering. RoboCup 2000: 199-208 - [c12]Jan Murray, Oliver Obst, Frieder Stolzenburg:
RoboLog Koblenz 2000. RoboCup 2000: 469-472
1990 – 1999
- 1999
- [j10]Frieder Stolzenburg:
An Algorithm for General Set Unification and Its Complexity. J. Autom. Reason. 22(1): 45-63 (1999) - [j9]Frieder Stolzenburg:
Loop-Detection in Hyper-Tableaux by Powerful Model Generation. J. Univers. Comput. Sci. 5(3): 135-155 (1999) - [j8]Oliver Obst, Frieder Stolzenburg:
Der RoboCup während der IJCAI '99. Künstliche Intell. 13(4): 66-67 (1999) - [c11]Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani:
Automating Defeasible Reasoning with Logic Programming. German-Argentinian Workshop on Information Technology 1999: 39-46 - [c10]Frieder Stolzenburg, Oliver Obst, Jan Murray, Björn Bremer:
Spatial Agents Implemented in a Logical Expressible Language. RoboCup 1999: 481-494 - [c9]Jan Murray, Oliver Obst, Frieder Stolzenburg:
RoboLog Koblenz. RoboCup 1999: 628-631 - 1998
- [b1]Frieder Stolzenburg:
Disjunctive logic programming with constraints and its applications. University of Koblenz-Landau, Germany, Fölbach 1998, ISBN 978-3-923532-56-8, pp. 1-237 - [j7]Jürgen Dix, Frieder Stolzenburg:
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. J. Log. Program. 37(1-3): 47-76 (1998) - [j6]Frieder Stolzenburg:
A Flexible System for Constraint Disjunctive Logic Programming. Künstliche Intell. 12(2): 73-78 (1998) - [j5]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): 7-14 (1998) - 1997
- [j4]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997) - 1996
- [j3]Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg:
Deduktion und Logisches Programmieren. Künstliche Intell. 10(2): 34-39 (1996) - [c8]Frieder Stolzenburg:
Membership-Constraints and Complexity in Logic Programming with Sets. FroCoS 1996: 285-302 - [c7]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: 546 - [c6]Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk:
Constraint Logic Programming for Computational Linguistics. LACL 1996: 406-425 - [c5]Jürgen Dix, Frieder Stolzenburg:
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. NMELP 1996: 202-224 - 1995
- [c4]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341 - [c3]Peter Baumgartner, Frieder Stolzenburg:
Constraint Model Elimination and a PTTP-Implementation. TABLEAUX 1995: 201-216 - 1994
- [c2]Frieder Stolzenburg:
Logic Programming with Sets by Membership-Constraints. WLP 1994: 48-51 - 1993
- [c1]Frieder Stolzenburg:
An Algorithm for General Set Unification and its Complexity. ICLP Workshop on Logic Programming with Sets 1993: 17-22 - 1992
- [j2]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): 46-46 (1992) - [j1]Frieder Stolzenburg, Martin Volk:
UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG. LDV Forum 9(1): 10-13 (1992)
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint