Sciweavers

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

20

ALPUK
1990

favoriteEmaildiscussreport

86views more ALPUK 1990»

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

14 years 1 days 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)