|
Showing 1 - 4 of
4 matches in All Departments
Reasoning and Unification over Conceptual Graphs is an exploration
of automated reasoning and resolution in the expanding field of
Conceptual Structures. Designed not only for computing scientists
researching Conceptual Graphs, but also for anyone interested in
exploring the design of knowledge bases, the book explores what are
proving to be the fundamental methods for representing semantic
relations in knowledge bases. While it provides the first
comprehensive treatment of Conceptual Graph unification and
reasoning, the book also addresses fundamental issues of graph
matching, automated reasoning, knowledge bases, constraints,
ontology and design. With a large number of examples,
illustrations, and both formal and informal definitions and
discussions, this book is excellent as a tutorial for the reader
new to Conceptual Graphs, or as a reference book for a senior
researcher in Artificial Intelligence, Knowledge Representation or
Automated Reasoning.
Reasoning and Unification over Conceptual Graphs is an exploration
of automated reasoning and resolution in the expanding field of
Conceptual Structures. Designed not only for computing scientists
researching Conceptual Graphs, but also for anyone interested in
exploring the design of knowledge bases, the book explores what are
proving to be the fundamental methods for representing semantic
relations in knowledge bases. While it provides the first
comprehensive treatment of Conceptual Graph unification and
reasoning, the book also addresses fundamental issues of graph
matching, automated reasoning, knowledge bases, constraints,
ontology and design. With a large number of examples,
illustrations, and both formal and informal definitions and
discussions, this book is excellent as a tutorial for the reader
new to Conceptual Graphs, or as a reference book for a senior
researcher in Artificial Intelligence, Knowledge Representation or
Automated Reasoning.
This book constitutes the refereed proceedings of the 10th International Conference on Conceptual Structures, ICCS 2002, held in Borovets, Bulgaria. in July 2002.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data and knowledge structures, information retrieval, natural language, ontology and semantics, interfaces and applications, and logical and mathematical foundations.
This book constitutes the refereed proceedings of the 14th Australian Joint Conference on Artificial Intelligence, AI 2001, held in Adelaide, Australia, in December 2001.The 55 revised full papers presented together with one invited contribution were carefully reviewed and selected from a total of 100 submissions. The papers cover the whole range of artificial intelligence from theoretical and foundational issues to advanced applications in a variety of fields.
|
|