Back to Results
First PageMeta Content
Reasoning / Science / Semantic Web / Programming paradigms / Boolean algebra / Rule Interchange Format / Semantic Web Rule Language / Stable model semantics / Knowledge representation and reasoning / Logic / Logic programming / Mathematical logic


Omni-directional Hyper Logic Programs in SILK and RIF Benjamin Grosof1 , Carl Andersen2 , Mike Dean2 , and Michael Kifer3 1 2
Add to Reading List

Document Date: 2010-09-29 10:18:55

Open Document

File Size: 162,50 KB

Share Result on Facebook

City

Seattle / Arlington / /

Company

SRI International / the New York Times / Michael Kifer3 1 2 Vulcan Inc. / Raytheon BBN Technologies / Vulcan Inc. / Cycorp / hyper LP. / Horn LP. / Object Management Group / /

Country

United States / /

/

Facility

interchange cf. / Stony Brook University / /

IndustryTerm

Web rule language / web sources / e - commerce / e-science / /

Organization

Stony Brook University / /

Person

Paul Haley / Brett Benyo / /

Position

author / universal FOL-formula head / i.e. / correspondent / universal FOL-formula head / rule head / General / head / Dean / /

ProgrammingLanguage

XML Schema / /

PublishedMedium

the New York Times / Annals of Mathematics / /

RadioStation

Core / /

Technology

XML / artificial intelligence / RDF / GUI / /

URL

http /

SocialTag