• dicelab
  • Research
    • Areas
    • Projects
  • Members
  • Software
    • GOLEM
    • GOLEMlite
    • PyStarWorlds
    • VacuumWorld
    • MagnetDroid
    • mvfCEC
  • Vacancies
  • News
  • Misc
    • Resources
    • Our security measures
    • Cookie Policy
  • Contact
  • dicelab
  • Research
    • Areas
    • Projects
  • Members
  • Software
    • GOLEM
    • GOLEMlite
    • PyStarWorlds
    • VacuumWorld
    • MagnetDroid
    • mvfCEC
  • Vacancies
  • News
  • Misc
    • Resources
    • Our security measures
    • Cookie Policy
  • Contact

mvfCEC

mvfCEC is an extension of the Event Calculus for efficient temporal reasoning. It is written in Prolog and has been tested in SWI-Prolog and Tu-Prolog.

Search something

Recent Posts

  • New posts available
  • AAAI’23 Paper
  • AAMAS’22 Paper
  • JAAMAS Paper
  • ICTAI’21 Paper

DICE on social media

Categories

  • Uncategorised

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Special Thanks

  • Royal Holloway University of London
  • Let's Encrypt
  • Report URI
  • Google CSP Evaluator
  • SSL Labs
  • Security Headers
Powered by WordPress. Theme: university by Viva Themes.