English
Related papers

Related papers: A Paraconsistent Tableau Algorithm Based on Sign T…

200 papers

The modelling, specification and study of the semantics of concurrent reactive systems have been interesting research topics for many years now. The aim of this thesis is to exploit the strengths of the (co)algebraic framework in modelling…

Logic in Computer Science · Computer Science 2015-02-11 Georgiana Caltais

Semantic parsing shines at analyzing complex natural language that involves composition and computation over multiple pieces of evidence. However, datasets for semantic parsing contain many factoid questions that can be answered from a…

Computation and Language · Computer Science 2017-07-17 Alon Talmor , Mor Geva , Jonathan Berant

The PARAFAC tensor decomposition has enjoyed an increasing success in exploratory multi-aspect data mining scenarios. A major challenge remains the estimation of the number of latent factors (i.e., the rank) of the decomposition, which…

Machine Learning · Statistics 2017-09-06 Ishmam Zabir , Evangelos E. Papalexakis

Textual content around us is growing on a daily basis. Numerous articles are being written as we speak on online newspapers, blogs, or social media. Similarly, recent advances in the AI field, like language models or traditional classic AI…

Computation and Language · Computer Science 2023-07-18 Nicos Isaak

Modern AI tools, such as generative adversarial networks, have transformed our ability to create and modify visual data with photorealistic results. However, one of the deleterious side-effects of these advances is the emergence of…

Computer Vision and Pattern Recognition · Computer Science 2021-10-25 Mingyang Xie , Manav Kulshrestha , Shaojie Wang , Jinghan Yang , Ayan Chakrabarti , Ning Zhang , Yevgeniy Vorobeychik

Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult. By contrast,…

Computation and Language · Computer Science 2017-07-28 Hitomi Yanaka , Koji Mineshima , Pascual Martinez-Gomez , Daisuke Bekki

This article introduces a conjecture that formalises a fundamental trade-off between provable correctness and broad data-mapping capacity in Artificial Intelligence (AI) systems. When an AI system is engineered for deductively watertight…

Artificial Intelligence · Computer Science 2025-08-05 Luciano Floridi

Human evaluation remains the primary standard for assessing modern AI systems, yet annotator disagreement, bias, and variability make system rankings fragile under standard majority vote aggregation. Majority vote discards annotator…

Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main attraction of this approach is that it returns an interpretable model that can be insightful to users. Historically, the majority of…

We propose a novel dependency-based hybrid tree model for semantic parsing, which converts natural language utterance into machine interpretable meaning representations. Unlike previous state-of-the-art models, the semantic information is…

Computation and Language · Computer Science 2018-09-05 Zhanming Jie , Wei Lu

Recently, there has been considerable progress on designing algorithms with provable guarantees -- typically using linear algebraic methods -- for parameter learning in latent variable models. But designing provable algorithms for inference…

Machine Learning · Computer Science 2016-05-30 Sanjeev Arora , Rong Ge , Frederic Koehler , Tengyu Ma , Ankur Moitra

In recent years, Semantic web has become a topic of active research in several fields of computer science and has applied in a wide range of domains such as bioinformatics, life sciences, and knowledge management. The two fast-developing…

Information Retrieval · Computer Science 2012-08-06 Hamed Hassanzadeh , Mohammad Reza Keyvanpour

Sentiment Analysis is the task of classifying documents based on the sentiments expressed in textual form, this can be achieved by using lexical and semantic methods. The purpose of this study is to investigate the use of semantics to…

Computation and Language · Computer Science 2020-09-02 Ukachi Osisiogu

Semantic parsing aims to map natural language utterances onto machine interpretable meaning representations, aka programs whose execution against a real-world environment produces a denotation. Weakly-supervised semantic parsers are trained…

Computation and Language · Computer Science 2019-09-11 Bailin Wang , Ivan Titov , Mirella Lapata

This paper develops a comprehensive framework for artificial intelligence systems that operate under strict epistemic constraints, moving beyond stochastic language prediction to support structured reasoning, propositional commitment, and…

Logic in Computer Science · Computer Science 2025-06-24 Craig Steven Wright

As the technology for building knowledge based systems has matured, important lessons have been learned about the relationship between the architecture of a system and the nature of the problems it is intended to solve. We are implementing…

Artificial Intelligence · Computer Science 2013-04-08 Lashon B. Booker , Naveen Hota , Connie Loggia Ramsey

This paper presents a method for semantic indexing and describes its application in the field of knowledge representation. Starting point of the semantic indexing is the knowledge represented by concept hierarchies. The goal is to assign…

Artificial Intelligence · Computer Science 2025-01-22 Uwe Petersohn , Sandra Zimmer , Jens Lehmann

Semantic technologies are designed to facilitate context-awareness for web content, enabling machines to understand and process them. However, this has been faced with several challenges, such as disparate nature of existing solutions and…

Computers and Society · Computer Science 2021-01-26 Oluwasegun Adedugbe , Elhadj Benkhelifa , Anoud Bani-Hani

Two distinct semantics have been considered for knowledge in the context of strategic reasoning, depending on whether players know each other's strategy or not. The problem of distributed synthesis for epistemic temporal specifications is…

Logic in Computer Science · Computer Science 2018-09-05 Bastien Maubert , Aniello Murano

Building machines that can understand text like humans is an AI-complete problem. A great deal of research has already gone into this, with astounding results, allowing everyday people to discuss with their telephones, or have their reading…

Information Retrieval · Computer Science 2017-09-13 Christina Lioma