Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Rules of inference / Logic in computer science / Resolution / Prolog / Horn clause / Clause / Function / Mathematics / Mathematical logic / Theoretical computer science


INTEGRITY CHECKING IN DEDUCTIVE DATABASES Robert Kowalski Fariba Sadri Paul Soper Departmentof Computing ImperialCollegeof ScienceandTechnology 180Queen’sGate
Add to Reading List

Document Date: 2006-07-10 08:54:17

Open Document

File Size: 777,83 KB

Share Result on Facebook

City

Munich / Charleston / London / /

Company

Deductive Database Systems / /

Country

United States / /

Currency

pence / /

Facility

Imperial College / University of Melbourne / /

IndustryTerm

search strategies / simplification algorithms / e−− / /

OperatingSystem

Unix / /

Organization

University of Melbourne / Very Large Data Base Endowment / /

Person

Kave Eshghi / Robert Kowalski Fariba Sadri Paul / Employed(Alan) Registered-alien / Fariba Sadri Paul Soper Departmentof / Purpose Theorem-Proving / Lloyd / Departed Deported / Rodney Topor / Hendrik Decker / Morgan Kaufmann / /

Position

Major / forward / General / interpreter / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

South Carolina / Utah / /

Technology

expert system / DTD / simplification algorithms / Unix / /

SocialTag