Research Tools: code, datasets, & models

Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. The prover is complete for the logic and can prove or disprove counterfactual statements such as “if ‘p’ is false in a Datalog…

Back-transliteration based Input Method Editors are very popular for Indian Lan-guages. In this paper we evaluate two such Indic language systems to help un-derstand the challenge of designing a back-transliteration based IME. Through a detailed…

The Biocharts tool enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. Among the key features of the tool…