Robert Kowalski
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Logic, programming, and type systems, Multi-Agent Systems and Negotiation, Advanced Algebra and Logic
Most-Cited Works
- → The Semantics of Predicate Logic as a Programming Language(1976)1,460 cited
- → Logic for problem solving(1982)1,191 cited
- → An abstract, argumentation-theoretic approach to default reasoning(1997)667 cited
- Predicate Logic as Programming Language.(1974)
- → Algorithm = logic + control(1979)597 cited
- → The Role of Abduction in Logic Programming(1998)352 cited
- → Linear Resolution with Selection Function(1983)320 cited
- Abduction Compared with Negation by Failure.(1989)