?-resolution and hybrid knowledge bases

Authors: Leach, S.M.; Lu, J.J.; Murray, N.V.; Rosenthal, E.

Source: Journal of The Franklin Institute, Volume 338, Number 5, August 2001 , pp. 583-600(18)

Publisher: Elsevier

Buy & download fulltext article:

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.

Proceed

Keywords: ?-resolution; Deduction; Generalized annotated logic programming; Hybrid knowledge bases; Inference

Document Type: Research Article

DOI: http://dx.doi.org/10.1016/S0016-0032(01)00022-9

Affiliations: bEmory University, 30322, Atlanta, GA, USA

Publication date: August 1, 2001

Related content

Tools

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page