Searching for "Conceptual Graphs and First Order Logic." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Conceptual Graphs and First Order Logic
- …Conceptual Graphs and First Order Logic GIANNI AMATI 1,2 AND IADH OUNIS 2 1 Fondazione Ugo…
- Cited by 8 (1 self) – Add To MetaCart
-
Conceptual Graphs and First-Order Logic
- …Conceptual Graphs and First-Order Logic Michel Wermelinger Departamento de Inform…
- Cited by 12 (0 self) – Add To MetaCart
-
Labeling Update Of Segmented Images Using Conceptual Graphs And Dempster-Shafer Theory Of Evidence
- …-Shafer theory of evidence, by linking conceptual graphs to first order logic worlds. The basic probability…
- Add To MetaCart
-
Towards Multi-Strategy Multi-Language-Class Classification for Conceptual Graphs
- … the formula v :u from conceptual graphs into first order logic for input to Otter. This includes translating…
- Cited by 1 (1 self) – Add To MetaCart
-
Meta Tool Support for a GUI for Conceptual Structures
- … of first order logic. The qualities of conceptual graphs as a knowledge representation language…
- Cited by 1 (1 self) – Add To MetaCart
-
Conceptual Graphs are also Graphs
- … " from logic. This point of view is illustrated in Figure 1. Problem Conceptual graphs First order logic…
- Cited by 9 (3 self) – Add To MetaCart
-
Matching Conceptual Graphs as an Aid to Requirements Re-use
- … direct mapping from conceptual graphs into first-order logic. The feasibility of constructing conceptual…
- Cited by 13 (0 self) – Add To MetaCart
-
Simple Concept Graphs: A Logic Approach
- … of conceptual graphs into first-order logic (cf. [So84] or [CM92]). For some notions and proofs, a set…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 8.
