Folgen
Frieder Stolzenburg
Frieder Stolzenburg
Professor of Knowledge Based Systems in Computer Science, Harz University of Aplied Sciences
Bestätigte E-Mail-Adresse bei hs-harz.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Computing generalized specificity
F Stolzenburg, AJ García, CI Chesnevar, GR Simari
Journal of Applied Non-Classical Logics 13 (1), 87-113, 2003
1262003
Towards a League-Independent Qualitative Soccer Theory for RoboCup
F Dylla, A Ferrein, G Lakemeyer, J Murray, O Obst, T Rofer, F Stolzenburg, ...
Lecture Notes in Computer Science 3276, 611-618, 2005
642005
Harmony Perception by Periodicity Detection
F Stolzenburg
Journal of Mathematics and Music, 2015
552015
Relating defeasible and normal logic programming through transformation properties
CI Chesnevar, J Dix, F Stolzenburg, GRGR Simari
Theoretical computer science 290 (1), 499-529, 2003
472003
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
T Arai, F Stolzenburg
Proceedings of the first international joint conference on Autonomous agents …, 2002
462002
Qualitative velocity and ball interception
F Stolzenburg, O Obst, J Murray
Annual Conference on Artificial Intelligence, 283-298, 2002
452002
Membership-constraints and complexity in logic programming with sets
F Stolzenburg
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
43*1996
An algorithm for general set unification and its complexity
F Stolzenburg
Journal of Automated Reasoning 22 (1), 45-63, 1999
41*1999
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
401997
Approaching a formal soccer theory from behaviour specifi cations in robotic soccer
F Dylla, A Ferrein, G Lakemeyer, J Murray, O Obst, T Röfer, S Schiffer, ...
WIT Transactions on State-of-the-art in Science and Engineering 32, 2008
392008
Towards a logical approach for soccer agents engineering
J Murray, O Obst, F Stolzenburg
RoboCup 2000: Robot Soccer World Cup IV, 199-208, 2001
372001
A framework to incorporate non-monotonic reasoning into constraint logic programming
J Dix, F Stolzenburg
The Journal of Logic Programming 37 (1-3), 47-76, 1998
341998
Model elimination, logic programming and computing answers
P Baumgartner, U Furbach, F Stolzenburg
IJCAI, 335-341, 1995
281995
Spatial agents implemented in a logical expressible language
F Stolzenburg, O Obst, J Murray, B Bremer
RoboCup-99: Robot Soccer World Cup III 3, 481-494, 2000
272000
Hybrid multiagent systems with timed synchronization–specification and model checking
U Furbach, J Murray, F Schmidsberger, F Stolzenburg
International Workshop on Programming Multi-Agent Systems, 205-220, 2007
262007
Constraint model elimination and a PTTP-implementation
P Baumgartner, F Stolzenburg
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
23*1995
Multi-robot systems: Modeling, specification, and model checking
A Mohammed, U Furbach, F Stolzenburg
Robot Soccer, 241-265, 2010
222010
Hybrid state machines with timed synchronization for multi-robot system specification
J Murray, F Stolzenburg
2005 portuguese conference on artificial intelligence, 236-241, 2005
192005
Computation of non-ground disjunctive well-founded semantics with constraint logic programming
J Dix, F Stolzenburg
Non-Monotonic Extensions of Logic Programming: Second International Workshop …, 1997
19*1997
Improving Deep Learning-based Plant Disease Classification with Attention Mechanism
P Alirezazadeh, M Schirrmann, F Stolzenburg
Gesunde Pflanzen 75 (1), 49-59, 2023
182023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20