Link inheritance in abstract clause graphs

Journal of Automated Reasoning ◽

10.1007/bf00381143 ◽

1987 ◽

Vol 3 (1) ◽

pp. 1-34 ◽

Cited By ~ 8

Author(s):

Hans J�rgen Ohlbach

Keyword(s):

Clause Graphs

Semantic Selection for Resolution in Clause Graphs

Lecture Notes in Computer Science - AI 2002: Advances in Artificial Intelligence ◽

10.1007/3-540-36187-1_8 ◽

2002 ◽

pp. 83-94

Author(s):

Seungyeob Choi ◽

Manfred Kerber

Keyword(s):

Selection For ◽

Clause Graphs

GWAI-89 13th German Workshop on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-75100-4_9 ◽

1989 ◽

pp. 74-82

Author(s):

Rolf Socher-Ambrosius

Keyword(s):

Clause Graphs

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_6 ◽

1986 ◽

pp. 77-100 ◽

Cited By ~ 3

Author(s):

Hans Jürgen Ohlbach

Keyword(s):

Theory Unification ◽

Clause Graphs