First-order logic

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

Richard Fikes, Nils J. Nilsson

引用数: 1487 • 1971

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

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

引用数: 192 • 2015

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton

引用数: 41 • 2016

Knowledge and reasoning in design systems

Ewa Grabska, Grażyna Ślusarczyk

引用数: 21 • 2011

Applying automated deduction to natural language understanding

Johan Bos

引用数: 21 • 2007

Possible events, actual events, and robots

Andrew Haas

引用数: 19 • 1985

Logic-based subsumption architecture

Eyal Amir, Pedrito Maynard-Reid

引用数: 16 • 2003

Knowledge Processing Using EKRL for Robotic Applications

Omar Adjali, Amar Ramdane-Chérif

引用数: 4 • 2017

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

Erik T. Mueller, Geoff Sutcliffe

引用数: 4 • 2005

Logic-axiomatical method of knowledge representation and recognition for robots

A.V. Timopheev, T.M. Kossovskaya

引用数: 3 • 1990

Solving Problems in Robotics with Semantic Networks

Krishna K. Agarwal

引用数: 2 • 1983

A Logic for Spatial Reasoning in the Framework of Rough Mereology

Lech Polkowski

引用数: 2 • 2019