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