The boundaries of language and thought in deductive inference. [PDF]
Proc Natl Acad Sci U S A, 2009 Monti MM, Parsons LM, Osherson DN.
europepmc +1 more source
BH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories. [PDF]
J Philos Logic, 2014 Belnap N, Müller T.
europepmc +1 more source
The Effect of Negative Polarity Items on Inference Verification. [PDF]
J Semant, 2008 Szabolcsi A, Bott L, McElree B.
europepmc +1 more source
Towards Measurable Types for Dynamical Process Modeling Languages. [PDF]
Electron Notes Theor Comput Sci, 2010 Mjolsness E.
europepmc +1 more source
A framework for automated conflict detection and resolution in medical guidelines.
Sci Comput Program, 2019 Bowles J, Caminati MB, Cha S, Mendoza J.
europepmc +1 more source
Formal language theory: refining the Chomsky hierarchy. [PDF]
Philos Trans R Soc Lond B Biol Sci, 2012 Jäger G, Rogers J.
europepmc +1 more source
Data-mining to build a knowledge representation store for clinical decision support. Studies on curation and validation based on machine performance in multiple choice medical licensing examinations. [PDF]
Comput Biol Med, 2016 Robson B, Boray S.
europepmc +1 more source
The Cell Cycle Ontology: an application ontology for the representation and integrated analysis of the cell cycle process. [PDF]
Genome Biol, 2009 Antezana E +8 more
europepmc +1 more source