Reasoning and Unification over Conceptual Graphs - Hardcover

Corbett, Dan

 
9780306474873: Reasoning and Unification over Conceptual Graphs
Hardcover
ISBN 10: 0306474875 ISBN 13: 9780306474873
Verlag: Springer, 2003

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2003
Sprache
Englisch
ISBN 10 
0306474875
ISBN 13 
9780306474873
Einband
Gebundene Ausgabe
Anzahl der Seiten
161
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781461349174: Reasoning and Unification over Conceptual Graphs

Vorgestellte Ausgabe

ISBN 10:  1461349176 ISBN 13:  9781461349174
Verlag: Springer, 2012
Softcover