Tobias Müller  Home/Search
Context
Related
| gu.edu.au/kvo/reports/tobias.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gu.edu.au/kvo/reports/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis describes an attempt to employ conceptual graphs in a new way. In the past conceptual graphs have always been regarded as existentially quantified logic sentences. The intuition that conceptual graphs generalize feature structures inspires an alternative interpretation of CGs as "descriptions of objects in some domain", which we claim to be at least as appealing and intuitive as the traditional interpretation of CGs as first order logic sentences. With this new interpretation in... (Update)
Active bibliography (related documents): More All
0.5: Conceptual Graphs and First Order Logic - Amati, Ounis (2000) (Correct)
0.5: Knowledge Reuse in SEED Exploiting Conceptual Graphs - Corbett, Burrow (Correct)
0.5: Cognitive Support in Software Engineering Tools: A.. - Andrew Walenstein (2002) (Correct)
Similar documents based on text: More All
0.5: Learning to Generate CGs from Domain Specific Sentences - Zhang, Yu (Correct)
0.5: Conceptual Graphs: An Overview, Software and Issues - Polovina (Correct)
0.5: Representing Conceptual Graphs in Algernon: Working Note 9 - Peter Clark And (Correct)
BibTeX entry: (Update)
@misc{ ller-conceptual,
author = "Tobias Müller",
title = "Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving",
url = "citeseer.ist.psu.edu/98276.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
388 Conceptual Structures: Information processing in mind and ma.. (context) - Sowa - 1984
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
207 The logic of typed feature structures - Carpenter - 1992
49 Cambridge Mathematical Textbooks (context) - Davey, Priestley et al. - 1990
20 A machine oriented logic based on the resolution principle (context) - Robinson - 1965
15 Extensions to Unification Grammar for the description of Pro.. (context) - Andrew - 1988
15 Deduction systems based on resolution - Eisinger, Ohlbach - 1993
14 A Lattice-Theoretic Approach to Computation based on a Calcu.. (context) - it-Kaci - 1984
11 Polynomial algorithms for projection and matching (context) - Mugnier, Chein - 1992
9 Laboratory for Computational Linguistics (context) - Carpenter, Penn et al. - 1994
6 Specialization: Where do the difficulties occur (context) - Chein, Mugnier - 1992
5 Projection and unification for conceptual graphs (context) - Willems - 1995
2 IEEE Computer Graphics and Applications (context) - Heisserman, design - 1994
2 Lecture Notes in Artificial Intelligence (context) - William, Tephenhart et al. - 1994
2 Lecture Notes in Artificial Intelligence (context) - Mineau, Moulin - 1993
1 Lecture Notes in Artificial Intelligence (context) - Peter, Eklund et al. - 1996
1 Lecture Notes in Artificial Intelligence (context) - Gerard, Robert et al. - 1995
1 Login: A logical programming language with built in inherita.. (context) - it-Kaci, Nasr - 1986
1 ACM Transactions on Programming Languages and Systems (context) - Hassan, it-Kaci et al. - 1989
1 Journal of Computer Sciences (context) - Paterson, Wegman - 1978
1 Generating languages of solid models (context) - Heisserman, Woodbury - 1991
1 Claude Frasson and Jean-Yves Djamen (context) - Adil
1 Lecture Notes in Artificial Intelligence (context) - Pfeiffer, Nagle - 1992
Documents on the same site (http://www.int.gu.edu.au/kvo/reports/index.html): More
Architecture And Algorithms For Modelling Facility Location.. - Burger (1997) (Correct)
A Medical Text Classification Agent Using Snomed And Formal.. - Cole (1995) (Correct)
Languages and Ontologies to Structure and Access Web Knowledge - Martin, Eklund (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC