Dear Colleague, You are invited to participate in tomorrow's RuleML technical telecon on Friday, January 23rd, 5 pm UK / 6 pm CET / 12 pm EST / 9 am Pacific with a presentation by Fariba Sadri (Imperial College London) about LPS/KELPS: A Logic-based Framework for Reactive and State Transition Systems. Further details about the presentation below. ACCESS INFO: The Skype conference call is hosted by "adrian.paschke". Please send me your Skype name in case you are not in the RuleML Skype group already, so that I can invite you to the presentation. Best regards, Adrian Paschke --------------------------------- Prof. Dr. Adrian Paschke AG Corporate Semantic Web Freie Universität Berlin http://www.mi.fu-berlin.de/en/inf/groups/ag-csw/
Title: LPS/KELPS: A Logic-based Framework for Reactive and State Transtion Systems (Towards a one-stop shop for Production System, ECA, Active, Reactive, Teleo-Reactive, Planning Rules) Presenter: Fariba Sadri Abstract: LPS is a logic-based language for reactive and state transition systems. It combines logic programs with reactive rules and a destructively updated database. KELPS is a simplification of LPS adopted for in-depth theoretical analysis. Both languages have operational as well as logic-based declarative semantics. In this talk we summarise the LPS and KELPS languages, with special attention to KELPS, review their semantics and formal properties of soundness and completeness, and show their uses through a variety of examples from Abstract State Machines, BDI Agents, Active Databases and Reactivity with Complex Events. This is joint work with Bob Kowalski. _______________________________________________ RuleML-all mailing list [email protected] http://ruleml.org/mailman/listinfo/ruleml-all_ruleml.org
