default search action
Frieder Stolzenburg
- > Home > Persons > Frieder Stolzenburg
Publications
- 2024
- [j25]Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm:
Formal and cognitive reasoning. Int. J. Approx. Reason. 174: 109270 (2024) - 2023
- [j24]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Joining Formal and Cognitive Reasoning. FLAP 10(2): 115-119 (2023) - [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 - [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] - 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] - [i11]Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
Negation in Cognitive Reasoning. CoRR abs/2012.12641 (2020) - 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
- [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] - 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] - [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
- [c24]Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg:
A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) 2010: 323-326 - 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
- [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 - 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
- [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) - [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) - [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 - [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
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-09-10 02:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint