From post

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.

 

Другие публикации лиц с тем же именем

DAG Sequents with Substitution.. We Will Show Them! (1), стр. 671-686. College Publications, (2005)Sharing Resource-Sensitive Knowledge Using Combinator Logics., и . IBERAMIA-SBIA, том 1952 из Lecture Notes in Computer Science, стр. 196-206. Springer, (2000)A Refuted Conjecture on Probabilistic Satisfiability., и . SBIA, том 6404 из Lecture Notes in Computer Science, стр. 293-302. Springer, (2010)A Logic Based Algorithm for Solving Probabilistic Satisfiability., и . IBERAMIA, том 6433 из Lecture Notes in Computer Science, стр. 453-462. Springer, (2010)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , и . Knowl.-Based Syst., 15 (3): 147--167 (2002)Proving properties of binary classification neural networks via Łukasiewicz logic., и . Log. J. IGPL, 31 (5): 805-821 (сентября 2023)Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs., и . Logic Journal of the IGPL, 15 (5-6): 553-575 (2007)Intelligent mobile multi-robotic systems: some challenges and possible solutions., , , , и . ICINCO, стр. 479-485. INSTICC Press, (2005)Labelled Natural Deduction for Substructural Logics., , и . Logic Journal of the IGPL, 7 (3): 283-318 (1999)