Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ALPUK
1990

favoriteEmaildiscussreport

86views more ALPUK 1990»

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming

13 years 6 months ago

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming

Download www.macs.hw.ac.uk

Hamish Taylor

Real-time Traffic

ALPUK 1990 |

claim paper

Related Content

» Reconciling description logics and rules

» The Parallelization of a Knowledge Discovery System with Hypergraph Representation

» Deduction by Combining Semantic Tableaux and Integer Programming

» A Deductive System for FOID Based on Least Fixpoint Logic

» A formal framework for synthesis and verification of logic programs

» A Natural Deduction Approach to Dynamic Logic

» LogicBased Integration of Query Answering and Knowledge Discovery

» Logic and Databases

» A Logic for Anytime Deduction and Anytime Compilation

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1990
Where	ALPUK
Authors	Hamish Taylor

Comments (0)