First-order logic

STRIPS: a new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson

Citations: 1487 • 1971

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

Citations: 192 • 2015

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton

Citations: 41 • 2016

Knowledge and reasoning in design systems

Ewa Grabska, Grażyna Ślusarczyk

Citations: 21 • 2011

Applying automated deduction to natural language understanding

Johan Bos

Citations: 21 • 2007

Possible events, actual events, and robots

Andrew Haas

Citations: 19 • 1985

Logic-based subsumption architecture

Eyal Amir, Pedrito Maynard-Reid

Citations: 16 • 2003

Knowledge Processing Using EKRL for Robotic Applications

Omar Adjali, Amar Ramdane-Chérif

Citations: 4 • 2017

Reasoning in the event calculus using first-order automated theorem proving

Erik T. Mueller, Geoff Sutcliffe

Citations: 4 • 2005

Logic-axiomatical method of knowledge representation and recognition for robots

A.V. Timopheev, T.M. Kossovskaya

Citations: 3 • 1990

Solving Problems in Robotics with Semantic Networks

Krishna K. Agarwal

Citations: 2 • 1983

A Logic for Spatial Reasoning in the Framework of Rough Mereology

Lech Polkowski

Citations: 2 • 2019