Sciweavers

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

139

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

16 years 1 days ago

A Computational Model for Functional Logic Deductive Databases

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto

Real-time Traffic

Automated Reasoning | ICLP 2001 |

claim paper

Related Content

» A Relational Algebra for Functional Logic Deductive Databases

» Belief Reasoning in MLS Deductive Databases

» Model Based Deduction for Database Schema Reasoning

» Probabilistic Logical Information Retrieval for Content Hypertext and Database Querying

» A Functional Programming Approach to Deductive Databases

» A Deductive Spreadsheet System for End Users

» ActiveUDatalog Integrating Active Rules in a Logical Update Language

» On the design and implementation of information systems from deductive conceptual models

» Integrating induction and deduction for finding evidence of discrimination

Post Info
More Details (n/a)

Added	29 Jul 2010
Updated	29 Jul 2010
Type	Conference
Year	2001
Where	ICLP
Authors	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández

Comments (0)