 | 2007 |
|---|
| 39 |       | Hassan Aït-Kaci:
Description Logic vs. Order-Sorted Feature Logic.
Description Logics 2007 |
| 2001 |
|---|
| 38 | | Hassan Aït-Kaci,
Yutaka Sasaki:
An Axiomatic Approach to Feature Term Generalization.
ECML 2001: 1-12 |
| 1997 |
|---|
| 37 |  | Hassan Aït-Kaci,
Andreas Podelski,
Seth Copen Goldstein:
Order Sorted Feature Theory Unification.
J. Log. Program. 30(2): 99-124 (1997) |
| 1995 |
|---|
| 36 | | Hassan Aït-Kaci:
Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract).
ILPS 1995: 621-624 |
| 35 | | Hassan Aït-Kaci,
Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence.
Theor. Comput. Sci. 151(2): 353-383 (1995) |
| 1994 |
|---|
| 34 | | Marcel Holsheimer,
Rolf A. de By,
Hassan Aït-Kaci:
A Database Interface for Complex Objects.
ICLP 1994: 437-455 |
| 33 | | Jacques Garrigue,
Hassan Aït-Kaci:
The Typed Polymorphic Label-Selective lambda-Calculus.
POPL 1994: 35-47 |
| 32 | | Hassan Aït-Kaci,
Andreas Podelski:
Functions as Passive Constraints in LIFE.
ACM Trans. Program. Lang. Syst. 16(4): 1279-1318 (1994) |
| 31 | | Hassan Aït-Kaci,
Andreas Podelski,
Gert Smolka:
A Feature Constraint System for Logic Programming with Entailment.
Theor. Comput. Sci. 122(1&2): 263-283 (1994) |
| 1993 |
|---|
| 30 | | Hassan Aït-Kaci,
Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence.
FSTTCS 1993: 24-40 |
| 29 | | Hassan Aït-Kaci,
Andreas Podelski,
Seth Copen Goldstein:
Order-Sorted Feature Theory Unification.
ILPS 1993: 506-524 |
| 28 | | Hassan Aït-Kaci:
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations.
ILPS 1993: 52-68 |
| 27 | | Hassan Aït-Kaci,
Andreas Podelski:
Entailment and Disentailment of Order-Sorted Feature Constraints.
LPAR 1993: 1-18 |
| 26 | | Hassan Aït-Kaci,
Andreas Podelski:
Entailment and Disentailment of Order-Sorted Feature Constraints.
PPCP 1993: 1-6 |
| 25 | | Hassan Aït-Kaci,
Andreas Podelski:
Towards a Meaning of LIFE.
J. Log. Program. 16(3): 195-234 (1993) |
| 1992 |
|---|
| 24 | | Hassan Aït-Kaci:
Outline of an Object-Oriented Calculus of Higher Type (Abstract).
ALP 1992: 1-2 |
| 23 | | Hassan Aït-Kaci,
Andreas Podelski:
Logic Programming with Functions over Order-Sorted Feature Terms.
ELP 1992: 100-119 |
| 22 | | Hassan Aït-Kaci,
Andreas Podelski,
Gert Smolka:
A Feature-Based Constraint System for Logic Programming with Entailment.
FGCS 1992: 1012-1021 |
| 1991 |
|---|
| 21 | | Hassan Aït-Kaci:
Warren's Abstract Machine: A Tutorial Reconstruction
MIT Press 1991 |
| 20 | | Hassan Aït-Kaci:
A formal theory of complex objects.
BDA 1991: 3- |
| 19 | | Hassan Aït-Kaci:
Warren's Abstract Machine.
ICLP 1991: 939 |
| 18 | | Hassan Aït-Kaci,
Andreas Podelski:
Towards a Meaning of LIFE.
PLILP 1991: 255-274 |
| 1990 |
|---|
| 17 | | Hassan Aït-Kaci:
A Glimpse of Paradise.
East/West Database Workshop 1990: 17-25 |
| 16 | | Hassan Aït-Kaci:
An Overview of LIFE.
East/West Database Workshop 1990: 42-58 |
| 15 | | Hassan Aït-Kaci,
Roger Nasr,
Jungyun Seo:
Implementing a knowledge-based library information system with typed horn logic.
Inf. Process. Manage. 26(2): 249-268 (1990) |
| 1989 |
|---|
| 14 | | Hassan Aït-Kaci,
Robert S. Boyer,
Patrick Lincoln,
Roger Nasr:
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst. 11(1): 115-146 (1989) |
| 13 | | Gert Smolka,
Hassan Aït-Kaci:
Inheritance Hierarchies: Semantics and Unification.
J. Symb. Comput. 7(3/4): 343-370 (1989) |
| 12 | | Hassan Aït-Kaci,
Roger Nasr:
Integrating Logic and Functional Programming.
Lisp and Symbolic Computation 2(1): 51-89 (1989) |
| 1988 |
|---|
| 11 | | Hassan Aït-Kaci,
Roger Nasr,
Jungyun Seo:
BABEL: A Base for an Experimental Library.
SIGIR 1988: 175-190 |
| 1987 |
|---|
| 10 | | Hassan Aït-Kaci,
Patrick Lincoln,
Roger Nasr:
Le Fun: Logic, Equations and Functions.
SLP 1987: 17-23 |
| 1986 |
|---|
| 9 | | Hassan Aït-Kaci,
Roger Nasr:
Logic and Inheritance.
POPL 1986: 219-228 |
| 8 | | Hassan Aït-Kaci,
Roger Nasr:
LOGIN: A Logic Programming Language with Built-In Inheritance.
J. Log. Program. 3(3): 185-215 (1986) |
| 7 | | Hassan Aït-Kaci:
An Algebraic Semantics Approach to the Effective Resolution of Type Equations.
Theor. Comput. Sci. 45(3): 293-351 (1986) |
| 1985 |
|---|
| 6 | | Hassan Aït-Kaci,
Roger Nasr:
Integrating Data Type Inheritance into Logic Programming.
Data Types and Persistence (Appin) 1985: 121-136 |
| 5 | | Hassan Aït-Kaci:
Integrating Data Type Inheritance into Logic Programming.
Data Types and Persistence (Appin), Informal Proceedings 1985: 385-388 |
| 4 | | Hassan Aït-Kaci:
Solving Type Equations by Graph Rewriting.
RTA 1985: 158-179 |
| 3 | | Hassan Aït-Kaci:
An Algorithm for Finding A Minimal Recursive Path Ordering.
ITA 19(4): 359-382 (1985) |
| 1984 |
|---|
| 2 | | Hassan Aït-Kaci:
Type Subsumption as a Model of Computation.
Expert Database Workshop 1984: 115-139 |
| 1 | | Carlo Zaniolo,
Hassan Aït-Kaci,
David Beech,
Stephanie J. Cammarata,
David Maier:
Object Oriented Database Systems and Knowledge Systems.
Expert Database Workshop 1984: 49-65 |
