The following pages link to Domenico Cantone (Q313071):
Displaying 10 items.
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479271) (← links)
- Experimental and Efficient Algorithms (Q5710025) (← links)
- Experimental and Efficient Algorithms (Q5710042) (← links)
- (Q5749278) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
- Rationalization of indecisive choice behavior by pluralist ballots (Q6146433) (← links)
- Reconciling transparency, low <i>Δ</i>0-complexity and axiomatic weakness in undecidability proofs (Q6162116) (← links)
- Sequence searching allowing for non-overlapping adjacent unbalanced translocations (Q6487655) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
- On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)
