Author of the publication

Automated Classification of Pathology Reports.

, , and . MedInfo, volume 216 of Studies in Health Technology and Informatics, page 1040. IOS Press, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)Labelled Natural Deduction for Substructural Logics., , and . Logic Journal of the IGPL, 7 (3): 283-318 (1999)A Refuted Conjecture on Probabilistic Satisfiability., and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 293-302. Springer, (2010)Sharing Resource-Sensitive Knowledge Using Combinator Logics., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 196-206. Springer, (2000)A Logic Based Algorithm for Solving Probabilistic Satisfiability., and . IBERAMIA, volume 6433 of Lecture Notes in Computer Science, page 453-462. Springer, (2010)DAG Sequents with Substitution.. We Will Show Them! (1), page 671-686. College Publications, (2005)Intelligent mobile multi-robotic systems: some challenges and possible solutions., , , , and . ICINCO, page 479-485. INSTICC Press, (2005)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , and . Knowl.-Based Syst., 15 (3): 147--167 (2002)Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs., and . Logic Journal of the IGPL, 15 (5-6): 553-575 (2007)Carolina's Methodology: building a large corpus with provenance and typology information., , , , , , and . DHandNLP@PROPOR, volume 3128 of CEUR Workshop Proceedings, page 53-58. CEUR-WS.org, (2022)