Sold Out
Book Categories |
Query processing in peer-to-peer systems : an epistemic logic approach | 1 | |
Description logics in ontology applications | 2 | |
Automated reasoning in the context of the semantic Web | 14 | |
Formal versus rigorous mathematics : how to get your papers published | 15 | |
Consistency of variable splitting in free variable systems of first-order logic | 33 | |
On the dynamic increase of multiplicities in matrix proof methods for classical higher-order logic | 48 | |
A tableau-based decision procedure for right propositional neighborhood logic | 63 | |
Cyclic proofs for first-order logic with inductive definitions | 78 | |
A tableau-based decision procedure for a fragment of graph theory involving reachability and acyclicity | 93 | |
Embedding static analysis into tableaux and sequent based frameworks | 108 | |
A calculus for type predicates and type coercion | 123 | |
A tableau calculus with automaton-labelled formulae for regular grammar logics | 138 | |
Comparing instance generation methods for automated reasoning | 153 | |
An order-sorted quantified modal logic for meta-ontology | 169 | |
A redundancy analysis of sequent proofs | 185 | |
A tableau algorithm for description logics with concrete domains and GCIs | 201 | |
The space efficiency of OSHL | 217 | |
Efficient query processing with compiled knowledge bases | 231 | |
Clausal connection-based theorem proving in intuitionistic first-order logic | 245 | |
Automatic 'descente infinie' induction reasoning | 262 | |
A decision procedure for the alternation-free two-way modal [mu]-calculus | 277 | |
On the partial respects in which a real valued arithmetic system can verify its tableaux consistency | 292 | |
Pdk : the system and its language | 307 | |
Proof output and transformation for disconnection tableaux | 312 | |
LoTREC : logical tableaux research engineering companion | 318 | |
A tableau-based explainer for DL subsumption | 323 | |
CondLean 3.0 : improving CondLean for stronger conditional logics | 328 | |
The ILTP library : benchmarking automated theorem provers for intuitionistic logic | 333 | |
Unit propagation in a tableau framework | 338 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAutomated Reasoning with Analytic Tableaux and Related Methods
X
This Item is in Your InventoryAutomated Reasoning with Analytic Tableaux and Related Methods
X
You must be logged in to review the productsX
X
X
Add Automated Reasoning with Analytic Tableaux and Related Methods, , Automated Reasoning with Analytic Tableaux and Related Methods to the inventory that you are selling on WonderClubX
X
Add Automated Reasoning with Analytic Tableaux and Related Methods, , Automated Reasoning with Analytic Tableaux and Related Methods to your collection on WonderClub |