Our seminar series is free and available for anyone to attend. Unless otherwise stated, seminars take place on Wednesday afternoons at 2pm in the Kilburn Building during teaching season.

If you wish to propose a seminar speaker please contact Antoniu Pop.


Knowledge Programming with FLORA-2

  • Speaker:   Prof  Michael Kifer  (State University of New York)
  • Host:   Uli Sattler
  • 4th October 2006 at 14:15 in 1.5
In this talk I will survey FLORA-2, a powerful knowledge programming system, which we developed over the past several years at Stony Brook. FLORA-2 was borne out of an effort to seamlessly integrate Frame Logic, HiLog and Transaction Logic in a single formalism and out of experimentation with building complex information systems that require substantial knowledgebase support.

Frame Logic extends the relational data model used in traditional logic programming systems by adding extensive support for the object-oriented paradigm. HiLog introduces higher-order features, which enable meta-programming. Transaction Logic further extends the capabilities of FLORA-2 by providing for the representation of procedural knowledge alongside with the declarative knowledge. On the way, we learned a great deal about the pragmatics of knowledge programming and made this pragmatics an integral part of the system.
▲ Up to the top