English
Related papers

Related papers: A Program in Dialectical Rough Set Theory

200 papers

This paper deals with computation trees over an arbitrary structure consisting of a set along with collections of functions and predicates that are defined on it. It is devoted to the comparative analysis of three parameters of problems…

Computational Complexity · Computer Science 2022-01-04 Mikhail Moshkov

In real world everything is an object which represents particular classes. Every object can be fully described by its attributes. Any real world dataset contains large number of attributes and objects. Classifiers give poor performance when…

Computer Vision and Pattern Recognition · Computer Science 2012-03-15 Shampa Sengupta , Asit Kr. Das

In this paper, we propose two-sorted modal logics for the representation and reasoning of concepts arising from rough set theory (RST) and formal concept analysis (FCA). These logics are interpreted in two-sorted bidirectional frames, which…

Logic · Mathematics 2023-09-11 Prosenjit Howlader , Churn-Jung Liau

This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoretic version of the classical area of algebraic semantics. The…

Logic in Computer Science · Computer Science 2011-01-26 Stefan Milius , Lawrence S. Moss

Gradual semantics within abstract argumentation associate a numeric score with every argument in a system, which represents the level of acceptability of this argument, and from which a preference ordering over arguments can be derived.…

Artificial Intelligence · Computer Science 2022-03-03 Nir Oren , Bruno Yun , Assaf Libman , Murilo S. Baptista

Object rearrangement has recently emerged as a key competency in robot manipulation, with practical solutions generally involving object detection, recognition, grasping and high-level planning. Goal-images describing a desired scene…

Robotics · Computer Science 2021-11-16 Walter Goodwin , Sagar Vaze , Ioannis Havoutis , Ingmar Posner

In planning and reinforcement learning, the identification of common subgoal structures across problems is important when goals are to be achieved over long horizons. Recently, it has been shown that such structures can be expressed as…

Artificial Intelligence · Computer Science 2025-08-18 Michael Aichmüller , Hector Geffner

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched…

Logic in Computer Science · Computer Science 2012-01-23 Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang

Discourse Representation Theory (DRT) is a formal account for representing the meaning of natural language discourse. Meaning in DRT is modeled via a Discourse Representation Structure (DRS), a meaning representation with a model-theoretic…

Computation and Language · Computer Science 2021-01-01 Lasha Abzianidze , Johan Bos , Stephan Oepen

A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively,…

Logic · Mathematics 2025-01-14 Prosenjit Howlader , Churn-Jung Liau

With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been two recent developments to provide the theoretical support…

Category Theory · Mathematics 2021-01-27 Geoffrey Cruttwell , Jonathan Gallagher , Dorette Pronk

This thesis is about the problem of compositionality in distributional semantics. Distributional semantics presupposes that the meanings of words are a function of their occurrences in textual contexts. It models words as distributions over…

Computation and Language · Computer Science 2013-11-08 Edward Grefenstette

The kernel of analysis, to me anyway, is the following idea: A point is arbitrarily close to a set if every neighborhood of the point intersects the set. Defining ``arbitrarily close'' in this way provides a foundation for classical results…

History and Overview · Mathematics 2022-08-22 John A. Rock

Spatial relations between objects in an image have proved useful for structural object recognition. Structural constraints can act as regularization in neural network training, improving generalization capability with small datasets.…

Computer Vision and Pattern Recognition · Computer Science 2021-02-23 Mateus Riva , Pietro Gori , Florian Yger , Roberto Cesar , Isabelle Bloch

Among the most general structures extending the framework by Dung are the abstract dialectical frameworks (ADFs). They come equipped with various types of semantics, with the most prominent - the labeling-based one - analyzed in the context…

Artificial Intelligence · Computer Science 2016-07-05 Sylwia Polberg

The predominant challenge in weakly supervised semantic parsing is that of spurious programs that evaluate to correct answers for the wrong reasons. Prior work uses elaborate search strategies to mitigate the prevalence of spurious…

Computation and Language · Computer Science 2021-07-14 Nitish Gupta , Sameer Singh , Matt Gardner

One influential approach to assessing the "goodness" of arguments is offered by the Pragma-Dialectical school (p-d) (Eemeren & Grootendorst 1992). This can be compared with Rhetorical Structure Theory (RST) (Mann & Thompson 1988), an…

Artificial Intelligence · Computer Science 2007-05-23 Chris Reed , Aspassia Daskalopulu

Discourse structure is the hidden link between surface features and document-level properties, such as sentiment polarity. We show that the discourse analyses produced by Rhetorical Structure Theory (RST) parsers can improve document-level…

Computation and Language · Computer Science 2015-09-14 Parminder Bhatia , Yangfeng Ji , Jacob Eisenstein

Remote sensing image segmentation faces persistent challenges in distinguishing morphologically similar categories and adapting to diverse scene variations. While existing methods rely on implicit representation learning paradigms, they…

Computer Vision and Pattern Recognition · Computer Science 2025-03-11 Xuechao Zou , Yue Li , Shun Zhang , Kai Li , Shiying Wang , Pin Tao , Junliang Xing , Congyan Lang

Artificial intelligence (AI) is ushering in a new era for communication. As a result, the establishment of a semantic communication framework is putting on the agenda. Based on a realistic semantic communication model, this paper develops a…

Information Theory · Computer Science 2025-09-15 Yi-Qun Zhao , Zhi-Ming Ma , Geoffrey Ye Li , Shuai Yuan , Tong Ye , Chuan Zhou
‹ Prev 1 3 4 5 6 7 10 Next ›