45 search results - page 1 / 9 » Conceptual Graphs and First Order Logic |
ICCS
1995
Springer
15 years 1 months ago
1995
Springer
CJ
2000
14 years 10 months ago
2000
ECAI
1992
Springer
15 years 1 months ago
1992
Springer
75
Voted
GG
2004
Springer
15 years 3 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
92
Voted
CADE
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...