Marvin Oliver Schneider

Publication Activity (10 Years)

Years Active: 2002-2014
Publications (10 Years): 0

Top Topics

Inconsistent Knowledge

Automated Deduction

Theorem Proving

Top Venues

Int. J. Decis. Support Syst. Technol.

Int. J. Comput. Sci. Appl.

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Marvin Oliver Schneider, João Luís Garcia Rosa
A connectionist approach to airliner safety. IJCNN (2014)
Jacques Calmet, Marvin Oliver Schneider
Decision Making Modeled as a Theorem Proving Process. Int. J. Decis. Support Syst. Technol. 4 (3) (2012)
Jacques Calmet, Marvin Oliver Schneider
Logical Fibering and Knowledge Bases. Int. J. Comput. Sci. Appl. 9 (2) (2012)
Marvin Oliver Schneider, João Luís Garcia Rosa
CARESS1 - Commercial Airliner Emergency Safety System. ICINCO (1) (2011)
Marvin Oliver Schneider, João Luís Garcia Rosa
Application and development of biologically plausible neural networks in a multiagent artificial life system. Neural Comput. Appl. 18 (1) (2009)
Marvin Oliver Schneider, Jacques Calmet
Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention. CIMCA/IAWTIC (2005)
Marvin Oliver Schneider, João Luís Garcia Rosa
Neural Connect 4 - A Connectionist Approach to the Game. SBRN (2002)