Hans J. Ohlbach - Böcker

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.

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.

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;