Manuel Lamotte-Schubert

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Inductive Inference

Agent Architecture

Top Venues

J. Log. Comput.

LPAR (short papers)

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Manuel Lamotte-Schubert, Christoph Weidenbach
BDI: a new decidable clause class. J. Log. Comput. 27 (2) (2017)
Manuel Lamotte-Schubert, Christoph Weidenbach
BDI: A New Decidable First-order Clause Class. LPAR (short papers) (2013)
Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo
External Sources of Axioms in Automated Theorem Proving. KI (2009)
Manuel Lamotte-Schubert, Christoph Weidenbach
Analysis of Authorizations in SAP R/3. FTP (2009)