Wyniki wyszukiwania:

This volume gives the proceedings of the sixteenth German Conference on Artificial Intelligence, held in the Gustav Stresemann Institute in Berlin from August 31 to September 3, 1992. The volume contains 24 papers presentedin the technical sessions, 8 papers selected from the workshop contributions, and an invited talk by D.M. Gabbay entitled "Howto construct a logic for your application." Topics discussed in the technical papers include: a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, expert system applications, knowledge engineering,...

The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanarticle TheSemanticWeb (Berners-Leeetal. ), which says TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de?ned meaning, better enabling computers and people to work in cooperation. People who work on the Semantic Web quite often base their work on the famous semantic web tower, a product of Tim Berners-Lee s inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi?cation of resources on the Web (URIs). The highest...

This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by...

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical...