Rulelog
id:
rulelog-306-9688645
title:
Rulelog
text:
Rulelog is an expressive semantic rule-based knowledge representation and reasoning (KRR) language. It underlies knowledge representation languages used in systems such as Flora-2, SILK and others. It extends well-founded declarative logic programs with features for higher-order syntax, frame syntax, defeasibility, general quantified expressions both in the bodies of the rules and their heads, user-defined functions, and restraint bounded rationality.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Rulelog
date created:
date modified:
2024-03-18T00:03:10Z
main entity:
{"identifier":"Q60792218","url":"https://www.wikidata.org/entity/Q60792218"}
image:
fields total:
13
integrity:
13