Keyword:first-order reasoning

Papers
Exploring Partial Models with SCL Martin Bromberger, Simon Schwarz and Christoph Weidenbach In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Satisfiability Checking and Query Answering for Large Ontologies Christoph Weidenbach and Patrick Wischnewski In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning