52 search results - page 1 / 11 » Conceptual Graphs and First-Order Logic |
ICCS
1995
Springer
13 years 8 months ago
1995
Springer
CJ
2000
13 years 5 months ago
2000
ECAI
1992
Springer
13 years 8 months ago
1992
Springer
GG
2004
Springer
13 years 10 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 ...
CADE
2003
Springer
14 years 5 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...