Results 81 to 90 of about 2,636 (156)

DES: a Challenge Problem for Nonmonotonic Reasoning Systems

open access: yes, 2000
The US Data Encryption Standard, DES for short, is put forward as an interesting benchmark problem for nonmonotonic reasoning systems because (i) it provides a set of test cases of industrial relevance which shares features of randomly generated problems and real-world problems, (ii) the representation of DES using normal logic programs with the stable
Hietalahti, Maarit   +2 more
openaire   +2 more sources

Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]

open access: yes, 2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic ...
openaire   +1 more source

A rational reconstruction of nonmonotonic truth maintenance systems

open access: yesArtificial Intelligence, 1990
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Home - About - Disclaimer - Privacy