- My Scientific Outlook
- My Philosophy of Teaching
- My LinkedIn page
- Short CV
- Detailed CV
- My ResearchGate page
- My Google Scholar page
- 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.