Implementation of a logic-based support system for concurrent engineering

Consistency in networks of relations

Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations

Computing, Computer Science, Knowledge Representation +8

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

Computing, Computer Engineering, Computer Science +7

Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition

Rina Dechter · Artificial Intelligence · 1990 · 484 citations

Computing, Computer Science, Algorithms +13

Constraints—A language for expressing almost-hierarchical descriptions

Gerald Jay Sussman, Guy L. Steele · Artificial Intelligence · 1980 · 439 citations · Full text

Computing, Computer Science, Knowledge Representation +11

Login: a logic programming language with built-in inheritance

Hassan Aı̈t-Kaci, Roger Nasr · The Journal of Logic Programming · 1986 · 390 citations

Computing, Computer Science, Formal Methods +8