Standout Papers

Logic for problem solving 1976 2026 1992 2009 597
  1. Logic for problem solving (1982)
    Robert Kowalski et al. ACM SIGSOFT Software Engineering Notes
  2. The Semantics of Predicate Logic as a Programming Language (1976)
    M. H. van Emden, Robert Kowalski Journal of the ACM

Immediate Impact

1 from Science/Nature 60 standout
Sub-graph 1 of 24

Citing Papers

Enhancing teacher AI literacy and integration through different types of cases in teacher professional development
2024 Standout
Artificial intelligence literacy for technology education
2024 Standout
2 intermediate papers

Works of Robert Kowalski being referenced

Logic for problem solving
1982 Standout

Author Peers

Author Last Decade Papers Cites
Robert Kowalski 2579 816 583 55 3.0k
Raymond Reiter 4412 1021 775 44 5.2k
Alan Bundy 1811 915 460 172 2.6k
Kevin Leyton‐Brown 1716 592 868 83 3.7k
Francesca Rossi 1433 505 925 155 3.2k
Steve Schneider 921 448 592 105 1.7k
Krzysztof R. Apt 2230 1716 896 121 3.4k
Toby Walsh 1670 812 1328 203 3.4k
Drew McDermott 2634 446 886 72 3.4k
Alessio Lomuscio 1392 533 274 106 1.8k
Richard Fikes 3979 329 1051 42 4.9k

All Works

Loading papers...

Rankless by CCL
2026