Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jieh Hsiang
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Related publications
Applying GSATto Non-Clausal Formulas
Journal of Artificial Intelligence Research
Artificial Intelligence
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
A Satisfiability Tester for Non-Clausal Propositional Calculus
Textual Metaphor From the Non-Finite Clausal Perspective
Open Journal of Modern Linguistics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generating Clausal Coordinate Ellipsis Multilingually
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Reference to Abstract Entities Within Clausal Complements
Annual Meeting of the Berkeley Linguistics Society
