The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hassan Aït-Kaci: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  38. Description Logic vs. Order-Sorted Feature Logic. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002