Matches in Ruben’s data for { ?s ?p "Since the invention of Notation3 Logic, several years have passed in which the theory has been refined and applied in different reasoning engines like cwm, EYE, and FuXi. But despite these developments, a clear formal definition of Notation3’s semantics is still missing…"@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- arndt_jws_2019 description "Since the invention of Notation3 Logic, several years have passed in which the theory has been refined and applied in different reasoning engines like cwm, EYE, and FuXi. But despite these developments, a clear formal definition of Notation3’s semantics is still missing…".