<--- Back to Details
First PageDocument Content
Semantics / Datalog / Logic programming / Rules of inference / Stratification / Negation as failure / Negation / Transitive closure / Model theory / Logic / Mathematics / Mathematical logic
Date: 2010-02-12 06:45:46
Semantics
Datalog
Logic programming
Rules of inference
Stratification
Negation as failure
Negation
Transitive closure
Model theory
Logic
Mathematics
Mathematical logic

15 Alice: Sergio: Alice: Riccardo: Vittorio:

Add to Reading List

Source URL: webdam.inria.fr

Download Document from Source Website

File Size: 364,61 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