Search the dblp DataBase
Frieder Stolzenburg :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Toshiaki Arai , Frieder Stolzenburg Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:11-18 [Conf ] Frieder Stolzenburg Membership-Constraints and Complexity in Logic Programming with Sets. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:285-302 [Conf ] Jürgen Dix , Frieder Stolzenburg , Guillermo Ricardo Simari , Pablo R. Fillottrani Automating Defeasible Reasoning with Logic Programming. [Citation Graph (0, 0)][DBLP ] German-Argentinian Workshop on Information Technology, 1999, pp:39-46 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:546- [Conf ] Peter Baumgartner , Ulrich Furbach , Frieder Stolzenburg Model Elimination, Logic Programming and Computing Answers. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:335-341 [Conf ] Frieder Stolzenburg , Oliver Obst , Jan Murray Qualitative Velocity and Ball Interception. [Citation Graph (0, 0)][DBLP ] KI, 2002, pp:283-298 [Conf ] Frieder Stolzenburg , Stephan Höhne , Ulrich Koch , Martin Volk Constraint Logic Programming for Computational Linguistics. [Citation Graph (0, 0)][DBLP ] LACL, 1996, pp:406-425 [Conf ] Frieder Stolzenburg , Jan Murray , Karsten Sturm Multiagent Matching Algorithms with and without Coach. [Citation Graph (0, 0)][DBLP ] MATES, 2003, pp:192-204 [Conf ] Frieder Stolzenburg , Toshiaki Arai From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. [Citation Graph (0, 0)][DBLP ] MATES, 2003, pp:131-143 [Conf ] Jürgen Dix , Frieder Stolzenburg Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:202-224 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] RobuCup, 2004, pp:611-618 [Conf ] Jan Murray , Oliver Obst , Frieder Stolzenburg Towards a Logical Approach for Soccer Agents Engineering. [Citation Graph (0, 0)][DBLP ] RoboCup, 2000, pp:199-208 [Conf ] Jan Murray , Oliver Obst , Frieder Stolzenburg RoboLog Koblenz 2000. [Citation Graph (0, 0)][DBLP ] RoboCup, 2000, pp:469-472 [Conf ] Jan Murray , Oliver Obst , Frieder Stolzenburg RoboLog Koblenz 2001. [Citation Graph (0, 0)][DBLP ] RoboCup, 2001, pp:526-530 [Conf ] Jan Murray , Oliver Obst , Frieder Stolzenburg RoboLog Koblenz. [Citation Graph (0, 0)][DBLP ] RoboCup, 1999, pp:628-631 [Conf ] Frieder Stolzenburg , Oliver Obst , Jan Murray , Björn Bremer Spatial Agents Implemented in a Logical Expressible Language. [Citation Graph (0, 0)][DBLP ] RoboCup, 1999, pp:481-494 [Conf ] Peter Baumgartner , Frieder Stolzenburg Constraint Model Elimination and a PTTP-Implementation. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1995, pp:201-216 [Conf ] Frieder Stolzenburg Logic Programming with Sets by Membership-Constraints. [Citation Graph (0, 0)][DBLP ] WLP, 1994, pp:48-51 [Conf ] Peter Baumgartner , Ulrich Furbach , Frieder Stolzenburg Computing Answers with Model Elimination. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1997, v:90, n:1-2, pp:135-176 [Journal ] Frieder Stolzenburg , Alejandro Javier García , Carlos Iván Chesñevar , Guillermo Ricardo Simari Computing Generalized Specificity. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2003, v:13, n:1, pp:87-0 [Journal ] Frieder Stolzenburg An Algorithm for General Set Unification and Its Complexity. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1999, v:22, n:1, pp:45-63 [Journal ] Jürgen Dix , Frieder Stolzenburg A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:37, n:1-3, pp:47-76 [Journal ] Frieder Stolzenburg Loop-Detection in Hyper-Tableaux by Powerful Model Generation. [Citation Graph (0, 0)][DBLP ] J. UCS, 1999, v:5, n:3, pp:135-155 [Journal ] Peter Baumgartner , Ingo Dahn , Jürgen Dix , Ulrich Furbach , Michael Kühn , Frieder Stolzenburg , Bernd Thomas Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP ] KI, 1998, v:12, n:4, pp:7-14 [Journal ] Peter Baumgartner , Jürgen Dix , Ulrich Furbach , Dorothea Schäfer , Frieder Stolzenburg Deduktion und Logisches Programmieren. [Citation Graph (0, 0)][DBLP ] KI, 1996, v:10, n:2, pp:34-39 [Journal ] Oliver Obst , Frieder Stolzenburg Der RoboCup während der IJCAI '99. [Citation Graph (0, 0)][DBLP ] KI, 1999, v:13, n:4, pp:66-67 [Journal ] Frieder Stolzenburg Clause and Effect - Prolog Programming for the Working Programmer. [Citation Graph (0, 0)][DBLP ] KI, 2000, v:14, n:1, pp:65-0 [Journal ] Frieder Stolzenburg A Flexible System for Constraint Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] KI, 1998, v:12, n:2, pp:73-78 [Journal ] Frieder Stolzenburg , Alexander Bach , Christian Lieske , Hanno Ridder , Martin Volk Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. [Citation Graph (0, 0)][DBLP ] KI, 1992, v:6, n:1, pp:46-46 [Journal ] Frieder Stolzenburg , Martin Volk UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG. [Citation Graph (0, 0)][DBLP ] LDV Forum, 1992, v:9, n:1, pp:10-13 [Journal ] Ulrich Furbach , Oliver Obst , Frieder Stolzenburg Intelligente Agenten und KI. [Citation Graph (0, 0)][DBLP ] LOG IN, 2000, v:20, n:3/4, pp:17-0 [Journal ] Carlos Iván Chesñevar , Jürgen Dix , Frieder Stolzenburg , Guillermo Ricardo Simari Relating defeasible and normal logic programming through transformation properties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:1, pp:499-529 [Journal ] Translating Cooperative Strategies for Robot Behavior. [Citation Graph (, )][DBLP ] Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. [Citation Graph (, )][DBLP ] Model Checking Hybrid Multiagent Systems for the RoboCup. [Citation Graph (, )][DBLP ] A Tool Environment for Specifying and Verifying Multi-agent Systems. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs