Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Flora-2> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Flora-2 abstract "Flora-2 is an open source rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more.Flora-2 is relying on the XSB system for its inference engine. The design and architecture of Flora-2 are described in a number of works.Details of the system and its use are described in the Flora-2 User's Manual. Flora-2 is available for all major computing platforms, including Linux and other flavors of Unix, Microsoft Windows (both 32- and 64-bit), and Mac OS X.".
- Flora-2 wikiPageExternalLink autopoiesis.foi.hr.
- Flora-2 wikiPageExternalLink the-baze.
- Flora-2 wikiPageExternalLink flora.sourceforge.net.
- Flora-2 wikiPageExternalLink frdcsa.
- Flora-2 wikiPageExternalLink reasonablepy.
- Flora-2 wikiPageID "40263451".
- Flora-2 wikiPageLength "7125".
- Flora-2 wikiPageOutDegree "16".
- Flora-2 wikiPageRevisionID "600891072".
- Flora-2 wikiPageWikiLink Category:Logic_programming_languages.
- Flora-2 wikiPageWikiLink F-logic.
- Flora-2 wikiPageWikiLink Guizhen_Yang.
- Flora-2 wikiPageWikiLink HiLog.
- Flora-2 wikiPageWikiLink Knowledge_representation_and_reasoning.
- Flora-2 wikiPageWikiLink LibreOffice.
- Flora-2 wikiPageWikiLink LibreOffice_Base.
- Flora-2 wikiPageWikiLink Linux.
- Flora-2 wikiPageWikiLink Mac_OS_X.
- Flora-2 wikiPageWikiLink Michael_Kifer.
- Flora-2 wikiPageWikiLink Microsoft_Access.
- Flora-2 wikiPageWikiLink Microsoft_Windows.
- Flora-2 wikiPageWikiLink OS_X.
- Flora-2 wikiPageWikiLink Open_source.
- Flora-2 wikiPageWikiLink SPADE.
- Flora-2 wikiPageWikiLink Transaction_logic.
- Flora-2 wikiPageWikiLink Unix.
- Flora-2 wikiPageWikiLink XSB.
- Flora-2 wikiPageWikiLinkText "Flora-2 system".
- Flora-2 wikiPageWikiLinkText "Flora-2".
- Flora-2 hasPhotoCollection Flora-2.
- Flora-2 wikiPageUsesTemplate Template:COI.
- Flora-2 wikiPageUsesTemplate Template:Reflist.
- Flora-2 subject Category:Logic_programming_languages.
- Flora-2 hypernym System.
- Flora-2 comment "Flora-2 is an open source rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and Transaction logic. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called Logic Programming with Defaults and Argumentation Theories (LPDA).".
- Flora-2 label "Flora-2".
- Flora-2 sameAs m.0wr7sfp.
- Flora-2 sameAs Q17090028.
- Flora-2 sameAs Q17090028.
- Flora-2 wasDerivedFrom Flora-2?oldid=600891072.
- Flora-2 isPrimaryTopicOf Flora-2.