Logical graph - PDFSEARCH.IO - Document Search Engine

Logical graph
Results: 26

#	Item
1	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
2	Algebraic Methods in the Congested Clique∗ † Keren Censor-Hillel Technion Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:11 Network theory NP-complete problems Edsger W. Dijkstra Graph coloring Spanning tree Matching Shortest path problem Logical matrix Treewidth Matrix Minimum spanning tree Clique
3	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:05 Diagrams Diagrammatic reasoning Existential graph Diagram Conceptual graph Euler diagram Venn diagram Logical graph Charles Sanders Peirce Resource Description Framework Logic Description logic
4	Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-11 17:57:37
5	A Binary Factor Graph Model for Biclustering Matteo Denitto, Alessandro Farinelli, Giuditta Franco, and Manuele Bicego University of Verona, Department of Computer Science, Verona, Italy Abstract. Biclustering, which can Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-16 09:42:08 Multivariate statistics Biclustering Bioinformatics Data analysis Belief propagation Matrix Logical matrix Linear programming Graph partition Statistics Mathematics Cluster analysis
6	22 IP1 Structural and Logical Approaches to the Graph Isomorphism Problem The question of whether there is a polynomial time algorithm deciding whether two graphs are isomorphic has Add to Reading List Source URL: www.siam.org - Date: 2012-01-03 17:09:43
7	Logical Characterization of Weighted Pebble Walking Automata ∗ Benedikt Bollig, Paul Gastin Benjamin Monmege Add to Reading List Source URL: www.ulb.ac.be Language: English - Date: 2014-07-15 12:14:29 Combinatorics Automata theory Model theory Graph theory Nested word Words Structure First-order logic Graph Mathematics Formal languages Logic
8	Logical Methods in Computer Science Vol. 9(4:2)2013, pp. 1–23 www.lmcs-online.org Submitted Published Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-07 21:44:15 Applied mathematics Combinatorial game theory Graph homomorphism Morphisms Pebble game Graph coloring Theoretical computer science Mathematics Graph theory
9	Tractability Results for the Consecutive-Ones Property with Multiplicity Cedric Chauve1 , J´an Maˇ nuch1,2 , 2 Murray Patterson and Roland Wittler1,3 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2011-09-22 21:47:21 Matrix theory Matrix Logical matrix Linear algebra Algebraic graph theory Unimodular matrix Adjacency matrix Algebra Mathematics Matrices
10	Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data Qiang Zeng Xiaorui Jiang Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:03 Knowledge representation Tree Reachability Bipartite graph Rope Lowest common ancestor Connectivity T-tree B-tree Graph theory Binary trees Graph connectivity