Frieder Stolzenburg

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2021

Negation in Cognitive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27, 2021

2020

Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data.

[BibT_eX]

[DOI]

CoRR, 2020

2019

The CoRg Project: Cognitive Reasoning.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Cognitive Reasoning: A Personal View.

[BibT_eX]

[DOI]

Künstliche Intell., 2019

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

Commonsense Reasoning Using Theorem Proving and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Extraction, 2019

2018

Predictive Neural Networks.

[BibT_eX]

[DOI]

Olivia Michael

CoRR, 2018

CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2018: Robot World Cup XXII [Montreal, 2018

2017

RoboCupSimData: A RoboCup soccer research dataset.

[BibT_eX]

[DOI]

CoRR, 2017

Analysing Soccer Games with Clustering and Conceptors.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2017: Robot World Cup XXI [Nagoya, Japan, July 27-31, 2017]., 2017

Syllogistic Reasoning in Seven Spaces.

[BibT_eX]

[DOI]

Raimund Lüderitz

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), 2017

2016

Neural Networks and Continuous Time.

[BibT_eX]

[DOI]

Florian Ruh

CoRR, 2016

A series of revisions of David Poole's specificity.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Ann. Math. Artif. Intell., 2016

2015

Higher-Level Cognition and Computation: A Survey.

[BibT_eX]

[DOI]

Marco Ragni

Künstliche Intell., 2015

Special Issue on Higher-Level Cognition and Computation.

[BibT_eX]

[DOI]

Marco Ragni

Künstliche Intell., 2015

The RatioLog Project: Rational Extensions of Logical Reasoning.

[BibT_eX]

[DOI]

Künstliche Intell., 2015

Automated Reasoning for Robot Ethics.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Cognitive Systems and Question Answering.

[BibT_eX]

[DOI]

CoRR, 2014

Automated Reasoning in Deontic Logic.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

David Poole's Specificity Revised.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

David Poole's Specifity Revised.

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2013

Harmony Perception by Periodicity Detection.

[BibT_eX]

[DOI]

CoRR, 2013

Semantic Object Recognition with Segment Faces.

[BibT_eX]

[DOI]

Falk Schmidsberger

Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition KIK, 2013

2011

Semantic Object Recognition using Clustering and Decision Trees.

[BibT_eX]

Falk Schmidsberger

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

2010

Localization, Exploration, and Navigation Based on Qualitative Angle Information.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2010

A Tool Environment for Specifying and Verifying Multi-agent Systems.

[BibT_eX]

Christian Schwarz

Ammar Mohammed

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

2009

A Periodicity-based Theory for Harmony Perception and Scales.

[BibT_eX]

[DOI]

Proceedings of the 10th International Society for Music Information Retrieval Conference, 2009

2008

Translating Cooperative Strategies for Robot Behavior.

[BibT_eX]

[DOI]

Florian Ruh

Proceedings of the 4th Workshop on Knowledge Engineering and Software Engineering (KESE-2008) at the 31st German Conference on Artificial Intelligence, 2008

2007

Model Checking Hybrid Multiagent Systems for the RoboCup.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

2006

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification.

[BibT_eX]

[DOI]

Toshiaki Arai

Künstliche Intell., 2006

Multiagent Matching Algorithms with and without Coach.

[BibT_eX]

[DOI]

Karsten Sturm

J. Decis. Syst., 2006

2004

Towards a League-Independent Qualitative Soccer Theory for RoboCup.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004

2003

Relating defeasible and normal logic programming through transformation properties.

[BibT_eX]

[DOI]

Carlos Iván Chesñevar

Guillermo Ricardo Simari

Theor. Comput. Sci., 2003

Computing Generalized Specificity.

[BibT_eX]

[DOI]

Alejandro Javier García

Carlos Iván Chesñevar

Guillermo Ricardo Simari

J. Appl. Non Class. Logics, 2003

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.

[BibT_eX]

[DOI]

Toshiaki Arai

Proceedings of the Multiagent System Technologies, First German Conference, 2003

2002

Qualitative Velocity and Ball Interception.

[BibT_eX]

[DOI]

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.

[BibT_eX]

[DOI]

Toshiaki Arai

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

RoboLog Koblenz 2001.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

2000

Intelligente Agenten und KI.

[BibT_eX]

Clause and Effect - Prolog Programming for the Working Programmer.

[BibT_eX]

Künstliche Intell., 2000

RoboLog Koblenz 2000.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Towards a Logical Approach for Soccer Agents Engineering.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

1999

Der RoboCup während der IJCAI '99.

[BibT_eX]

Künstliche Intell., 1999

Loop-Detection in Hyper-Tableaux by Powerful Model Generation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

An Algorithm for General Set Unification and Its Complexity.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Spatial Agents Implemented in a Logical Expressible Language.

[BibT_eX]

[DOI]

Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

RoboLog Koblenz.

[BibT_eX]

[DOI]

Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Automating Defeasible Reasoning with Logic Programming.

[BibT_eX]

Guillermo Ricardo Simari

Pablo R. Fillottrani

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

Disjunctive logic programming with constraints and its applications.

[BibT_eX]

[DOI]

PhD thesis, 1998

A Flexible System for Constraint Disjunctive Logic Programming.

[BibT_eX]

Künstliche Intell., 1998

Automated Deduction: a Technological Point of View.

[BibT_eX]

Künstliche Intell., 1998

A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1998

1997

Computing Answers with Model Elimination.

[BibT_eX]

[DOI]

Peter Baumgartner

Artif. Intell., 1997

1996

Deduktion und Logisches Programmieren.

[BibT_eX]

Künstliche Intell., 1996

Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Constraint Logic Programming for Computational Linguistics.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

[BibT_eX]

[DOI]

Chandrabose Aravindan

Proceedings of the Logic Programming, 1996

Membership-Constraints and Complexity in Logic Programming with Sets.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

1995

Constraint Model Elimination and a PTTP-Implementation.

[BibT_eX]

[DOI]

Peter Baumgartner

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Model Elimination, Logic Programming and Computing Answers.

[BibT_eX]

[DOI]

Peter Baumgartner

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Logic Programming with Sets by Membership-Constraints.

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

1992

UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG.

[BibT_eX]

[DOI]