Hassan Aït-Kaci

Hassan Aït-Kaci

Hassan Aït-Kaci holds a PhD in Computer Science from the University of Pennsylvania (1984). In 2015, he was in charge of the LivEMUSIC project (Living Environment Monitoring Use Scenarios with Intelligent Control) also at the UCBL. Throughout his career, Dr. Aït-Kaci has contributed to the formal design and efficient implementation of very high-level and multi-paradigm programming environments. He pioneered the use of constraints for representing and processing knowledge (LogInLeFunLIFE). His interests are in automated reasoning, knowledge representation, language processing, and machine learning.

Back to all authors

Books Authored by Hassan Aït-Kaci

Warren's Abstract Machine: A Tutorial Reconstruction

Post date: 15 Oct 2006
A short tutorial on Warren's Abstract Machine, the de facto standard for implementing Prolog compilers.
Publisher: The MIT Press
Publication date: 01 Feb 1999
 
Warren's Abstract Machine: A Tutorial Reconstruction

Warren's Abstract Machine: A Tutorial Reconstruction

Post date: 15 Oct 2006
A short tutorial on Warren's Abstract Machine, the de facto standard for implementing Prolog compilers.
Publisher: The MIT Press
Publication date: 01 Feb 1999


Book Categories
Sponsors
Icons8, a free icon pack