Cover Image

Reasoning and Unification over Conceptual Graphs /

Show other versions (1)

<STRONG>Reasoning and Unification over Conceptual Graphs</STRONG> 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...

Full description

Bibliographic Details
Main Author:	Corbett, Dan
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US : Imprint : Springer, 2003.
Subjects:	Computer science. Computational complexity. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Practical Applications of Computational Intelligence Techniques /
by: Jain, Lakhmi
Published: (2001)

Managing Uncertainty in Expert Systems /
by: Grzymala-Busse, Jerzy W.
Published: (1991)

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970 /
by: Siekmann, Jörg H.
Published: (1983)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

Automated Mathematical Induction /
by: Zhang, H. (Hantao)
Published: (1996)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Intuitionistic Fuzzy Sets : Theory and Applications /
by: Atanasov, Krasimir
Published: (1999)

Logical Structures for Representation of Knowledge and Uncertainty /
by: Hisdal, Ellen
Published: (1998)

Intelligent Decision Support : Handbook of Applications and Advances of the Rough Sets Theory /
by: Słowiński, Roman
Published: (1992)

Rough Sets and Data Mining : Analysis of Imprecise Data /
by: Lin, T. Y.
Published: (1996)

Granular Computing : an Introduction /
by: Bargiela, A. (Andrzej)
Published: (2003)

Automated Deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings /
by: Bundy, Alan
Published: (1994)

Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings /
by: McRobbie, Michael A.
Published: (1996)

Resolution Proof Systems : An Algebraic Theory /
by: Stachniak, Zbigniew
Published: (1996)

Unconventional Models of Computation, UMC'2K : Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC'2K) /
by: Antoniou, I.
Published: (2001)

Artificial Intelligence in Logic Design /
by: Yanushkevich, Svetlana N.
Published: (2004)

Finite Fields : Normal Bases and Completely Free Elements /
by: Hachenberger, Dirk
Published: (1997)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
by: Nola, Antonio
Published: (1989)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Computability and Models : Perspectives East and West /
by: Cooper, S. Barry
Published: (2003)

Software Defect and Operational Profile Modeling /
by: Cai, Kai-Yuan
Published: (1998)

Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings /
by: Schulz, Klaus U.
Published: (1992)

Fuzzy Logic in Data Modeling : Semantics, Constraints, and Database Design /
by: Chen, Guoqing
Published: (1998)

Soft Computing for Knowledge Discovery : Introducing Cartesian Granule Features /
by: Shanahan, James G.
Published: (2000)

Power Algebras over Semirings : With Applications in Mathematics and Computer Science /
by: Golan, Jonathan S.
Published: (1999)

Knowledge Representation and Defeasible Reasoning /
by: Kyburg, Henry E.
Published: (1990)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Frontiers in Belief Revision /
by: Williams, Mary-Anne
Published: (2001)

Relations and Graphs : Discrete Mathematics for Computer Scientists /
by: Schmidt, Günther
Published: (1993)

On Conceptual Modelling : Perspectives from Artificial Intelligence, Databases, and Programming Languages /
by: Brodie, Michael L.
Published: (1984)

Finite and Infinite Combinatorics in Sets and Logic /
by: Sauer, N. W.
Published: (1993)

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering /
by: Angstenberger, Larisa
Published: (2001)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Fuzzy Databases : Principles and Applications /
by: Petry, Fred
Published: (1996)