Order:
Disambiguations
Wolfgang Bibel [8]W. Bibel [5]
  1.  11
    Constraint satisfaction from a deductive viewpoint.W. Bibel - 1988 - Artificial Intelligence 35 (3):401-413.
  2.  7
    Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.
  3.  8
    Syntax-directed, semantics-supported program synthesis.Wolfgang Bibel - 1980 - Artificial Intelligence 14 (3):243-261.
  4.  7
    Letter to the editor.S. Brüning, M. Thielscher & W. Bibel - 1993 - Artificial Intelligence 64 (2):353-354.
  5.  4
    A comparative study of several proof procedures.Wolfgang Bibel - 1982 - Artificial Intelligence 18 (3):269-293.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980.W. Bibel & Robert Kowalski - 1980 - Springer Verlag.
  7.  61
    The technological change of reality: Opportunities and dangers.Wolfgang Bibel - 1989 - AI and Society 3 (2):117-132.
    This essay discusses the trade-off between the opportunities and the dangers involved in technological change. It is argued that Artificial Intelligence technology, if properly used, could contribute substantially to coping with some of the major problems the world faces because of the highly complex interconnectivity of modern human society.In order to lay the foundation for the discussion, the symptoms of general unease which are associated with current technological progress, the concept of reality, and the field of Artificial Intelligence are very (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark