Author of the publication

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.

, , and . FroCoS, volume 3 of Applied Logic Series, page 157-174. Kluwer Academic Publishers, (1996)

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

Peer-to-Peer Knowledge Management, , and . Proceedings of I-KNOW 05 Conference, Graz, (2005)Local Models Semantics, or contextual reasoning=locality+compatibility., and . Artif. Intell., 127 (2): 221-259 (2001)Exploring the Language of Data., , and . COLING, page 6638-6648. International Committee on Computational Linguistics, (2020)A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction., , , , , , and . EMNLP, page 10027-10039. Association for Computational Linguistics, (2022)Towards an Optimal Solution to Lemmatization in Arabic., , , and . ACLING, volume 142 of Procedia Computer Science, page 132-140. Elsevier, (2018)An Architecture and a Methodology Enabling Interoperability within and across Universities., , , and . ICKG, page 71-78. IEEE, (2022)Using Linguistic Typology to Enrich Multilingual Lexicons: the Case of Lexical Gaps in Kinship., , , , , , , , and . LREC, page 2798-2807. European Language Resources Association, (2022)A Context Model for Personal Data Streams., , , and . APWeb/WAIM (1), volume 13421 of Lecture Notes in Computer Science, page 37-44. Springer, (2022)LiveSchema: A Gateway Towards Learning on Knowledge Graph Schemas., , , , and . CoRR, (2022)Incremental Image Labeling Via Iterative Refinement., , and . ICASSP Workshops, page 1-5. IEEE, (2023)