Veröffentlichungen

Alle Veröffentlichungen

S. Arifulina, M. Platenius, F. Mohr, G. Engels.
Market-Specific Service Compositions: Specification and Matching.
In Proceedings of the IEEE 11th World Congress on Services (SERVICES). 2015.
[Show BibTeX]
A. Jungmann, F. Mohr.
An approach towards adaptive service composition in markets of composed services.
In Journal of Internet Services and Applications, vol. 6, no. 1, pp. 1-18, , 2015.
[Show BibTeX]
F. Mohr, A. Jungmann, H. Kleine Büning.
Automated Online Service Composition.
In Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE 2015.
[Show BibTeX]
F. Mohr.
A Metric for Functional Reusability of Services.
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer 2015.
[Show BibTeX]
F. Mohr, S. Walther.
Template-Based Generation of Semantic Services.
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer 2015.
[Show BibTeX]
A. Jungmann, F. Mohr, B. Kleinjohann.
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.
In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). IEEE 2014.
[Show BibTeX]
T. Klerx, M. Anderka, H. Kleine Büning, S. Priesterjahn.
Model-based Anomaly Detection for Discrete Event Systems.
In Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014). Limassol, Cyprus. IEEE, pp. 665-672, 2014.
[Show BibTeX]
A. Jungmann, F. Mohr, B. Kleinjohann.
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.
In Proceedings of the 10th World Congress on Services (SERVICES). IEEE, pp. 346-353, 2014.
[Show BibTeX]
F. Mohr.
Issues of Automated Software Composition in AI Planning.
In Proceedings of the 29th International Conference on Automated Software Engineering (ASE). ACM 2014.
[Show BibTeX]
F. Mohr.
Estimating Functional Reusability of Services.
In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). IEEE 2014.
[Show BibTeX]
T. Klerx, M. Anderka, H. Kleine Büning.
On the Usage of Behavior Models to Detect ATM Fraud.
In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014). Prague, Czech Republic. IOS Press, pp. 1045-1046, 2014.
[Show BibTeX] [DOI]
M. Anderka, T. Klerx, S. Priesterjahn, H. Kleine Büning.
Automatic ATM Fraud Detection as a Sequence-based Anomaly Detection Problem.
In Proceedings of the 3rd International Conference on Pattern Recognition Applications and Methods (ICPRAM 2014). Angers, France. SciTePress. 2014.
[Show BibTeX] [DOI]
M. Baumann, H. Kleine Büning.
Adaptive Function Approximation in Reinforcement Learning with an Interpolating Growing Neural Gas.
In International Journal of Hybrid Intelligent Systems, vol. 11, no. 1, pp. 55-69, IOS Press, 2014.
[Show BibTeX] [DOI]
F. Mohr, T. Lettmann, H. Kleine Büning.
Reducing Nondeterminism in Service Composition.
In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). IEEE, pp. 154-161, 2013.
[Show BibTeX] [PDF] [DOI]
F. Mohr, H. Kleine Büning.
Semi-Automated Software Composition Through Generated Components.
In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS). ACM, pp. 676-679, 2013.
[Show BibTeX] [PDF] [DOI]
U. Bubeck, H. Kleine Büning.
Nested Boolean Functions as Models for Quantified Boolean Formulas.
In Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013). Springer, Lecture Notes in Computer Science, vol. 7962, pp. 267-275, 2013.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
T. Klerx, K. Graffi.
Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks.
In Proceedings of the 13th IEEE International Conference on Peer-to-Peer Computing. Trento, Italy 2013.
[Show BibTeX] [DOI]
O. Niggemann, A. Vodencarevic, A. Maier, S. Windmann, H. Kleine Büning.
A Learning Anomaly Detection Algorithm for Hybrid Manufacturing Systems.
In Proceedings of the 24th Intl. Workshop on the Principles of Diagnosis (DX-2013). Jerusalem, Israel 2013.
[Show BibTeX]
M. Baumann, H. Kleine Büning.
Learning Shepherding Behavior.
In Luís Correia and Luís Paulo Reis and José Cascalho and Luís Mendes Gomes and Hélia Guerra and Pedro Cardoso (eds.): Advances in Artificial Intelligence--Local Proceedings of the 16th Portuguese Conference on Artificial Intelligence (EPIA 2013). Azores, Portugal, pp. 166-178, 2013.
[Show BibTeX] [PDF]
A. Vodencarevic, A. Maier, O. Niggemann.
Evaluating Learning Algorithms for Stochastic Finite Automata - Comparative Empirical Analyses on Learning Models for Technical Systems.
In Proceedings of the 2nd Intl. Conf. on Pattern Recognition Applications and Methods (ICPRAM 2013). Barcelona, Spain, pp. 229-238, 2013.
[Show BibTeX]
A. Vodencarevic.
Modelling Abrupt Changes: Enhanced Learning of Behaviour Models for Manufacturing Systems.
In Intl. Journal of Service and Computing Oriented Manufacturing. , vol. 1, no. 1, pp. 5-24, 2013.
[Show BibTeX]
M. Baumann, H. Kleine Büning.
Adaptive Function Approximation in Reinforcement Learning with an Interpolating Growing Neural Gas.
In Proceedings of the 12th International Conference on Hybrid Intelligent Systems (HIS12). IEEE Computer Society, pp. 512-517, 2012.
[Show BibTeX] [PDF] [DOI]
T. Klerx.
Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen.
Master's thesis, 2012.
[Show BibTeX]
M. Baumann, T. Klerx, H. Kleine Büning.
Improved State Aggregation with Growing Neural Gas in Multidimensional State Spaces.
In Proceedings of the 5th International Workshop on Evolutionary and Reinforcement Learning for Autonomous Robot Systems (ERLARS@ECAI 2012). Montpellier, France, pp. 27-36, 2012.
[Show BibTeX] [PDF]
L. Prichep, A. Jacquin, J. Filipenko, S. Dastidar, S. Zabele, A. Vodencarevic, N. Rothman.
Classification of Traumatic Brain Injury Severity Using Informed Data Reduction in a Series of Binary Classification Algorithms.
In IEEE Transactions on Neural Systems and Rehabilitation Engineering. , vol. 20, no. 6, pp. 806-822, 2012.
[Show BibTeX]
A. Vodencarevic.
Learning Behavior Models of Hybrid Systems Using Wavelets for Autonomous Jumps Detection.
In Proceedings of the 10th IEEE Intl. Conf. on Industrial Informatics (INDIN'2012). Beijing, China, pp. 151-156, 2012.
[Show BibTeX]
S. Faltinski, H. Flatt, F. Pethig, B. Kroll, A. Vodencarevic, A. Maier, O. Niggemann.
Detecting Anomalous Energy Consumptions in Distributed Manufacturing Systems.
In Proceedings of the 10th IEEE Intl. Conf. on Industrial Informatics (INDIN'2012). Beijing, China, pp. 358-363, 2012.
[Show BibTeX]
A. Maier, F. Pethig, A. Vodencarevic, N. Schetinin, O. Niggemann, H. Kleine Büning.
Analyse und Visualisierung des Energieverbrauchs in Produktionsanlagen.
In VDI Kongress AUTOMATION 2012. Baden Baden, Germany 2012.
[Show BibTeX]
O. Niggemann, B. Stein, A. Vodencarevic, A. Maier, H. Kleine Büning.
Learning Behavior Models for Hybrid Timed Systems.
In Proceedings of the 26th Conference on Artificial Intelligence (AAAI-12). Toronto, Canada, pp. 1083-1090, 2012.
[Show BibTeX]
U. Bubeck, H. Kleine Büning.
Encoding Nested Boolean Functions as Quantified Boolean Formulas.
In Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 8, no. 1, pp. 101-116, IOS Press, 2012.
[Show BibTeX] [PDF]
H. Kleine Büning, X. Zhao, U. Bubeck.
Transformations into Normal Forms for Quantified Circuits.
In Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011). Springer, Lecture Notes in Computer Science, vol. 6695, pp. 245-258, 2011.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
A. Vodencarevic, H. Kleine Büning, O. Niggemann, A. Maier.
Using Behavior Models for Anomaly Detection in Hybrid Systems.
In Proceedings of the 23rd Intl. Symposium on Information, Communication and Automation Technologies (ICAT 2011). Sarajevo, Bosnia and Herzegovina, pp. 1-8, 2011.
[Show BibTeX]
A. Vodencarevic, H. Kleine Büning, O. Niggemann, A. Maier.
Identifying Behavior Models for Process Plants.
In Proceedings of the 16th IEEE Intl. Conf. on Emerging Technologies and Factory Automation (ETFA'2011). Toulouse, France, pp. 937-944, 2011.
[Show BibTeX]
M. Baumann, H. Kleine Büning.
State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces.
In Proceedings of the 10th International Conference on Machine Learning and Applications (ICMLA 2011). IEEE Computer Society, pp. 430-435, 2011.
[Show BibTeX] [PDF] [DOI]
T. Kemmerich, H. Kleine Büning.
On the Power of Global Reward Signals in Reinforcement Learning.
In MATES 2011. Springer-Verlag Berlin Heidelberg, LNAI, vol. 6973, pp. 53-64, 2011.
[Show BibTeX]
M. Eberling.
Multi-Criteria Cooperation in Multiagent Systems by Local Adaptation.
PhD thesis, University of Paderborn 2011.
[Show BibTeX] [DOI]
T. Kemmerich, H. Kleine Büning.
Coordination in Large Multiagent Reinforcement Learning Problems.
In Proc. IEEE/WIC/ACM Intl. Conf. on Intelligent Agent Technology (IAT'11) (accepted for publication). 2011.
[Show BibTeX]
O. Niggemann, A. Maier, A. Vodencarevic, B. Jantscher.
Fighting the Modeling Bottleneck – Learning Models for Production Plants.
In Proceedings of the Model-Based Development of Embedded Systems (MBEES 2011). Dagstuhl, Germany, pp. 157-166, 2011.
[Show BibTeX]
A. Maier, A. Vodencarevic, O. Niggemann, R. Just, M. Jäger.
Anomaly Detection in Production Plants Using Timed Automata.
In Proceedings of the 8th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO 2011). Noordwijkerhout, The Netherlands, pp. 363-369, 2011.
[Show BibTeX]
T. Kemmerich, H. Kleine Büning.
A Convergent Multiagent Reinforcement Learning Approach for a Subclass of Cooperative Stochastic Games.
In Proceedings of the Adaptive and Learning Agents Workshop 2011 (ALA@AAMAS 2011). , pp. 75-82, 2011.
[Show BibTeX]
T. Kemmerich, H. Kleine Büning.
Region-Based Heuristics for an Iterative Partitioning Problem in Multiagent Systems.
In Joaquim Filipe and Ana Fred (eds.): Proceedings of the 3rd International Conference on Agents and Artificial Intelligence ICAART 2011 Vol. 2. SciTePress, pp. 200-205, 2011.
[Show BibTeX]
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich.
Modeling Agents and Agent Systems.
In Transactions on Computational Collective Intelligence V. Springer, LNCS 6910, pp. 157-181, 2011.
[Show BibTeX] [DOI]
S. Heinrich, S. Wermter, M. Eberling.
Determining Cooperation in Multiagent Systems with Cultural Traits.
In Joaquim Filipe and Ana Fred (eds.): Proceedings of the 3rd International Conference on Agents and Artificial Intelligence ICAART 2011 Vol. 2. SciTePress, pp. 173-180, 2011.
[Show BibTeX]
M. Eberling, H. Kleine Büning.
Convergence Analysis of a Multiagent Cooperation Model.
In Joaquim Filipe and Ana Fred (eds.): Proceedings of the 3rd International Conference on Agents and Artificial Intelligence ICAART 2011 Vol. 2. SciTePress, pp. 167-172, 2011.
[Show BibTeX]
T. Klerx.
Ein spaltenorientiertes Datenverwaltungssystem auf Basis von komprimierten Texten.
Bachelor thesis, 2010.
[Show BibTeX]
U. Bubeck.
Model-Based Transformations for Quantified Boolean Formulas. In Wolfgang Bibel (eds.): IOS Press, Dissertations in Artificial Intelligence (DISKI), vol. 329, 2010.
[Show BibTeX] [PDF] [Original Publication at IOS Press]
T. Kemmerich, H. Kleine Büning.
Region-Based Heuristics for an Iterative Partitioning Problem in Multiagent Systems (extended version).
Technical Report, no. TR-RI-10-320. University of Paderborn 2010.
[Show BibTeX] [PDF]
M. Eberling, H. Kleine Büning.
Convergence Analysis of a Multiagent Cooperation Model (extended Version).
Technical Report, no. TR-RI-10-321. University of Paderborn 2010.
[Show BibTeX] [PDF]
U. Bubeck, H. Kleine Büning.
The Power of Auxiliary Variables for Propositional and Quantified Boolean Formulas.
In Studies in Logic, vol. 3, no. 3, pp. 1-23, Chinese Association of Logic, 2010.
[Show BibTeX] [PDF]
M. Baumann.
WeGA revisited -- Genre-Klassifikation für Web-Dokumente.
Master's thesis, Universität Paderborn 2010.
[Show BibTeX]
T. Kemmerich, H. Kleine Büning.
External Coordination Media in Capacity-Constrained Multiagent Systems.
In Proc. IEEE/WIC/ACM Intl. Joint Conf. on Web Intelligence and Intelligent Agent Technology (WI-IAT'10). IEEE Computer Society, pp. 109-116, 2010.
[Show BibTeX]
T. Kemmerich.
Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem.
In Coordination, Organizations, Institutions and Norms in Agent Systems V (COIN'09). Springer, Lecture Notes in Artificial Intelligence, vol. 6069, pp. 257-272, 2010.
[Show BibTeX]
T. Schmidt, M. Eberling, H. Kleine Büning.
The Effects of Local Trust Cooperation in Multiagent Systems.
In Jedrzejowicz, Piotr and Nguyen, Ngoc Thanh and Howlett, Robert J. and Jain, Lakhmi C. (eds.): Proceedings of the 4th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications. Springer (Heidelberg), Lecture Notes in Computer Science, vol. 6071, pp. 233-242, 2010.
[Show BibTeX] [DOI]
C. Peschiera, L. Pulina, A. Tacchella, U. Bubeck, O. Kullmann, I. Lynce.
The Seventh QBF Solvers Evaluation (QBFEVAL'10).
In Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010). Springer, Lecture Notes in Computer Science, vol. 6175, pp. 237-250, 2010.
[Show BibTeX]
C. Laroque, B. Urban, M. Eberling.
Parameteroptimierung von Materialflusssimulationen durch Partikelschwarmalgorithmen.
In Matthias Schumann, Lutz M. Kolbe, Michael H. Breitner, Arne Frerichs (eds.): Proceedings of the German Multikonferenz Wirtschaftsinformatik 2010 (MKWI'10). Universitätsverlag Göttingen, pp. 2265-2275, 2010.
[Show BibTeX]
M. Eberling, H. Kleine Büning.
Self-adaptation Strategies to Favor Cooperation.
In Jedrzejowicz, Piotr and Nguyen, Ngoc Thanh and Howlett, Robert J. and Jain, Lakhmi C. (eds.): Proceedings of the 4th KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications. Springer (Heidelberg), Lecture Notes in Computer Science, vol. 6071, pp. 223-232, 2010.
[Show BibTeX] [DOI]
U. Bubeck, H. Kleine Büning.
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.
In Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010). Springer, Lecture Notes in Computer Science, vol. 6175, pp. 58-70, 2010.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
O. Niggemann, B. Stein, H. Balzer.
Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering.
In MBEES. , pp. 46-56, 2009.
[Show BibTeX]
M. Kruse, M. Baumann, T. Knieper, C. Seipel, L. Khaluf, N. Lehmann, A. Lermontow, C. Messinger, S. Richter, T. Schmidt, D. Swars.
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm.
In Mertsching, Bärbel and Hund, Marcus and Aziz, Muhammad Zaheer (eds.): Proceedings of the 32nd Annual German Conference on AI (KI 2009). Springer, Lecture Notes in Computer Science, vol. 5803, pp. 648-655, 2009.
[Show BibTeX]
H. Kleine Büning, X. Zhao, U. Bubeck.
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.
In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). Springer, Lecture Notes in Computer Science, vol. 5584, pp. 391-397, 2009.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
H. Kleine Büning, U. Bubeck.
Theory of Quantified Boolean Formulas.
In Biere, Armin and Heule, Marijin and van Maaren, Hans and Walsh, Toby (eds.): Handbook of Satisfiability, pp. 735-760, IOS Press 2009.
[Show BibTeX]
M. Eberling.
Towards Determining Cooperation Based on Multiple Criteria.
In Mertsching, Bärbel and Hund, Marcus and Aziz, Muhammad Zaheer (eds.): Proceedings of the 32nd Annual German Conference on AI (KI 2009). Springer, Lecture Notes in Computer Science, vol. 5803, pp. 548-555, 2009.
[Show BibTeX] [DOI]
U. Bubeck, H. Kleine Büning.
A new 3-CNF Transformation by Parallel-Serial Graphs.
In Information Processing Letters, vol. 109, no. 7, pp. 376-379, Elsevier, 2009.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at Elsevier ScienceDirect]
N. Akchurina.
Computation of Nash equilibrium in general-sum discounted stochastic games.
Technical Report, no. tr-ri-09-306. University of Paderborn 2009.
[Show BibTeX]
N. Akchurina.
Multiagent reinforcement learning: Algorithm converging to Nash equilibrium in general-sum discounted stochastic games.
In Proceedings of the eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). IFAAMAS, pp. 725-732, 2009.
[Show BibTeX]
S. Priesterjahn, A. Weimer, M. Eberling.
Real-Time Imitation-Based Adaptation of Gaming Behaviour in Modern Computer Games.
In Proceedings of the 2008 GECCO conference companion on Genetic and evolutionary computation. ACM (New York, NY, USA), pp. 1431-1432, 2008.
[Show BibTeX] [DOI]
S. Priesterjahn, M. Eberling.
Imitation Learning in Uncertain Environments.
In Rudolph, Günter and Jansen, Thomas and Lucas, Simon and Poloni, Carlo and Beume, Nicola (eds.): Proceedings of the 10th International Conference on Parallel Problem Solving from Nature (PPSN X). Springer Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 5199, pp. 950-960, 2008.
[Show BibTeX] [DOI]
D. Huber, M. Eberling, C. Laroque, W. Dangelmaier.
Stochastic Generation of Discrete-Event Simulation Models.
In Proceedings of the Tenth International Conference on Computer Modeling and Simulation (UKSIM'08). IEEE Press, pp. 241-246, 2008.
[Show BibTeX] [DOI]
U. Bubeck, H. Kleine Büning.
Models and Quantifier Elimination for Quantified Horn Formulas.
In Discrete Applied Mathematics, vol. 156, no. 10, pp. 1606-1622, Elsevier, 2008.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at Elsevier ScienceDirect]
N. Akchurina.
Optimistic-pessimistic Q-learning algorithm for multiagent systems.
In Proceedings of the sixth German Conference on Multiagent System Technologies (MATES'08). Springer, Lecture Notes in Computer Science, vol. 5244, pp. 13-24, 2008.
[Show BibTeX]
N. Akchurina.
Multi-agent reinforcement learning algorithm with variable optimistic-pessimistic criterion.
In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08). IOS Press, Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 433-437, 2008.
[Show BibTeX]
O. Niggemann, B. Stein, H. Balzer.
Diagnose in verteilten automotiven Systemen..
In . In Jrgen Gausemeier (Ed.): 5. Paderborner Workshop Entwurf mechatronischer Systeme, 22.-23. Mrz 2007, Volume 210 of HNI-Schriftenreihe 2007.
[Show BibTeX]
M. Baumann.
Experimentelle Analyse der Chase-Explorer Strategie.
Bachelor thesis, Universität Paderborn 2007.
[Show BibTeX]
S. Priesterjahn, A. Weimer.
An Evolutionary Online Adaptation Method for Modern Computer Games Based on Imitation.
In Dirk Thierens and Hans-Georg Beyer and Josh Bongard and Jurgen Branke and John Andrew Clark and Dave Cliff and Clare Bates Congdon and Kalyanmoy Deb and Benjamin Doerr and Tim Kovacs and Sanjeev Kumar and Julian F. Miller and Jason Moore and Frank Neumann (eds.): Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007. ACM Press (London), vol. 1, pp. 344-345, 2007.
[Show BibTeX]
S. Priesterjahn.
Imitation-Based Evolution of Artificial Game Players.
In SIGEVOlution, vol. 2, no. 4, pp. 2-13, ACM (New York, NY, USA), 2007.
[Show BibTeX] [DOI]
S. Priesterjahn.
Imitation-Based Evolution of Artificial Players in Modern Computer Games.
In Proceedings of the 9th Annual Conference of Genetic and Evolutionary Computation (GECCO 2007). ACM, pp. 1429-1430, 2007.
[Show BibTeX] [DOI]
O. Kramer, B. Gloger, A. Goebels.
An experimental analysis of evolution strategies and particle swarm optimisers using design of experiments.
In Lipson, Hod (eds.): Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2007). ACM, pp. 674-681, 2007.
[Show BibTeX]
M. Eberling.
Emergentes Verhalten durch Adaption, Evolution und Imitation in unsichereren Realzeitumgebungen.
Master's thesis, University of Paderborn 2007.
[Show BibTeX] [PDF]
U. Bubeck, H. Kleine Büning.
Bounded Universal Expansion for Preprocessing QBF.
In Marques-Silva, Joao and Sakallah, Karem (eds.): Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007). Springer, Lecture Notes in Computer Science, vol. 4501, pp. 244-257, 2007.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
H. Balzer, B. Stein, O. Niggemann.
Diagnose in verteilten automotiven Systemen.
In Jürgen Gausemeier (eds.): 5. Paderborner Workshop Entwurf mechatronischer Systeme. Heinz Nixdorf Institut, HNI-Schriftenreihe, vol. 210, pp. 243-254, 2007.
[Show BibTeX]
N. Akchurina, H. Kleine Büning.
Virtual Markets: Q-Learning Sellers with Simple State Representation.
In Proceedings of the second International Workshop on Autonomous Intelligent Systems: Multi-Agents and Data Mining (AIS-ADM'07). Springer, Lecture Notes in Artificial Intelligence, vol. 4476, pp. 192-205, 2007.
[Show BibTeX]
N. Akchurina.
Learning by Observation: Comparison of three intuitive methods of embedding mentor's knowledge in reinforcement learning algorithms.
In Proceedings of the Symposium on Artificial Intelligence and Simulation of Behavior (AISB'07). AISB, pp. 270-278, 2007.
[Show BibTeX]
B. Stein, O. Niggemann, T. Lettmann.
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT.
In Artificial Intelligence and Applications. , pp. 273-278, 2006.
[Show BibTeX]
B. Stein, O. Niggemann, H. Balzer.
Diagnosis in Automotive Applications - A Case Study with the Model Compilation Approach.
In Franz Wotawa (eds.): Third Monet-Workshop on Model-Based Systems (MBS 06). University of Trento, Italy, pp. 34-40, 2006.
[Show BibTeX]
S. Priesterjahn, O. Kramer, A. Weimer, A. Goebels.
Evolution of Human-Competitive Agents in Modern Computer Games.
In Gary G. Yen and Simon M. Lucas and Gary Fogel and Graham Kendall and Ralf Salomon and Byoung-Tak Zhang and Carlos A. Coello Coello and Thomas Philip Runarsson (eds.): Proceedings of the 2006 IEEE Congress on Evolutionary Computation. IEEE Press (Vancouver, BC, Canada), pp. 777-784, 2006.
[Show BibTeX]
A. Goebels.
Learning Useful Communication Structures for Groups of Agents.
In Pan, Yi and Rammig, Franz J. and Schmeck, Hartmut and Solar, Mauricio (eds.): Proceedings of the 1st IFIP International Conference in Biologically Inspired Cooperative Computing (BICC 2006). Springer, IFIP International Federation for Information Processing, vol. 216, pp. 125-135, 2006.
[Show BibTeX]
A. Goebels.
Studies on Neighbourhood Graphs for Communication in Multi Agent Systems.
In Jiao, Licheng and Wang, Lipo and Gao, Xinbo and Liu, Jing and Wu,Feng (eds.): Proceedings of the Second International Conference on Advances in Natural Computation (ICNC 2006). Springer, Lecture Notes in Computer Science, vol. 4222, pp. 456-465, 2006.
[Show BibTeX]
A. Goebels.
A Mapping Function to Use Cellular Automata for Solving MAS Problems.
In Jiao, Licheng and Wang, Lipo and Gao, Xinbo and Liu, Jing and Wu,Feng (eds.): Proceedings of the Second International Conference on Advances in Natural Computation (ICNC 2006). Springer, Lecture Notes in Computer Science, vol. 4222, pp. 53-62, 2006.
[Show BibTeX]
M. Eberling.
Attribut-basierte Kooperation und das Prisoners Dilemma in Multiagenten Systemen.
Bachelor thesis, University of Paderborn 2006.
[Show BibTeX] [PDF] Bachelor's thesis, University of Paderborn
U. Bubeck, H. Kleine Büning.
Dependency Quantified Horn Formulas: Models and Complexity.
In Biere, Armin and Gomes, Carla (eds.): Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 2006). Springer, Lecture Notes in Computer Science, vol. 4121, pp. 198-211, 2006.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
N. Akchurina, V. Vagin.
Parallel Preprocessing for Classification Problems in Knowledge Discovery Systems.
In Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering. IOS Press, pp. 275-284, 2006.
[Show BibTeX]
A. Weimer, S. Priesterjahn, H. Kleine Büning.
Towards the Emergent Memetic Control of a Module Robot.
In Proceedings of the International Conference on Artificial Intelligence and Simulation of Behaviour (AISB 2005). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 45-52, 2005.
[Show BibTeX]
S. Priesterjahn, O. Kramer, A. Weimer, A. Goebels.
Evolution of Reactive Rules in Multi Player Computer Games Based on Imitation.
In Wang, Lipo and Chen, Ke and S. Ong, Yew (eds.): Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II. Springer Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 3611, pp. 744-755, 2005.
[Show BibTeX]
S. Priesterjahn, A. Goebels, A. Weimer.
Stigmergetic communication for cooperative agent routing in virtual environments.
In Proceedings of the International Conference on Artificial Intelligence and the Simulation of Behaviour (AISB'05). AISB Press, pp. 37-44, 2005.
[Show BibTeX]
O. Kramer, C. Ting, H. Kleine Büning.
A new mutation operator for evolution strategies for constrained problems.
In Proceedings of the IEEE Congress on Evolutionary Computation, (CEC 2005). IEEE Press, pp. 2600-2606, 2005.
[Show BibTeX]
O. Kramer, C. Ting, H. Kleine Büning.
A mutation operator for evolution strategies to handle constrained problems.
In Beyer, Hans-Georg and O'Reilly,Una-May (eds.): Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2005). ACM, pp. 917-918, 2005.
[Show BibTeX]
E. Hotman, A. Alke.
A fuzzy AHP-based decision support system for microencapsulation process selection.
In Proceedings of the 35th International Conference on Computers \& Industrial Engineering. , pp. 899-904, 2005.
[Show BibTeX]
E. Hotman.
Base Reference Analytical Hierarchy Process for Engineering Process Selection.
In Khosla, Rajiv and Howlett, Robert J. and C. Jain,Lakhmi (eds.): Proceedings of the 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2005). Springer, Lecture Notes in Computer Science, vol. 3681, pp. 184-190, 2005.
[Show BibTeX]
E. Hotman.
A Base Reference AHP-based Decision Support System for Selection Problem.
In Arabnia, Hamid R. and Joshua, Rose (eds.): Proceedings of the 2005 International Conference on Artificial Intelligence (ICAI 2005). CSREA Press, pp. 279-285, 2005.
[Show BibTeX]
A. Goebels, A. Weimer, S. Priesterjahn.
Using cellular automata with evolutionary learned rules to solve the online partitioning problem.
In Proceedings of the IEEE Congress on Evolutionary Computation(CEC 2005). IEEE Press, pp. 837-843, 2005.
[Show BibTeX]
A. Goebels, H. Kleine Büning, S. Priesterjahn, A. Weimer.
Towards Online Partitioning of Agent Sets based on Local Information.
In Fahringer, Thomas and Hamza, M. H. (eds.): Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05). IASTED/ACTA Press, pp. 674-679, 2005.
[Show BibTeX]
A. Goebels, H. Kleine Büning, S. Priesterjahn, A. Weimer.
Towards Online Partitioning of Agent Sets based on Local Information.
In Abraham, Ajith and Dote, Yasuhiko and Furuhashi, Takeshi and Köppen, Mario and Ohuchi, Azuma and Ohsawa, Yukio (eds.): Proceedings of the fourth IEEE International Workshop on Soft Computing as Transdisciplinary Science and Technology (WSTS'05). Springer, Advances in Soft Computing, vol. 29, pp. 674-679, 2005.
[Show BibTeX]
U. Bubeck, H. Kleine Büning, X. Zhao.
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
In Bacchus, Fahiem and Walsh, Toby (eds.): Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT 2005). Springer, Lecture Notes in Computer Science, vol. 3569, pp. 386-392, 2005.
[Show BibTeX] [PDF Accepted Author Manuscript] [Original Publication at www.springerlink.com]
C. Ting.
On the Mean Convergence Time of Multi-parent Genetic Algorithms Without Selection.
In Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings. , pp. 403-412, 2005.
[Show BibTeX]
C. Ting.
On the Convergence of Multi-Parent Genetic Algorithms.
In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK. , pp. 396-403, 2005.
[Show BibTeX]
T. Lettmann, B. Stein.
An Extensible Synthesis Framework.
In New Results in Planning, Scheduling, and Design (PUK 04). 2004.
[Show BibTeX]
Benno Stein and Sven Meyer zu Ei\ssen and Andreas Nürnberger (eds.):
Machine Learning and Interaction for Text-Based Information Retrieval (TIR 04).
University of Ulm Germany 2004.
[Show BibTeX]
Stefan Edelkamp and Stein, Benno (eds.):
New Results in Planning, Scheduling, and Design (PUK 04).
University of Ulm Germany 2004.
[Show BibTeX]
V. Vagin, N. Akchurina.
New Techniques for Handling Missing Data and Feature Extraction for Knowledge Discovery.
In V. Stefanuk and K. Kaijiri (eds.): Proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering. IOS Press, pp. 169-176, 2004.
[Show BibTeX]
B. Stein, S. Meyer zu Eißen.
Topic Identification: Framework and Application.
In Klaus Tochtermann and Hermann Maurer (eds.): Proceedings of the 4th International Conference on Knowledge Management (I-KNOW 04), Graz, Austria. Know-Center (Graz, Austria), Journal of Universal Computer Science, pp. 353-360, 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Genre Classification of Web Pages.
In Proceeding of the Workshop on Machine Learning and Interaction for Text-Based Information Retrieval (TIR-04), Co-located with KI-2004. University of Ulm 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Genre Classification of Web Pages.
In Proceeding of the 27th German Conference on Artificial Intelligence (KI 2004). Springer 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Wrapper Generation with Patricia Trees.
In Stein, Benno and Meyer zu Ei\ssen, Sven and Nürnberger, Andreas (eds.): Proceedings of the Workshop on Machine Learning and Interaction for Text-Based Information Retrieval (TIR 04). University of Ulm Germany, Workshop Proceedings, pp. 69-76, 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Genre Classification of Web Pages.
In Horvath, I. and Xirouchakis, P. (eds.): Proceeding of the Fifth International Symposium on Tools and Methods of Competitive Engineering (TMCE 2004). Millpress 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Web-based Simulation: Application Scenarios and Realization Alternatives.
In Horv\'ath, Imre and Xirouchakis, Paul (eds.): Proceedings of the 5th International Symposium on Tools and Methods of Competitive Engineering (TMCE 04). Millpress, vol. 2, pp. 1011-1020, 2004.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Genre Classification of Web Pages: User Study and Feasibility Analysis.
In Biundo, Susanne and Frühwirth, Thom and Palm, Günther (eds.): Proceedings of the 27th Annual German Conference on Artificial Intelligence (KI 04). Springer, Lecture Notes in Artificial Intelligence, vol. 3228, pp. 256-269, 2004.
[Show BibTeX]
T. Lettmann, B. Stein.
An Extensible Synthesis Framework.
In Edelkamp, Stefan and Stein, Benno (eds.): New Results in Planning, Scheduling, and Design (PUK 04). University of Ulm Germany, Workshop Proceedings, pp. 100-105, 2004.
[Show BibTeX]
N. Akchurina, V. Vagin.
Generalized Value Partition Problem: A Rough Set Approach.
In Journal of Computer and Systems Sciences International, vol. 43, no. 2, pp. 223-238, , 2004.
[Show BibTeX]
C. Ting.
An Analysis of the Effectiveness of Multi-parent Crossover.
In Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings. , pp. 131-140, 2004.
[Show BibTeX]
C. Ting.
Improving Edge Recombination through Alternate Inheritance and Greedy Manner.
In Evolutionary Computation in Combinatorial Optimization, 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings. , pp. 210-219, 2004.
[Show BibTeX]
C. Ting, H. Kleine Büning.
A Mating Strategy for Multi-Parent Genetic Algorithms by Integrating Tabu Search.
In Ruhul Sarker and Robert Reynolds and Hussein Abbass and Kay Chen Tan and Bob McKay and Daryl Essam and Tom Gedeon (eds.): Proceedings of the 2003 Congress on Evolutionary Computation CEC2003. IEEE Press (Canberra), pp. 1259-1266, 2003.
[Show BibTeX]
B. Stein, S. Meyer zu Eißen, F. Wißbrock.
On Cluster Validity and the Information Need of Users.
In M. H. Hanza (eds.): Proceedings of the International Conference on Artificial Intelligence and Applications (AIA 03), Benalmádena, Spain. ACTA Press (Anaheim, Calgary, Zurich), pp. 216-221, 2003.
[Show BibTeX]
B. Stein, S. Meyer zu Eißen.
Automatic Document Categorization: Interpreting the Perfomance of Clustering Algorithms.
In Andreas Günter and Rudolf Kruse and Bernd Neumann (eds.): KI 2003: Advances in Artificial Intelligence. Springer (Berlin Heidelberg New\,York), Lecture Notes in Artificial Intelligence, vol. 2821 LNAI, pp. 254-266, 2003.
[Show BibTeX]
B. Stein.
Engineers Don't Search.
In Wolfgang Lenski (eds.): Symposium on Logic versus Approximation, Schloss Dagstuhl, Germany. Springer (Berlin Heidelberg New\,York), Lecture Notes in Computer Science, vol. 3075 LNCS, pp. 120-137, 2003.
[Show BibTeX] [DOI]
B. Stein.
Model Compilation and Diagnosability of Technical Systems.
In M. H. Hanza (eds.): Proceedings of the 3rd International Conference on Artificial Intelligence and Applications (AIA 03), Benalmádena, Spain. ACTA Press (Anaheim, Calgary, Zurich), pp. 191-197, 2003.
[Show BibTeX]
B. Stein, S. Meyer zu Eißen.
Document Categorization with MajorClust.
In Amit Basu and Soumitra Dutta (eds.): Proceedings of the 12th Workshop on Information Technology and Systems (WITS 02), Barcelona, Spain. Technical University of Barcelona, pp. 91-96, 2002.
[Show BibTeX]
B. Stein.
Design Problem Solving by Functional Abstraction.
In Jürgen Sauer (eds.): 16. Workshop Planen und Konfigurieren (PUK 02). University of Freiburg, Germany 2002.
[Show BibTeX]
A. Schulz, B. Stein.
Grammar-Based Design and Analysis of Technical Systems.
In H. Ehrig and B. J. Krämer and A. Ertas (eds.): Proceedings of the 6th Conference on Integrated Design and Process Technology (IDPT 02), Pasadena, California. Society for Design and Process Sience 2002.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Analysis of Clustering Algorithms for Web-based Search.
In Karagiannis, Dimitris and Ulrich Reimer, Ulrich (eds.): Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management (PAKM 02). Springer, Lecture Notes in Artificial Intelligence, vol. 2569, pp. 168-178, 2002.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
Analysis of Clustering Algorithms for Web-based Search.
In Karagiannis, Dimitris and Reimer, Ulrich (eds.): Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management (PARM 02). Springer (Berlin Heidelberg New\,York), Lecture Notes in Artificial Intelligence, vol. 2569, pp. 168-178, 2002.
[Show BibTeX]
S. Meyer zu Eißen, B. Stein.
The AIsearch Meta Search Engine Prototype.
In Basu, Amit and Dutta, Soumitra (eds.): Proceedings of the 12th Workshop on Information Technology and Systems (WITS 02),. Technical University of Barcelona 2002.
[Show BibTeX]
B. Stein, A. Schulz.
Modeling Design Knowledge on Structure.
In Gregor Engels and Andreas Oberweis and Albert Zündorf (eds.): Proceedings of the Workshop ``Modellierung 2001''. Gesellschaft für Informatik (Bonn), Lecture Notes in Informatics, LNI, vol. P-1, pp. 38-48, 2001.
[Show BibTeX]
B. Stein, O. Niggemann.
Generation of Similarity Measures from Different Sources.
In L\'aszl\'o Monostori and J\'ozsef V\'ancza and Moonis Ali (eds.): Proceedings of the 14th International Conference on Industrial \& Engineering Applications of Artificial Intelligence \& Expert Systems (IEA/AIE 01), Budapest, June 4-7. Springer (Berlin Heidelberg New\,York), Lecture Notes in Artificial Intelligence, vol. 2070 LNAI, pp. 197-206, 2001.
[Show BibTeX]
B. Stein, U. Husemeyer.
Generierung heuristischer Modelle zur Diagnose.
In Klaus Panreck and Frank Dörrscheidt (eds.): Proceedings of the 15th Symposium Simulationstechnik (ASIM 01), Paderborn, Germany. SCS Publishing House (Ghent, Belgium), Frontiers in Simulation, pp. 107-112, 2001.
[Show BibTeX]
B. Stein.
Model Construction in Analysis and Synthesis Tasks. In Universität Paderborn, Habilitationsschriften, 2001.
[Show BibTeX]
A. Schulz, B. Stein, A. Kurzok.
On the Automated Design of Technical Systems.
Notes in Computer Science, no. tr-ri-00-218. University of Paderborn, Germany, Department of Mathematics and Computer Science 2001.
[Show BibTeX]
K. Ochs, B. Stein.
On the Design and Use of Wave Digital Structures.
Notes in Computer Science, no. tr-ri-01-228. University of Paderborn, Germany, Department of Mathematics and Computer Science 2001.
[Show BibTeX]
K. Ochs, B. Stein.
Systematischer Entwurf von Wellendigitalstrukturen.
In Panreck, Klaus and Dörrscheidt, Frank (eds.): Proceedings of the 15th Symposium Simulationstechnik (ASIM 01), Paderborn, Germany. SCS Publishing House, Frontiers in Simulation, pp. 61-66, 2001.
[Show BibTeX]
O. Niggemann, B. Stein, J. Tölle.
Visualization of Traffic Structures.
In Proceedings of the IEEE International Conference on Communications (ICC 01). IEEE 2001.
[Show BibTeX]
B. Stein, E. Vier.
Structural Analysis in Control Systems Design of Hydraulic Drives.
In Engineering Applications of Artificial Intelligence, EAAI, vol. 13, no. 6, pp. 741-750, Elsevier Science (Amsterdam, Netherlands), 2000.
[Show BibTeX]
B. Stein, O. Niggemann, U. Husemeyer.
Learning Complex Similarity Measures.
In Reinhold Decker and Wolfgang Gaul (eds.): Classification and Information Processing at the Turn of the Millenium (selected Papers from the 23th Annual Conference of the German Classification Society (GfKl), Bielefeld, March 1999). Springer (Berlin Heidelberg New\,York), pp. 254-263, 2000.
[Show BibTeX]
B. Stein, H. Kleine Büning.
Dem Menschen abgeschaut - fallbasiertes Lösen von Problemen.
In University of Paderborn, Germany, Forschungsforum, vol. 3, pp. 94-99, University of Paderborn, Germany, 2000.
[Show BibTeX]
B. Stein.
How Case-Based Methods Can Automate Fluidic Circuit Design.
In Monika Ivantysynova and Rolf Lasaar and Micheal Oppermann (eds.): 1st Fluid Power Network International PHD Symposium (FPNI 00), Hamburg. Technical University of Hamburg Harburg (Hamburg, Germany), pp. 137-148, 2000.
[Show BibTeX]
A. Schulz, B. Stein, A. Kurzok.
On Automated Design in Chemical Engineering.
In R. J. Howlett and L. C. Jain (eds.): 4th International Conference on Knowledge-based Intelligent Engineering Systems \& Allied Technologies (KES 00), Brighton. IEEE (Piscataway, NJ), pp. 261-266, 2000.
[Show BibTeX]
O. Niggemann, B. Stein.
Visualization by Example.
In Müller, Martin E. (eds.): Proceedings of the 8th GI-Workshop ``Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen''. University of Osnabrück (Osnabrück, Germany), pp. 85-92, 2000.
[Show BibTeX]
O. Niggemann, B. Stein.
A Meta Heuristic for Graph Drawing.
In Di Ges\`u, Vito and Levialdi, Stefano and Tarantino, Laura (eds.): Proceedings of the Working Conference on Advanced Visual Interfaces (AVI 00). Association of Computing Machinery, ACM, pp. 286-289, 2000.
[Show BibTeX]
S. Meyer zu Eißen.
Natürliche Graphpartitionierung am Beispiel von Aufgabenmodellen in Unternehmensnetzwerken.
Master's thesis, 2000.
[Show BibTeX]
B. Stein, O. Niggemann.
On the Nature of Structure and its Identification.
In Peter Widmayer and Gabriele Neyer and Stefan Eidenbenz (eds.): Graph-Theoretic Concepts in Computer Science. Springer (Berlin Heidelberg New\,York), Lecture Notes in Computer Science, vol. 1665 LNCS, pp. 122-134, 1999.
[Show BibTeX]
B. Stein, M. Hoffmann.
On Adaptation in Case-Based Design.
In R. Parenti and F. Masulli (eds.): Third International ICSC Symposia on Intelligent Industrial Automation (IIA 99) and Soft Computing (SOCO 99). ICSI Academic Press (Canada) 1999.
[Show BibTeX]
B. Stein.
Generating Heuristics to Control Configuration Processes.
In Applied Intelligence, vol. 10, no. 2/3, pp. 247-255, Kluwer Academic Publishers, 1999.
[Show BibTeX]
K. Leweling, B. Stein.
Hybrid Constraints in Automated Model Synthesis and Model Processing.
In Heipcke, Susanne and Wallace, Mark (eds.): 5th International Conference on Principles and Practice of Constraint Programming (CP 99), Workshop on Large Scale Combinatorial Optimisation and Constraints. Dash Associates (Leamington Spa England), pp. 45-56, 1999.
[Show BibTeX]
Jürgen Sauer and Benno Stein (eds.):
12. Workshop "Planen und Konfigrieren" (PUK 98), 20.-21. April 1998, Paderborn, Proceedings.
Universität Paderborn, Notes in Computer Science, vol. tr-ri-98-193 1998.
[Show BibTeX]
E. Vier, B. Stein.
Knowledge-based Control Systems Design for Fluid Power Systems.
In Nikos E.\ Mastorakis (eds.): Recent Advances in Information Science and Technology. World Scientific Publishing Co.\ Pte.\ Ltd. (London WC2H 9HE), pp. 231-236, 1998.
[Show BibTeX]
E. Vier, B. Stein.
Modeling of Design Strategies for Hydraulic Control Systems.
In M. H. Hamza (eds.): 17th International Conference on Modelling, Identification and Control (MIC 98). ACTA Press (Grindelwald, Switzerland), pp. 213-216, 1998.
[Show BibTeX]
B. Stein, E. Vier.
An Approach to Formulate and to Process Design Knowledge in Fluidics.
In Nikos E.\ Mastorakis (eds.): Recent Advances in Information Science and Technology. World Scientific Publishing Co.\ Pte.\ Ltd. (London WC2H 9HE), pp. 237-242, 1998.
[Show BibTeX]
B. Stein, A. Schulz.
Topological Analysis of Hydraulic Systems.
Notes in Computer Science, no. tr-ri-98-197. University of Paderborn, Germany, Department of Mathematics and Computer Science 1998.
[Show BibTeX]
B. Stein, D. Curatolo, M. Hoffmann.
Enriching Engineering Education in Fluidics.
In Darush Davani and David Elizandra (eds.): Western Multiconference (WMC 98) featuring International Conference on Simulation and Multimedia in Engineering Education (ICSEE 98). The Society for Computer Simulation International SCS (San Diego, California, 92177 U.S.A.), pp. 274-279, 1998.
[Show BibTeX]
B. Stein, D. Curatolo, M. Hoffmann.
Simulation in FluidSIM.
In Helena Szczerbicka (eds.): Workshop Simulation in wissensbasierten Systemen (SIWIS 98). Fachausschu\ss 4.5 ASIM - Arbeitsgemeinschaft Simulation, Fachgruppe 4.5.3 Simulation und Künstliche Intelligenz der GI (Bremen, Germany), ASIM Notes, no. 61 1998.
[Show BibTeX]
B. Stein, D. Curatolo, M. Hoffmann.
Simulation in FluidSIM.
, no. tr-ri-98-194. University of Paderborn (Paderborn, Germany) 1998.
[Show BibTeX]
B. Stein, D. Curatolo.
Selection of Numerical Methods in Specific Simulation Applications.
In Jos\'e Mira and Angel Pasqual del Pobil and Moonis Ali (eds.): 11th International Conference on Industrial \& Engineering Applications of Artificial Intelligence \& Expert Systems (IEA/AIE 98). Springer (Berlin Heidelberg New\,York), Lecture Notes in Artificial Intelligence, vol. 1416 LNAI, pp. 918-927, 1998.
[Show BibTeX]
B. Stein.
Supporting Hydraulic Circuit Design by Efficiently Solving the Model Synthesis Problem.
In E. Alpaydin and C. Fyfe (eds.): International ICSC Symposium on Engineering of Intelligent Systems (EIS 98). ICSI Academic Press (Canada), pp. 1274-1280, 1998.
[Show BibTeX]
O. Niggemann, B. Stein, M. Suermann.
On Resource-based Configuration: Rendering Component-Property Graphs.
In Sauer, Jürgen and Stein, Benno (eds.): Proceedings of the 12.\ Workshop Planen und Konfigurieren (PUK 98). University of Paderborn, Germany, Department of Mathematics and Computer Science, Notes in Computer Science, no. tr-ri-98-193, pp. 65-72, 1998.
[Show BibTeX]
O. Niggemann, B. Stein.
Structure Identification - Concept, Operationalization, and Application.
Notes in Computer Science, no. tr-ri-98-203. University of Paderborn, Germany, Department of Mathematics and Computer Science 1998.
[Show BibTeX]
T. Hesse, B. Stein.
Hybrid Diagnosis in the Fluidic Domain.
In Alpaydin, E. and Fyfe, C. (eds.): Proceedings of the International ICSC Symposium on Engineering of Intelligent Systems (EIS 98). ICSI Academic Press (Canada), pp. 893-899, 1998.
[Show BibTeX]
B. Stein, E. Vier.
Computer-Aided Control Systems Design for Hydraulic Drives.
In Luc Boullart and Mia Loccufier and Sven Erik Mattsson (eds.): 7th IFAC Symposium on Computer-Aided Control Systems Design (CACSD 97). University of Ghent and the Belgian Institute for Automatic Control (BIRA) (Ghent, Belgium) 1997.
[Show BibTeX]
B. Stein, D. Curatolo, H. Kleine Büning.
Speeding up the Simulation of Fluidic Systems by a Knowledge-Based Selection of Numerical Methods.
In Euromech Colloquium 370 Synthesis of Mechatronic Systems. University of Duisburg Germany 1997.
[Show BibTeX]
O. Niggemann, B. Stein, M. Suermann.
Approaches for Solving the Cable Management Problem.
In de Werra, Dominique and Liebling, Thomas M. (eds.): Proceedings of the 16th International Symposium on Mathematical Programming (ISMP 97). Ecole Polytechnique F\'ed\'erale de Lausanne EPFL 1997.
[Show BibTeX]
O. Niggemann, B. Stein, M. Suermann.
Network Configuration: Approaches for Solving the Cable Management Problem.
In Müller, M. and Schumann, O. and Schumann, S. (eds.): Proceedings of the 11. Workshop Planen und Konfigurieren (PUK 97). FORWISS, Bavarian Research Center for Knowledge-Based Systems, Februar 1997 (FR 1997-001), pp. 23-31, 1997.
[Show BibTeX]
H. Kleine Büning, B. Stein, D. Curatolo.
Software zur Entwurfsunterstützung in der Hydraulik.
In Forschungsforum, University of Paderborn, Germany, vol. 3, pp. 1-4, , 1997.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Learning a Representation for Optimizable Formulas.
In ALT. , pp. 51-58, 1996.
[Show BibTeX]
B. Stein, D. Curatolo.
Model Formulation and Configuration of Technical Systems.
In Jürgen Sauer and Andreas Günter and Joachim Hertzberg (eds.): 10.\ Workshop Planen und Konfigurieren (PUK 96). Infix (Bonn, Germany), Proceedings in Artificial Intelligence, vol. 3, pp. 56-70, 1996.
[Show BibTeX]
B. Stein.
Optimized Design of Fluidic Drives--Objectives and Concepts.
Notes in Computer Science, no. tr-ri-97-189. University of Paderborn, Germany, Department of Mathematics and Computer Science 1996.
[Show BibTeX]
B. Stein.
Functional Models in Configuration Systems.
PhD thesis, University of Paderborn, Germany, Department of Mathematics and Computer Science 1995.
[Show BibTeX]
H. Kleine Büning, B. Stein.
Design and Realization of a Knowledge-based System that Supports the Setting into Operation of Hydraulic Systems.
Notes in Computer Science, no. tr-ri-95-166. University of Paderborn, Germany, Department of Mathematics and Computer Science 1995.
[Show BibTeX]
H. Kleine Büning, D. Curatolo, M. Hoffmann, R. Lemmen, M. Suermann, B. Stein.
ArtDeco - Entwurfsunterstützung in der Hydraulik.
In KI - Künstliche Intelligenz: Forschung, Entwicklung, Erfahrungen, vol. 9, no. 5, pp. 49-55, Oldenbourg, 1995.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Aussagenlogik - Deduktion und Algorithmen. In Teubner, Leitfäden und Monographien der Informatik, 1994.
[Show BibTeX]
R. Lemmen, B. Stein.
Zeit ist Geld. Rechnerunterstützung bei Entwurf und Konfigurationsprüfung hydraulischer Anlagen..
In FLUID - Fachzeitschrift für Hydraulik, vol. April, pp. 32-34, , 1994.
[Show BibTeX]
R. Lemmen, B. Stein.
Wissensbasierte Konfigurationsprüfung hydraulischer Anlagen.
In at - Automatisierungstechnik, vol. 3, pp. 113-117, , 1994.
[Show BibTeX]
H. Kleine Büning, D. Curatolo, B. Stein.
Configuration Based on Simplified Functional Models.
Notes in Computer Science, no. tr-ri-94-155. University of Paderborn, Germany, Department of Mathematics and Computer Science 1994.
[Show BibTeX]
H. Kleine Büning, D. Curatolo, B. Stein.
Knowledge-Based Support within Configuration and Design Tasks.
In Tanik, M. M. and Ertas, A. and Esat, I. I. (eds.): Second Biennial European Joint Conference on Engineering Systems Design and Analysis (ESDA 94). American Society of Mechanical Engineers, ASME, vol. PD 64-5, pp. 435-441, 1994.
[Show BibTeX]
H. Kleine Büning, D. Curatolo, B. Stein.
Unterstützung der Konfiguration, Auftragsbearbeitung und Konstruktion.
In S. Jähnichen (eds.): 17th European Congress Fair for Technical Communications (ONLINE 94). ONLINE GmbH (Hamburg, Germany) 1994.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
On the Restricted Equivalence Subclasses of Propositional Logic.
In ITA, vol. 27, no. 4, pp. 327-340, , 1993.
[Show BibTeX]
O. Najmann, B. Stein.
A Theoretical Framework of Configuration.
In Günter, A. (eds.): Künstliche Intelligenz (KI93), Workshop Konfigurationsmodelle, pp. 41-47, Hamburg, Germany: Laboratory for Artificial Intelligence 1993.
[Show BibTeX]
H. Kleine Büning, B. Stein.
Ein wissensbasiertes System zur Inbetriebnahmeunterstützung.
DFG Report. University of Paderborn, Germany, Department of Mathematics and Computer Science 1993.
[Show BibTeX]
H. Kleine Büning, B. Stein.
Entwicklung von Konfigurierungssystemen.
In Kurbel, Karl (eds.): Wirtschaftsinformatik - Innovative Anwendungen, Technologie, Integration (WI 93). Physica-Verlag (Heidelberg, Germany), pp. 287-302, 1993.
[Show BibTeX]
H. Kleine Büning, B. Stein.
Supporting the Configuration of Technical Systems.
In Hiller, Manfred and Fink, Bodo (eds.): Second Conference on Mechatronics and Robotics. IMECH, Mechatronics Institute (Moers, Germany), pp. 417-432, 1993.
[Show BibTeX]
B. Stein, R. Lemmen.
ArtDeco: A System which Assists the Checking of Hydraulic Circuits.
In 10th European Conference on Artificial Intelligence (ECAI 92), Workshop for Model-Based Reasoning. Christian Doppler Laboratory for Expert Systems (Vienna, Austria), pp. 92-97, 1992.
[Show BibTeX]
O. Najmann, B. Stein.
Zwei induktive Konfigurierungsmodelle.
In Messer, Tilo and Winklhofer, Andreas (eds.): 6.\ Workshop Planen und Konfigurieren (PUK 92). FORWISS, Bavarian Research Center for Knowledge-Based Systems, FR, no. 1992-001, pp. 112-121, 1992.
[Show BibTeX]
O. Najmann, B. Stein.
A Theoretical Framework of Configuration.
In Belli, Fevzi (eds.): Proceedings of the 5th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 92). Springer, Lecture Notes in Artificial Intelligence, vol. 604, pp. 441-450, 1992.
[Show BibTeX]
T. Lettmann.
ILFA Interface Concept.
In IWBS Report, vol. 193 IBM Germany Science Center, Institute for Knowledge Based Systems, 1991.
[Show BibTeX]
B. Stein, J. Weiner.
Funktionale Modelle in der Konfigurierung.
Series KI-NRW (Applications of Artificial Intelligence in North-Rhine Westphalia), no. 91-9. University of Duisburg, Germany, Department of Mathematics and Computer Science 1991.
[Show BibTeX]
B. Stein, J. Weiner.
Mokon. Modellbasierte Konfiguration technischer Anlagen.
In Andreas Günter and Roman Cunis (eds.): 5.\ Workshop Planen und Konfigurieren (PUK 91). Laboratory for Artificial Intelligence (Hamburg, Germany), LKI-M, no. 1/91, pp. 100-106, 1991.
[Show BibTeX]
B. Stein, J. Weiner.
Model-Based Configuration.
In Gerhard Friedrich and Franz Lackinger (eds.): 7th Conference of the Austrian Society for Artificial Intelligence (OEGAI 91), Workshop for Model-Based Reasoning. Christian Doppler Laboratory for Expert Systems (Vienna, Austria), pp. 63-73, 1991.
[Show BibTeX]
B. Stein.
Deep Models in Expert Systems.
In Proceedings of the SPQR Workshop on Multiple Models. IITB, Fraunhofer Institute for Information and Data Processing (Karlsruhe, Germany) 1991.
[Show BibTeX]
B. Stein.
Tiefe Modelle in Expertensystemen - Einordung und Abgrenzung.
Research Note 1991. (to be published)
[Show BibTeX]
B. Stein.
Entwicklung von Expertensystemen.
In Matthäus Schilcher (eds.): Geo-Informatik 91: Anwendungen, Erfahrungen, Tendenzen. Siemens, pp. 235-247, 1991.
[Show BibTeX]
H. Kleine Büning, B. Stein, J. Weiner.
Wissensbasierte Methoden für die Angebotserstellung.
In Workshop für Qualitätssicherung, Leipzig. 1991.
[Show BibTeX]
M. Bauer, B. Stein, J. Weiner.
Problemklassen in Expertensysteme.
In KI - Künstliche Intelligenz: Forschung, Entwicklung, Erfahrungen, vol. 3, pp. 13-18, Oldenbourg, 1991.
[Show BibTeX]
B. Stein, J. Weiner.
Mokon - Eine modellbasierte Entwicklungsplattform zur Konfiguration technischer Anlagen.
Notes in Computer Science, no. SM-DU-178. University of Duisburg, Germany, Department of Mathematics and Computer Science 1990.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Projections of Vector Addition System Reachability Sets are Semilinear.
In Theor. Comput. Sci., vol. 64, no. 3, pp. 343-350, , 1989.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.
In Computation Theory and Logic. , pp. 208-223, 1987.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Perspektiven für die Logikprogrammierung.
In Wissensrepräsentation in Expertensystemen. , pp. 56-78, 1987.
[Show BibTeX]
H. Kleine Büning, T. Lettmann.
Classes of First Order Formulas Under Various Satisfiability Definitions.
In CADE. , pp. 553-563, 1986.
[Show BibTeX]

Impressum | Webmaster | Letzte Änderungen am : 08.04.2014