Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hassan Aït-Kaci
2010 – today
- 2013
[c28]Samir Amir, Hassan Aït-Kaci: CEDAR: a Fast Taxonomic Reasoner Based on Lattice Operations. International Semantic Web Conference (Posters & Demos) 2013: 9-12- 2012
- [e1]Hassan Aït-Kaci, Yuh-Jong Hu, Grzegorz J. Nalepa, Monica Palmirani, Dumitru Roman (Eds.): Proceedings of the RuleML2012@ECAI Challenge, at the 6th International Symposium on Rules, Montpellier, France, August 27th-29th, 2012. CEUR Workshop Proceedings 874, CEUR-WS.org 2012
- 2011
- [c27]
2000 – 2009
- 2007
- [c26]
- 2001
- [c25]Hassan Aït-Kaci, Yutaka Sasaki: An Axiomatic Approach to Feature Term Generalization. ECML 2001: 1-12
1990 – 1999
- 1997
- [j12]Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein: Order Sorted Feature Theory Unification. J. Log. Program. 30(2): 99-124 (1997)
- 1995
- [j11]Hassan Aït-Kaci, Jacques Garrigue: Label-Selective lambda-Calculus Syntax and Confluence. Theor. Comput. Sci. 151(2): 353-383 (1995)
- [c24]
- 1994
- [j10]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)
- [j9]Hassan Aït-Kaci, Andreas Podelski: Functions as Passive Constraints in LIFE. ACM Trans. Program. Lang. Syst. 16(4): 1279-1318 (1994)
- [c23]Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci: A Database Interface for Complex Objects. ICLP 1994: 437-455
- [c22]Jacques Garrigue, Hassan Aït-Kaci: The Typed Polymorphic Label-Selective lambda-Calculus. POPL 1994: 35-47
- 1993
- [j8]Hassan Aït-Kaci, Andreas Podelski: Towards a Meaning of LIFE. J. Log. Program. 16(3): 195-234 (1993)
- [c21]Hassan Aït-Kaci, Jacques Garrigue: Label-Selective lambda-Calculus Syntax and Confluence. FSTTCS 1993: 24-40
- [c20]Hassan Aït-Kaci, Andreas Podelski: Entailment and Disentailment of Order-Sorted Feature Constraints. LPAR 1993: 1-18
- [c19]Hassan Aït-Kaci, Andreas Podelski: Entailment and Disentailment of Order-Sorted Feature Constraints. PPCP 1993: 1-6
- [c18]Hassan Aït-Kaci: An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. ILPS 1993: 52-68
- [c17]Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein: Order-Sorted Feature Theory Unification. ILPS 1993: 506-524
- 1992
- [c16]
- [c15]Hassan Aït-Kaci, Andreas Podelski: Logic Programming with Functions over Order-Sorted Feature Terms. ELP 1992: 100-119
- [c14]Hassan Aït-Kaci, Andreas Podelski, Gert Smolka: A Feature-Based Constraint System for Logic Programming with Entailment. FGCS 1992: 1012-1021
- 1991
- [b1]Hassan Aït-Kaci: Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press 1991, ISBN 0-262-01123-9
- [c13]
- [c12]
- [c11]
- 1990
- [j7]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)
- [c10]
- [c9]
1980 – 1989
- 1989
- [j6]Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370 (1989)
- [j5]Hassan Aït-Kaci, Roger Nasr: Integrating Logic and Functional Programming. Lisp and Symbolic Computation 2(1): 51-89 (1989)
- [j4]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)
- 1988
- [c8]Hassan Aït-Kaci, Roger Nasr, Jungyun Seo: BABEL: A Base for an Experimental Library. SIGIR 1988: 175-190
- 1987
- [c7]Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr: Le Fun: Logic, Equations and Functions. SLP 1987: 17-23
- 1986
- [j3]Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215 (1986)
- [j2]Hassan Aït-Kaci: An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45(3): 293-351 (1986)
- [c6]
- 1985
- [j1]Hassan Aït-Kaci: An Algorithm for Finding A Minimal Recursive Path Ordering. ITA 19(4): 359-382 (1985)
- [c5]Hassan Aït-Kaci, Roger Nasr: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) 1985: 121-136
- [c4]Hassan Aït-Kaci: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin), Informal Proceedings 1985: 385-388
- [c3]
- 1984
- [c2]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
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:05 CEST by the dblp team