Skip to main content

Home/ Web 3.0/ Group items tagged f-logic

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Janos Haits

Flora-2 - 0 views

flora.sourceforge.net

f-logic Inference semanticweb prolog logic ontology Web web 3.0 web3.0 Semantic Web semantic web evolution

shared by Janos Haits on 10 Dec 13 - Cached
  • Janos Haits on 10 Dec 13
     
    Flora-2 is an advanced object-oriented knowledge representation and reasoning system. It is a dialect of F-logic with numerous extensions, including meta-programming in the style of HiLog, logical updates in the style of Transaction Logic, and defeasible reasoning. Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, and more.
1 - 1 of 1
Showing 20▼ items per page