Sciweavers

3776 search results - page 52 / 756
» Partition-Based Logical Reasoning
Sort
View
CADE
2003
Springer
14 years 10 months ago
The CADE-19 ATP System Competition
Geoff Sutcliffe, Christian B. Suttner
ENTCS
2010
96views more  ENTCS 2010»
13 years 10 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder