Grigoris Antoniou Livres

This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks.

The Semantic Web Vision. Structured Web Documents in XML. Describing Web Resources in RFD. Web Ontology Language: OWL. Logic and Interference: Rules. Applications. Ontology Engineering. Conclusion and Outlook.

InhaltsverzeichnisFundamentals of Reasoning and Reasoning Languages.Foundations of Rule-Based Query Answering.Reasoning in Description Logics: Basics, Extensions, and Relatives.Rules, Rule Languages, and Policies.Reactive Rules on the Web.Rule-Based Policy Representation and Reasoning for the Semantic Web.Rule Interchange on the Web.Applications of Semantic Web Reasoning.Reasoning in Semantic Wikis.Semantic Wiki Representations for Building an Enterprise Knowledge Base.Semantic Descriptions in an Enterprise Search Solution.Semantic Web Service Discovery and Selection in B2B Integration Scenarios.

This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held at Heraklion, Crete, Greece in May 2006. The 43 revised full papers and extended abstracts of 34 revised short papers presented together with 2 invited contributions address many areas of artificial intelligence; particular fields of interest include: logic programming, knowledge-based systems, intelligent information retrieval, machine learning, neural nets, genetic algorithms, and more.

This book constitutes the refereed proceedings of the Third International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2004, held in Hiroshima, Japan, in November 2004, together with ISWC 2004. The 11 revised full papers presented together with 2 invited papers and 5 tool presentation abstracts were carefully reviewed and selected from 25 submissions. Among the topics addressed are nonmonotonic rule systems, rule learning for feature extraction, logic reasoners for the Semantic Web, deductive RDF rule languages, description logic programs, defeasible description logics, conceptual logic programs, OWL inferencing, and Semantic Web reasoning.

This book constitutes the thoroughly revised and refereed post-workshop documentation of two international workshops held in conjunction with the Pacific Rim International Conference on Artificial Intelligence, PRICAI'96, in Cairns, Australia, in August 1996. The volume presents 14 revised full papers togehter with two invited contributions and two introductory surveys particularly commissioned for this book. Among the topics addressed are computational learning, commonsense reasoning, constraint logic programming, fuzzy reasoning, vague data, inductive inference, belief revision, action theory, uncertainty, and probabilistic diagnosis.