• Home
  • Professional
  • Personal
  • ContactMe

Hassan Aït-Kaci

  • My Scientific Outlook
  • My Philosophy of Teaching
  • LinkedIn site: http://www.linkedin.com/in/hak2007
  • Detailed CV
  • My ResearchGate page
  • My Google Scholar page
  • Self-introduction to the W3C RIF WG
  • The essence of LIFE for the Semantic Web—a short paper (8 pages) written as a self-contained non-technical overview putting OSF-constraint logic (and thus LIFE) in the context of the Semantic Web.
  • Data models as constraint systems—A key to the Semantic Web
  • Keynote speaker at WI-IAT 2011: (1)--talk abstract (2)--presentation slides
  • DL vs. OSF—a short (6 mins) video explaining the gist of of how Description Logic reasoning and Order-Sorted Feature constraint processing relate. This is a commented animation of my presentation at the 2007 International Workshop on Description Logics (DL2007) in Brixen-Bressanone, Italy, 8–10 June, 2007.
  • An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations—tutorial slides of my ILPS'93 invited talk.
  • LIFE Su Doku—An interesting–and entertaining–illustration of how LIFE's added declarativeness enables constraint-activated daemons to keep a tight control on solution searching by detecting any violation at the earliest possible time, thus automatically yielding a surprisingly focused solving strategy.

  • Hak's Language Technologies

    Picture