Hassan Aït-Kaci

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 5

Top Topics

Programming Language

Concept Lattice

Equational Theories

Top Venues

J. Intell. Inf. Syst.

Fuzzy Sets Syst.

Publications

Hassan Aït-Kaci, Gabriella Pasi
Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach. Fuzzy Sets Syst. 391 (2020)
Hassan Aït-Kaci, Gabriella Pasi
Lattice Operations on Terms with Fuzzy Signatures. CoRR (2017)
Samir Amir, Hassan Aït-Kaci
An efficient and large-scale reasoning method for the semantic Web. J. Intell. Inf. Syst. 48 (3) (2017)
Hassan Aït-Kaci, Samir Amir
Classifying and querying very large taxonomies with bit-vector encoding. J. Intell. Inf. Syst. 48 (1) (2017)
Hassan Aït-Kaci, Gabriella Pasi
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. LOPSTR (2017)
Samir Amir, Hassan Aït-Kaci
CEDAR: Efficient Reasoning for the Semantic Web. SITIS (2014)
Tanguy Raynaud, Rafiqul Haque, Hassan Aït-Kaci
CedCom: A high-performance architecture for Big Data applications. AICCSA (2014)
Samir Amir, Hassan Aït-Kaci
CEDAR: a Fast Taxonomic Reasoner Based on Lattice Operations. ISWC (Posters & Demos) (2013)
Hassan Aït-Kaci
An Abstract, Reusable, and Extensible Programming Language Design Architecture. In Search of Elegance in the Theory and Practice of Computation (2013)
Hassan Aït-Kaci
A Sorted-Graph Unification Approach to the Semantic Web. Web Intelligence (2011)
Hassan Aït-Kaci
Description Logic vs. Order-Sorted Feature Logic. Description Logics (2007)
Hassan Aït-Kaci, Yutaka Sasaki
An Axiomatic Approach to Feature Term Generalization. ECML (2001)
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
Order Sorted Feature Theory Unification. J. Log. Program. 30 (2) (1997)
Hassan Aït-Kaci, Jacques Garrigue
Label-Selective lambda-Calculus Syntax and Confluence. Theor. Comput. Sci. 151 (2) (1995)
Hassan Aït-Kaci
Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract). ILPS (1995)
Jacques Garrigue, Hassan Aït-Kaci
The Typed Polymorphic Label-Selective lambda-Calculus. POPL (1994)
Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci
A Database Interface for Complex Objects. ICLP (1994)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
A Feature Constraint System for Logic Programming with Entailment. Theor. Comput. Sci. 122 (1&2) (1994)
Hassan Aït-Kaci, Andreas Podelski
Functions as Passive Constraints in LIFE. ACM Trans. Program. Lang. Syst. 16 (4) (1994)
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
Order-Sorted Feature Theory Unification. ICLP Workshop on Concurrent Constraint Programming (1993)
Hassan Aït-Kaci, Jacques Garrigue
Label-Selective lambda-Calculus Syntax and Confluence. FSTTCS (1993)
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
Order-Sorted Feature Theory Unification. ILPS (1993)
Hassan Aït-Kaci, Andreas Podelski
Entailment and Disentailment of Order-Sorted Feature Constraints. LPAR (1993)
Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy
An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming (1993)
Hassan Aït-Kaci, Andreas Podelski
Towards a Meaning of LIFE. J. Log. Program. 16 (3) (1993)
Hassan Aït-Kaci
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. ILPS (1993)
Hassan Aït-Kaci, Andreas Podelski
Entailment and Disentailment of Order-Sorted Feature Constraints. PPCP (1993)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
A Feature-Based Constraint System for Logic Programming with Entailment. FGCS (1992)
Hassan Aït-Kaci, Andreas Podelski
Logic Programming with Functions over Order-Sorted Feature Terms. ELP (1992)
Hassan Aït-Kaci
Outline of an Object-Oriented Calculus of Higher Type (Abstract). ALP (1992)
Hassan Aït-Kaci
A formal theory of complex objects. BDA (1991)
Hassan Aït-Kaci, Andreas Podelski
Towards a Meaning of LIFE. PLILP (1991)
Hassan Aït-Kaci
Warren's Abstract Machine. ICLP (1991)
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
Implementing a knowledge-based library information system with typed horn logic. Inf. Process. Manag. 26 (2) (1990)
Hassan Aït-Kaci
An Overview of LIFE. East/West Database Workshop (1990)
Hassan Aït-Kaci
A Glimpse of Paradise. East/West Database Workshop (1990)
Hassan Aït-Kaci, Roger Nasr
Integrating Logic and Functional Programming. LISP Symb. Comput. 2 (1) (1989)
Gert Smolka, Hassan Aït-Kaci
Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7 (3/4) (1989)
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11 (1) (1989)
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
BABEL: A Base for an Experimental Library. SIGIR (1988)
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
Le Fun: Logic, Equations and Functions. SLP (1987)
Hassan Aït-Kaci
An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45 (3) (1986)
Hassan Aït-Kaci, Roger Nasr
LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3 (3) (1986)
Hassan Aït-Kaci, Roger Nasr
Logic and Inheritance. POPL (1986)
Hassan Aït-Kaci
An Algorithm for Finding A Minimal Recursive Path Ordering. RAIRO Theor. Informatics Appl. 19 (4) (1985)
Hassan Aït-Kaci, Roger Nasr
Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) (1985)
Hassan Aït-Kaci
Solving Type Equations by Graph Rewriting. RTA (1985)
Hassan Aït-Kaci
Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin), Informal Proceedings (1985)
Carlo Zaniolo, Hassan Aït-Kaci, David Beech, Stephanie J. Cammarata, David Maier
Object Oriented Database Systems and Knowledge Systems. Expert Database Workshop (1984)
Hassan Aït-Kaci
Type Subsumption as a Model of Computation. Expert Database Workshop (1984)