Proof Support for Common Logic.

Till Mossakowski Mihai Codescu Oliver Kutz Christoph Lange Michael Grüninger

Published in: ARQNL@IJCAR (2014)

Keyphrases

classical logic
proof theoretic
logic programming
neural network
end users
real time
information retrieval
information systems
web services
case study
decision support
modal logic
learning scenarios
predicate logic
linear logic