Sciweavers

3776 search results - page 52 / 756
» Partition-Based Logical Reasoning
Sort
View
CADE
2003
Springer
16 years 2 months ago
The CADE-19 ATP System Competition
Geoff Sutcliffe, Christian B. Suttner
118
Voted
TIME
2003
IEEE
15 years 7 months ago
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...
ENTCS
2010
96views more  ENTCS 2010»
15 years 2 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