45 search results - page 1 / 9 » Conceptual Graphs and First Order Logic |
81
Voted
ICCS
1995
Springer
15 years 4 months ago
1995
Springer
78
Voted
CJ
2000
15 years 28 days ago
2000
89
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
101
Voted
GG
2004
Springer
15 years 6 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 ...
117
Voted
CADE
2003
Springer
16 years 1 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...