Hassan Aït-Kaci Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1David Beech [1]
2Robert S. Boyer [14]
3Rolf A. de By [34]
4Stephanie J. Cammarata [1]
5Jacques Garrigue [30] [33] [35]
6Seth Copen Goldstein [29] [37]
7Marcel Holsheimer [34]
8Patrick Lincoln [10] [14]
9David Maier [1]
10Roger Nasr [6] [8] [9] [10] [11] [12] [14] [15]
11Andreas Podelski [18] [22] [23] [25] [26] [27] [29] [31] [32] [37]
12Yutaka Sasaki [38]
13Jungyun Seo [11] [15]
14Gert Smolka [13] [22] [31]
15Carlo Zaniolo [1]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)