Bibliography on the TECHS Approach

This is the complete bibliography of our reports and publications about the TECHS approach. Due to copyright and other reasons not all the papers are electronically available. But if you are interested in these papers just send us an email with your postal adddress and the title of the paper you wish to receive.

Journals and Books

• Denzinger, J. ; Dahn, I.: Cooperating Theorem Provers, in W. Bibel, P.H. Schmitt (eds.): Automated Deduction. A basis for applications. Vol. II: Systems and Implementation Techniques, Kluwer Academic Publishers, 1998, pp. 383-416.
• Fuchs, D.: On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi, Fundamenta Informaticae 39, 1999, pp. 123-143.
• Baar, T. ; Fischer, B. ; Fuchs, D.: Integrating Deduction Techniques in a Software Reuse Application, Journal of Universal Computer Science (JUCS) 5(3), 1999, pp. 52-72.
• Fuchs, D. ; Fuchs, M.: Cooperation between Top-down and Bottom-up Theorem Provers, Journal of Artificial Intelligence Research (JAIR), 10, 1999, pp. 169-198.
• Fedoruk, A. ; Denzinger, J.: A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search,
  International Transactions on Systems Science and Applications (ITSSA), Vol 1(4), 2006, pp. 357-362.
  • Abstract

Conference Proceedings

• Fuchs, D.: Coupling Saturation-Based Provers by Exchanging Positive/Negative Information, Proc. RTA-98, Tsukuba, LNCS 1379, 1998, pp. 317-331.
  Extended version as SEKI-Report SR-97-07, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (110 Kbytes)
• Denzinger, J. ; Fuchs, D.: Enhancing Conventional Search Systems with Multi-Agent Techniques: a Case Study, Proc. ICMAS-98, Paris, IEEE Computer Society, 1998, pp. 419-420.
• Fuchs, D.: Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer, Proc. AISC-98, Plattsburgh, LNAI 1476, 1998, pp. 157-169.
  Extended version as SEKI-Report SR-98-01, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (77 Kbytes)
• Fuchs, D.: Requirement-Based Cooperative Theorem Proving, Proc. JELIA-98, Dagstuhl, LNAI 1489, 1998, pp. 139-153.
  Extended version as SEKI-Report SR-98-02, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (77 Kbytes)
• Denzinger, J. ; Offermann, T.: On Cooperation between Evolutionary Algorithms and other Search Paradigms, Proc. CEC-99, Washington, IEEE Press, 1999, pp. 2317-2324.
  • Abstract
• Denzinger, J. ; Fuchs, D.: Cooperation of Heterogeneous Provers, Proc. IJCAI-99, Stockholm, Morgan Kaufmann, 1999, pp. 10-15.
  • Abstract
• Denzinger, J. ; Kidney, J.: Improving Migration by Diversity,
  Proc. CEC 2003, Canberra, 2003, pp. 700-707.
  • Abstract
  • Download full paper (101 KBytes)
• Mora, T. ; Sesay, A.B. ; Denzinger, J. ; Golshan, H. ; Poissant, G. ; Konecnik, C.: Cooperative search for optimizing pipeline operations,
  Proc. AAMAS 2008 - Industry and Applications Track, Estoril, 2008, pp. 115-122
  • Abstract
  • Download full paper (618 Kbytes)
• Mora, T. ; Sesay, A.B. ; Denzinger, J. ; Golshan, H. ; Poissant, G. ; Konecnik, C.: Fuel Optimization Using Biologically-inspired Computational Models,
  Proc. International Pipeline Conference IPC 2008, Calgary, 2008.
  • Abstract

Internal Reports

• Denzinger, J. ; Fuchs, D.: Cooperation in Theorem Proving by Loosely Coupled Heuristics, SEKI-Report SR-97-03, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (101 Kbytes)
• Denzinger, J. ; Fuchs, D.: Knowledge-based Cooperation between Theorem Provers by TECHS SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (80 Kbytes)
• Fuchs, D.: Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures SEKI-Report SR-98-06, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (105 Kbytes)

back to the TECHS page.

Last Change: 5/12/2013