Roger Nasr
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
- → Efficient implementation of lattice operations(1989)199 cited
- Le Fun: Logic, equations, and Functions(1987)
- Delta-Prolog: A Distributed Logic Programming Language.(1984)
- → Integrating logic and functional programming(1989)37 cited
- → Logic and inheritance(1986)26 cited
- → Embedding ψ-terms in a Horn-clause Logic Language(1988)17 cited
- LIFE, a Natural Language for Natural Language(2007)
- Integrating Data Type Inheritance into Logic Programming.(1985)
- → A KWIC (key word in context) bibliography on prolog and logic programming(1984)4 cited