Hassan Aı̈t-Kaci

Publications by Year

Research Areas

Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Semantic Web and Ontologies, Formal Methods in Verification, Advanced Database Systems and Queries

Most-Cited Works

• → Login: a logic programming language with built-in inheritance(1986)390 cited
• Warren's Abstract Machine: A Tutorial Reconstruction(1991)
• → Warren's Abstract Machine(1991)230 cited
• → Efficient implementation of lattice operations(1989)199 cited
• → Towards a meaning of life(1993)141 cited
• → An algebraic semantics approach to the effective resolution of type equations(1986)123 cited
• Resolution of Equations in Algebraic Structures(1989)
• A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)(1984)
• → A feature constraint system for logic programming with entailment(1994)77 cited
• → Inheritance hierarchies: Semantics and unification(1989)68 cited