Quantitative Logic Reasoning. | 0 | 0.34 | 2019 |
A logical-based corpus for cross-lingual evaluation. | 0 | 0.34 | 2019 |
Using syntactical and logical forms to evaluate textual inference competence. | 0 | 0.34 | 2019 |
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. | 0 | 0.34 | 2018 |
Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. | 0 | 0.34 | 2018 |
Analytic Methods for the Logic of Proofs | 4 | 0.74 | 2010 |
How Not to Combine Modal Logics | 4 | 0.44 | 2005 |
DAG Sequents with Substitution | 0 | 0.34 | 2005 |
Non-normal Modalisation | 5 | 0.50 | 2002 |
Algorithmic Correspondence Theory for Substructural Categorial Logic | 0 | 0.34 | 2000 |
A logical reconstruction of temporal databases | 1 | 0.39 | 2000 |
Computational Solutions for Structural Constraints | 0 | 0.34 | 1998 |
Towards Structurally-Free Theorem Proving | 3 | 0.62 | 1998 |
Handling database updates in two-dimensional temporal logic | 13 | 4.70 | 1992 |