The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang Bibel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfgang Bibel
    Constraint Satisfaction from a Deductive Viewpoint. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1988, v:35, n:3, pp:401-413 [Journal]
  2. Wolfgang Bibel
    On Matrices with Connections. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1981, v:28, n:4, pp:633-645 [Journal]
  3. Wolfgang Bibel
    Methods of Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Fundamentals of Artificial Intelligence, 1985, pp:171-217 [Conf]
  4. Wolfgang Bibel
    Advanced Topics in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    Advanced Topics in Artificial Intelligence, 1987, pp:41-59 [Conf]
  5. Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann
    Parallel Inference Machines. [Citation Graph (0, 0)][DBLP]
    Future Parallel Computers, 1986, pp:185-226 [Conf]
  6. Wolfgang Bibel
    Predicative programming revisited. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:25-40 [Conf]
  7. Wolfgang Bibel
    Artificial Intelligence in Europe. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:3-10 [Conf]
  8. Wolfgang Bibel, Michael Thielscher
    Deductive Plan Generation. [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:2-5 [Conf]
  9. Wolfgang Bibel
    Prädikatives Programmieren. [Citation Graph (0, 0)][DBLP]
    Automata Theory and Formal Languages, 1975, pp:274-283 [Conf]
  10. Wolfgang Bibel
    Time for Thinking Big in AI. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:120-131 [Conf]
  11. Wolfgang Bibel
    Perspectives on Automated Deduction. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:77-104 [Conf]
  12. Wolfgang Bibel
    Research Perspectives for Logic and Deduction. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:25-43 [Conf]
  13. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath
    KoMeT. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:783-787 [Conf]
  14. Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
    Cycle Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:94-108 [Conf]
  15. Wolfgang Bibel
    Perspectives on Automated Deduction (Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:426- [Conf]
  16. K. M. Hörnig, Wolfgang Bibel
    Improvements of a Tautology-Testing Algorithm. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:326-341 [Conf]
  17. Dilip Kumar Pratihar, Wolfgang Bibel
    Path Planning for Cooperating Robots Using a GA-Fuzzy Approach. [Citation Graph (0, 0)][DBLP]
    Advances in Plan-Based Control of Robotic Agents, 2001, pp:193-210 [Conf]
  18. Runping Qi, Wolfgang Bibel
    A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. [Citation Graph (0, 13)][DBLP]
    DASFAA, 1989, pp:301-309 [Conf]
  19. Wolfgang Bibel
    A Deductive Solution for Plan Generation. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:453-473 [Conf]
  20. Wolfgang Bibel, Jean-Marie Nicolas
    The Role of Logic for Data and Knowledge Bases: A Brief Summary. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:3-22 [Conf]
  21. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
    Problem-Oriented Applications of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:1-21 [Conf]
  22. Wolfgang Bibel
    On Strategies for the Systhesis of Algorithms. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:22-27 [Conf]
  23. Wolfgang Bibel
    Effizienzvergleiche von Beweisprozeduren. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1974, pp:153-160 [Conf]
  24. Wolfgang Bibel
    Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:29-40 [Conf]
  25. Wolfgang Bibel
    Parallel Inference Machines (Panel). [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:1162- [Conf]
  26. Wolfgang Bibel
    Let's Plan It Deductively! [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1549-1562 [Conf]
  27. Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
    Towards an Advanced Implementation of the Connection Method. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:920-922 [Conf]
  28. Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
    Artificial Intelligence in Western Europe. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:955-969 [Conf]
  29. Wolfgang Bibel
    Mating in Matrices. [Citation Graph (0, 0)][DBLP]
    GWAI, 1981, pp:171-187 [Conf]
  30. Wolfgang Bibel
    On the Completeness of Connection Graph Resolution. [Citation Graph (0, 0)][DBLP]
    GWAI, 1981, pp:246-247 [Conf]
  31. Wolfgang Bibel
    Deduktionsverfahren. [Citation Graph (0, 0)][DBLP]
    KIFS, 1982, pp:99-140 [Conf]
  32. Wolfgang Bibel
    Inferenzmethoden. [Citation Graph (0, 0)][DBLP]
    KIFS, 1984, pp:1-47 [Conf]
  33. Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
    Plan Generation by Linear Proofs: On Semantics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:49-62 [Conf]
  34. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
    A Multi-level Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:1-27 [Conf]
  35. Wolfgang Bibel
    A Theoretical Basis for the Systematic Proof Method. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:154-167 [Conf]
  36. Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
    Strategies for the synthesis of algorithms. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1978, pp:97-109 [Conf]
  37. Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
    Issues in Theorem Proving Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:1-16 [Conf]
  38. Wolfgang Bibel
    A syntactic connection between proof procedures and refutation prcedures. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:215-225 [Conf]
  39. Wolfgang Bibel
    Wissensbasierte Software-Entwicklung. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1985, pp:17-41 [Conf]
  40. Wolfgang Bibel
    Syntax-Directed, Semantics-Supported Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1980, v:14, n:3, pp:243-261 [Journal]
  41. Wolfgang Bibel
    A Comparative Study of Several Proof Procedures. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1982, v:18, n:3, pp:269-293 [Journal]
  42. Wolfgang Bibel
    Let's Plan it Deductively! [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:103, n:1-2, pp:183-208 [Journal]
  43. Wolfgang Bibel
    The Technological Change of Reality: Opportunities and Dangers. [Citation Graph (0, 0)][DBLP]
    AI Soc., 1989, v:3, n:2, pp:117-132 [Journal]
  44. Wolfgang Bibel
    Matings in Matrices. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1983, v:26, n:11, pp:844-852 [Journal]
  45. Wolfgang Bibel, Elmar Eder
    Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:2, pp:320-344 [Journal]
  46. Wolfgang Bibel
    Short Proofs of the Pigeonhole Formulas Based on the Connection Method. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:3, pp:287-297 [Journal]
  47. Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
    SETHEO: A High-Performance Theorem Prover. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:2, pp:183-212 [Journal]
  48. Wolfgang Bibel
    Automated Inferencing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1985, v:1, n:3, pp:245-260 [Journal]
  49. Wolfgang Bibel, K. Aspetsberger
    A Bibliography on Parallel Inference Machines. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1985, v:1, n:1, pp:115-118 [Journal]
  50. Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
    Foreword to the Special Issue on Schemas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:1-3 [Journal]
  51. Jens Otten, Wolfgang Bibel
    leanCoP: lean connection-based theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:139-161 [Journal]
  52. Wolfgang Bibel
    Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:1, pp:43- [Journal]
  53. Wolfgang Bibel
    Bedeutung / Ursprünge der Intellektik. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:1, pp:51- [Journal]
  54. Wolfgang Bibel
    Die Fehl-Sprüche sozialorientierter Autoren. [Citation Graph (0, 0)][DBLP]
    KI, 1991, v:5, n:2, pp:110- [Journal]
  55. Wolfgang Bibel
    DFG-Schwerpunkprogramm Deduktion. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:71-74 [Journal]
  56. Wolfgang Bibel
    Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. [Citation Graph (0, 0)][DBLP]
    KI, 1993, v:7, n:4, pp:49- [Journal]
  57. Wolfgang Bibel
    DFG-Schwerpunktprogramm ``Deduktion''. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:38-40 [Journal]
  58. Wolfgang Bibel, Ulrich Furbach
    Logik, KI und Intellektik. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:91-94 [Journal]
  59. Wolfgang Bibel, Jörg H. Siekmann
    Informatik und Intellektik als zukünftiges Zwiegespann. [Citation Graph (0, 0)][DBLP]
    KI, 1994, v:8, n:1, pp:16-22 [Journal]
  60. Wolfgang Bibel
    A Deductive Solution for Plan Generation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:2, pp:115-132 [Journal]
  61. Wolfgang Bibel
    Tautology Testing with a Generalized Matrix Reduction Method. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:8, n:, pp:31-44 [Journal]
  62. Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel
    Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2002, v:14, n:2, pp:353-368 [Journal]
  63. Wolfgang Bibel
    Early History and Perspectives of Automated Deduction. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:2-18 [Conf]
  64. Wolfgang Bibel
    Towards the AI Summer. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:443-444 [Conf]

  65. An approach to a systematic theorem proving procedure in first-order logic. [Citation Graph (, )][DBLP]


Search in 0.074secs, Finished in 0.076secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002