English
Related papers

Related papers: Bipolar Weighted Argumentation Graphs

200 papers

This work considers new entropy-based proofs of some known, or otherwise refined, combinatorial bounds for bipartite graphs. These include upper bounds on the number of the independent sets, lower bounds on the minimal number of colors in…

Information Theory · Computer Science 2021-06-15 Igal Sason

We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by K\"undgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002)…

Combinatorics · Mathematics 2026-04-24 Kenta Noguchi

It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected…

Combinatorics · Mathematics 2024-06-11 Bartłomiej Bychawski

We recall first some basic facts on weighted homogeneous functions and filtrations in the ring $A$ of formal power series. We introduce next their analogues for weighted homogeneous diffeomorphisms and vector fields. We show that the Milnor…

Algebraic Geometry · Mathematics 2019-04-09 Imran Ahmed

Current paper introduces a Hypergraph Graph model of data storage which can be represented as a hybrid data structure based on Hypergraph and Graph. The pro-posed data structure is claimed to realize complex combinatorial structures. The…

Data Structures and Algorithms · Computer Science 2013-12-02 Shiladitya Munshi , Ayan Chakraborty , Debajyoti Mukhopadhyay

We propose a graph-based extension of Boolean logic called Boolean Graph Logic (BGL). Construing formula trees as the cotrees of cographs, we may state semantic notions such as evaluation and entailment in purely graph-theoretic terms,…

Logic in Computer Science · Computer Science 2020-04-28 Cameron Calk , Anupam Das , Tim Waring

It is shown that every 2-planar graph is quasiplanar, that is, if a simple graph admits a drawing in the plane such that every edge is crossed at most twice, then it also admits a drawing in which no three edges pairwise cross. We further…

Computational Geometry · Computer Science 2019-09-05 Michael Hoffmann , Csaba D. Tóth

We propose a new, structured, logic-based framework for legal reasoning and argumentation: Instead of using a single, unstructured meaning space, theory graphs organize knowledge and inference into collections of modular meaning spaces…

Logic in Computer Science · Computer Science 2020-07-03 Max Rapp , Axel Adrian , Michael Kohlhase

In applications, quantities of interest are often modelled in equilibrium or an equilibrium solution is sought. The presence of confounding makes causal inference in this setting challenging. We provide interpretable graphical models for…

Methodology · Statistics 2026-03-27 Kai Z. Teh , Kayvan Sadeghi , Terry Soo

Dung's Abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in Artificial Intelligence. It has been extended in several directions, including the possibility to express supports, leading to the development…

Artificial Intelligence · Computer Science 2025-01-22 Gianvincenzo Alfano , Sergio Greco , Francesco Parisi , Irina Trubitsyna

Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon Sowa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given…

Artificial Intelligence · Computer Science 2011-06-10 J. F. Baget , M. L. Mugnier

We provide a pointwise bipolar theorem for liminf-closed convex sets of positive Borel measurable functions on a sigma-compact metric space without the assumption that the polar is a tight set of measures. As applications we derive a…

Functional Analysis · Mathematics 2019-02-12 Daniel Bartl , Michael Kupper

This work proposes novel splitting techniques for argumentation formalisms that incorporate supports between defeasible elements. We base our studies on bipolar set-based argumentation frameworks (BSAFs) which generalize argumentation…

Artificial Intelligence · Computer Science 2026-05-01 Matti Berthold , Lydia Blümel , Giovanni Buraglio , Anna Rapberger

In this paper, we compose a new task for deep argumentative structure analysis that goes beyond shallow discourse structure analysis. The idea is that argumentative relations can reasonably be represented with a small set of predefined…

Computation and Language · Computer Science 2017-12-08 Paul Reisert , Naoya Inoue , Naoaki Okazaki , Kentaro Inui

A gradual semantics takes a weighted argumentation framework as input and outputs a final acceptability degree for each argument, with different semantics performing the computation in different manners. In this work, we consider the…

Artificial Intelligence · Computer Science 2023-02-09 Nir Oren , Bruno Yun

Polynomial algorithms are given for the following two problems: given a graph with $n$ vertices and $m$ edges, where $m \ge 3 n^{3/2}$, find a complete balanced bipartite subgraph with parts about $\ln n/(\ln (n^2/m))$, given a graph with…

Combinatorics · Mathematics 2009-05-18 D. Mubayi , G. Turan

Possibility theory offers either a qualitive, or a numerical framework for representing uncertainty, in terms of dual measures of possibility and necessity. This leads to the existence of two kinds of possibilistic causal graphs where the…

Artificial Intelligence · Computer Science 2013-01-14 Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade

Network-based modeling of complex systems and data using the language of graphs has become an essential topic across a range of different disciplines. Arguably, this graph-based perspective derives its success from the relative simplicity…

Social and Information Networks · Computer Science 2023-08-11 Christian Bick , Elizabeth Gross , Heather A. Harrington , Michael T. Schaub

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

Computational Complexity · Computer Science 2021-11-18 Till Fluschnik , Pascal Kunz

A \emph{directional labeling} of an edge $\emph{uv}$ in a graph $G=(V,E)$ by an ordered pair $ab$ is a labeling of the edge $uv$ such that the label on $uv$ in the direction from $u$ to $v$ is $\ell(uv)=ab$, and $\ell(vu)=ba$. New…

Combinatorics · Mathematics 2013-04-02 E. Sampathkumar , M. A. Sriraj
‹ Prev 1 8 9 10 Next ›