Reasoning Support for Caslwith Automated Theorem Proving Systems.

Klaus Lüttich Till Mossakowski

Published in: WADT (2006)

Keyphrases

automated theorem proving
reasoning systems
theorem proving
intelligent systems
management system
knowledge base
distributed systems
sufficient conditions
complex systems
support systems
data repositories
end users
fuzzy logic
graphical models
artificial intelligence
answer set programming
knowledge representation