Hans J. Ohlbach - Böcker
Visar alla böcker från författaren Hans J. Ohlbach. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Principles and Practice of Semantic Web Reasoning
Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings
Häftad, Engelska, 2004
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Second International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2004, held in St. Malo, France in September 2004. The 11 revised full papers presented were carefully reviewed and selected from 19 submissions. Among the topics addressed are structures in XML documents, querying and updating XML documents, invoking ontologies into the querying process, manipulating and invoking temporal notions, non-monotonic reasoning, and Web services.
GWAI-92: Advances in Artificial Intelligence
16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings
Häftad, Engelska, 1993
552 kr
Skickas inom 10-15 vardagar
This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlin from August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D. M. Gabbay entitled"Howto construct a logic for your application". Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expert systemapplications, knowledge engineering, time interval networks,forward logic evaluation, concept support, heuristicinductivegeneralization, language engineering, featurelogic, similarity assessment, and many others.
Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Häftad, Engelska, 1994
1 096 kr
Skickas inom 10-15 vardagar
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;
1 064 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997.The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches.