<--- Back to Details
First PageDocument Content
Non-classical logic / Logic programming / Defeasible logic / Inference / Non-monotonic logic / Æ / Stratification / First-order logic / Logic / Mathematical logic / Reasoning
Date: 2012-02-01 08:51:35
Non-classical logic
Logic programming
Defeasible logic
Inference
Non-monotonic logic
Æ
Stratification
First-order logic
Logic
Mathematical logic
Reasoning

Fundamenta Informaticae[removed]–[removed]IOS Press

Add to Reading List

Source URL: www.ida.liu.se

Download Document from Source Website

File Size: 138,55 KB

Share Document on Facebook

Similar Documents

Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 233–253 A family of estimators of population mean using multi-auxiliary variate and post-stratification Gajendra K. Vishwakarma1 , Housila P. Singh1 , S

DocID: 1v4jS - View Document

Perturbation technique to retrieve scattering medium stratification Igor N. Polonsky School of Physics, University of New South Wales Sydney, 2052, Australia

DocID: 1uEWa - View Document

A Comparative Analysis of Social Stratification in Japan, Korea and Taiwan: Where is the Locus of Social Inequality?* Shin ARITA Institute of Social Science University of Tokyo

DocID: 1uCPb - View Document

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST

DocID: 1ukNz - View Document

Article ID: WMC003223 ISSNThe Potential Usefulness of Pre and Post Operative Risk Group Stratification in Predicting PSA Failure

DocID: 1ugd4 - View Document