Type Subsumption as a Model of Computation. - Hassan Aït-Kaci (Expert Database Workshop, 1984)

Object Oriented Database Systems and Knowledge Systems. - Carlo Zaniolo; Hassan Aït-Kaci; David Beech; Stephanie J. Cammarata; David Maier 001 (Expert Database Workshop, 1984)

Integrating Data Type Inheritance into Logic Programming. - Hassan Aït-Kaci; Roger Nasr (Data Types and Persistence (Appin), 1985)

Integrating Data Type Inheritance into Logic Programming. - Hassan Aït-Kaci (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Solving Type Equations by Graph Rewriting. - Hassan Aït-Kaci (RTA, 1985)

An Algorithm for Finding A Minimal Recursive Path Ordering. - Hassan Aït-Kaci (RAIRO Theor. Informatics Appl., 1985)

Logic and Inheritance. - Hassan Aït-Kaci; Roger Nasr (POPL, 1986)

LOGIN: A Logic Programming Language with Built-In Inheritance. - Hassan Aït-Kaci; Roger Nasr (J. Log. Program., 1986)

An Algebraic Semantics Approach to the Effective Resolution of Type Equations. - Hassan Aït-Kaci (Theor. Comput. Sci., 1986)

Le Fun: Logic, Equations and Functions. - Hassan Aït-Kaci; Patrick Lincoln; Roger Nasr (SLP, 1987)

BABEL: A Base for an Experimental Library. - Hassan Aït-Kaci; Roger Nasr; Jungyun Seo (SIGIR, 1988)

Inheritance Hierarchies: Semantics and Unification. - Gert Smolka; Hassan Aït-Kaci (J. Symb. Comput., 1989)

Integrating Logic and Functional Programming. - Hassan Aït-Kaci; Roger Nasr (LISP Symb. Comput., 1989)

Efficient Implementation of Lattice Operations. - Hassan Aït-Kaci; Robert S. Boyer; Patrick Lincoln; Roger Nasr (ACM Trans. Program. Lang. Syst., 1989)

A Glimpse of Paradise. - Hassan Aït-Kaci (East/West Database Workshop, 1990)

An Overview of LIFE. - Hassan Aït-Kaci (East/West Database Workshop, 1990)

Implementing a knowledge-based library information system with typed horn logic. - Hassan Aït-Kaci; Roger Nasr; Jungyun Seo (Inf. Process. Manag., 1990)

Warren's Abstract Machine: A Tutorial Reconstruction - Hassan Aït-Kaci (MIT Press, 1991)

A formal theory of complex objects. - Hassan Aït-Kaci (BDA, 1991)

Warren's Abstract Machine. - Hassan Aït-Kaci (ICLP, 1991)

Outline of an Object-Oriented Calculus of Higher Type (Abstract). - Hassan Aït-Kaci (ALP, 1992)

Logic Programming with Functions over Order-Sorted Feature Terms. - Hassan Aït-Kaci; Andreas Podelski (ELP, 1992)

A Feature-Based Constraint System for Logic Programming with Entailment. - Hassan Aït-Kaci; Andreas Podelski; Gert Smolka (FGCS, 1992)

An Informal Introduction to LIFE. - Hassan Aït-Kaci; Andreas Podelski; Peter Van Roy (ICLP Workshop on Concurrent Constraint Programming, 1993)

Entailment and Disentailment of Order-Sorted Feature Constraints. - Hassan Aït-Kaci; Andreas Podelski (PPCP, 1993)

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. - Hassan Aït-Kaci (ILPS, 1993)

Towards a Meaning of LIFE. - Hassan Aït-Kaci; Andreas Podelski (J. Log. Program., 1993)

A Database Interface for Complex Objects. - Marcel Holsheimer; Rolf A. de By; Hassan Aït-Kaci (ICLP, 1994)

The Typed Polymorphic Label-Selective lambda-Calculus. - Jacques Garrigue; Hassan Aït-Kaci (POPL, 1994)

A Feature Constraint System for Logic Programming with Entailment. - Hassan Aït-Kaci; Andreas Podelski; Gert Smolka (Theor. Comput. Sci., 1994)

Functions as Passive Constraints in LIFE. - Hassan Aït-Kaci; Andreas Podelski (ACM Trans. Program. Lang. Syst., 1994)

Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract). - Hassan Aït-Kaci (ILPS, 1995)

Label-Selective lambda-Calculus Syntax and Confluence. - Hassan Aït-Kaci; Jacques Garrigue (Theor. Comput. Sci., 1995)

Order Sorted Feature Theory Unification. - Hassan Aït-Kaci; Andreas Podelski; Seth Copen Goldstein (J. Log. Program., 1997)

An Axiomatic Approach to Feature Term Generalization. - Hassan Aït-Kaci; Yutaka Sasaki (ECML, 2001)

Description Logic vs. Order-Sorted Feature Logic. - Hassan Aït-Kaci (Description Logics, 2007)

A Sorted-Graph Unification Approach to the Semantic Web. - Hassan Aït-Kaci (Web Intelligence, 2011)

An Abstract, Reusable, and Extensible Programming Language Design Architecture. - Hassan Aït-Kaci (In Search of Elegance in the Theory and Practice of Computation, 2013)

InAs/GaSb Superlattice Photodiodes Operating in the Midwave Infrared Range. - Philippe Christol; Rachid Taalat; Cenys Cervera; Hassan Aït-Kaci; Marie Delmas; Jean-Baptiste Rodriguez; E. Giard; Isabelle Ribet-Mohamed (PHOTOPTICS, 2013)

CEDAR: a Fast Taxonomic Reasoner Based on Lattice Operations. - Samir Amir; Hassan Aït-Kaci (ISWC (Posters & Demos), 2013)

CedCom: A high-performance architecture for Big Data applications. - Tanguy Raynaud; Rafiqul Haque; Hassan Aït-Kaci (AICCSA, 2014)

CEDAR: Efficient Reasoning for the Semantic Web. - Samir Amir; Hassan Aït-Kaci (SITIS, 2014)

Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. - Hassan Aït-Kaci; Gabriella Pasi (LOPSTR, 2017)

Lattice Operations on Terms with Fuzzy Signatures. - Hassan Aït-Kaci; Gabriella Pasi (CoRR, 2017)

Classifying and querying very large taxonomies with bit-vector encoding. - Hassan Aït-Kaci; Samir Amir (J. Intell. Inf. Syst., 2017)

An efficient and large-scale reasoning method for the semantic Web. - Samir Amir; Hassan Aït-Kaci (J. Intell. Inf. Syst., 2017)

Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach. - Hassan Aït-Kaci; Gabriella Pasi (Fuzzy Sets Syst., 2020)