Home

Michael Kifer

FLORA-2 is a logic-based object-oriented language for building knowledge-intensive applications. It is based on F-logic, HiLog, and Transaction Logic. Applications include intelligent agents, Semantic Web, ontology management, and more.

Screenshot thumbnail
A user session with Flora-2


Project Members: