The RatioLog Project - Rational Extensions of Logical Reasoning.

Ulrich Furbach Claudia Schon Frieder Stolzenburg Karl-Heinz Weis Claus-Peter Wirth

Published in: CoRR (2015)

Keyphrases

logical reasoning
formal semantics
case study
efficient implementation
data collection
future plans
project management
search algorithm
decision making
expert systems
learning algorithm
web services
default logic
current status
default theories
information systems
artificial intelligence