Publikationen
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]
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]
@article{Bubeck-2012a,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]
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. 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]
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. 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]
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.
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]
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]
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]
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. Baumann, H. Kleine Büning.
State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces.
In The Tenth International Conference on Machine Learning and Applications (ICMLA 2011) (accepted for publication). 2011
[Show BibTeX]
State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces.
In The Tenth International Conference on Machine Learning and Applications (ICMLA 2011) (accepted for publication). 2011
[Show BibTeX]
A. Vodencarevic, H. Kleine Büning, O. Niggemann, A. Maier.
Identifying Behavior Models for Process Plants.
In 16th IEEE International Conference on Emerging Technologies and Factory Automation ETFA'2011. Toulouse, France 2011
[Show BibTeX]
Identifying Behavior Models for Process Plants.
In 16th IEEE International Conference on Emerging Technologies and Factory Automation ETFA'2011. Toulouse, France 2011
[Show BibTeX]
A. Vodencarevic, H. Kleine Büning, O. Niggemann, A. Maier.
Using Behavior Models for Anomaly Detection in Hybrid Systems.
In 23rd International Symposium on Information, Communication and Automation Technologies-ICAT 2011. Sarajevo, Bosnia and Herzegovina 2011
[Show BibTeX]
Using Behavior Models for Anomaly Detection in Hybrid Systems.
In 23rd International Symposium on Information, Communication and Automation Technologies-ICAT 2011. Sarajevo, Bosnia and Herzegovina 2011
[Show BibTeX]
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]
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]
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]
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]
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]
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]
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]
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. 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]
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]
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,. 2010
[Show BibTeX]
The Power of Auxiliary Variables for Propositional and Quantified Boolean Formulas.
In Studies in Logic, vol. 3, no. 3, pp. 1-23,. 2010
[Show BibTeX]
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]
Convergence Analysis of a Multiagent Cooperation Model (extended Version).
Technical Report, no. TR-RI-10-321. University of Paderborn 2010
[Show BibTeX] [PDF]
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]
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]
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,. 2009
[Show BibTeX]
A new 3-CNF Transformation by Parallel-Serial Graphs.
In Information Processing Letters, vol. 109, no. 7, pp. 376-379,. 2009
[Show BibTeX]
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]
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]
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]
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]
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,. 2008
[Show BibTeX]
Models and Quantifier Elimination for Quantified Horn Formulas.
In Discrete Applied Mathematics, vol. 156, no. 10, pp. 1606-1622,. 2008
[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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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, 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]
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]
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]
Software zur Entwurfsunterstützung in der Hydraulik.
In Forschungsforum, University of Paderborn, Germany, vol. 3, pp. 1-4,. 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]
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]
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]
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, 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]
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, 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]
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, 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]
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.
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]
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, 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]
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]
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]
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.
Ein wissensbasiertes System zur Inbetriebnahmeunterstützung.
DFG Report. University of Paderborn, Germany, Department of Mathematics and Computer Science 1993
[Show BibTeX]
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, J. Weiner.
Wissensbasierte Methoden für die Angebotserstellung.
In Workshop für Qualitätssicherung, Leipzig. 1991
[Show BibTeX]
Wissensbasierte Methoden für die Angebotserstellung.
In Workshop für Qualitätssicherung, Leipzig. 1991
[Show BibTeX]