Search results for "acyclicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	David Duris	Hypergraph Acyclicity and Extension Preservation Theorems.	LICS	2008	DBLP DOI BibTeX RDF	hypergraph acyclicity, preservation theorems, logic, finite model theory
94	Daniel Andersson, Vladimir Gurvich, Thomas Dueholm Hansen	On Acyclicity of Games with Cycles.	AAIM	2009	DBLP DOI BibTeX RDF	Positional game, game form, improvement cycle, restricted improvement cycle, restricted acyclicity, Nash-solvability, Nash equilibrium
75	V. S. Lakshmanan 0001, N. Chandrasekharan, C. E. Veni Madhavan	Recognition and Top-Down Generation of beta-Acyclic Database Schemes.	FSTTCS	1984	DBLP DOI BibTeX RDF
71	Bruno Marnette	Generalized schema-mappings: from termination to tractability.	PODS	2009	DBLP DOI BibTeX RDF	weak acyclicity, data exchange, core, universal solution
60	John William Hatfield, Scott Duke Kominers	Matching in networks with bilateral contracts: extended abstract.	EC	2010	DBLP DOI BibTeX RDF	quasisubmodularity, networks, stability, matching, substitutes
60	Alessandro D'Atri, Marina Moscarini	On the Recognition and Design of Acyclic Databases.	PODS	1984	DBLP DOI BibTeX RDF
53	Michele Pagani	Acyclicity and Coherence in Multiplicative Exponential Linear Logic.	CSL	2006	DBLP DOI BibTeX RDF
53	Domenico Cantone, Calogero G. Zarba	A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.	TABLEAUX	2005	DBLP DOI BibTeX RDF
53	Michael A. Bender, Dana Ron	Testing Acyclicity of Directed Graphs in Sublinear Time.	ICALP	2000	DBLP DOI BibTeX RDF
45	Benjamin Hummel, Sven Kosub	Acyclic type-of-relationship problems on the internet: an experimental analysis.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	algorithms, inter-domain routing, as relationships
45	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
45	Marc H. Graham, Ke Wang	On the Equivalence of an Egd to a Set of Fd's	J. ACM	1990	DBLP DOI BibTeX RDF
45	Ronald Fagin	Acyclic Database Schemes (of Various Degrees): A Painless Introduction.	CAAP	1983	DBLP DOI BibTeX RDF	Additional Key Words and Phrases acyclic, database scheme, relational database, hypergraph
41	Fabien Mathieu	Upper Bounds for Stabilization in Acyclic Preference-Based Systems.	SSS	2007	DBLP DOI BibTeX RDF	Preference-based systems, adversarial and round robin daemons, round robin, acyclicity, b-matching
38	Georg Gottlob, Reinhard Pichler	Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width.	ICALP	2001	DBLP DOI BibTeX RDF
30	Anh-Tuan Gai, Dmitry Lebedev, Fabien Mathieu, Fabien de Montgolfier, Julien Reynier, Laurent Viennot	Acyclic Preference Systems in P2P Networks.	Euro-Par	2007	DBLP DOI BibTeX RDF
30	Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan	The complexity of data exchange.	PODS	2006	DBLP DOI BibTeX RDF	database dependencies, complexity, data exchange, schema mappings, heterogenous databases, undecidability, data translation
30	César Sánchez 0001, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill	On efficient distributed deadlock avoidance for real-time and embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
30	Daniel Jackson 0001, Yu-Chung Ng, Jeannette M. Wing	A Nitpick Analysis of Mobile IPv6.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification
30	V. S. Lakshmanan 0001, C. E. Veni Madhavan	Binary Decompositions and Acyclic Schemes.	FSTTCS	1986	DBLP DOI BibTeX RDF
30	Gösta Grahne, Kari-Jouko Räihä	Dependency Characterizations for Acyclic Database Schemes.	PODS	1984	DBLP DOI BibTeX RDF
30	Kent Laver, Alberto O. Mendelzon, Marc H. Graham	Functional Dependencies on Cyclic Database Schemes.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
26	Martin Otto 0001	Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment.	LICS	2010	DBLP DOI BibTeX RDF	hypergraphs, finite model theory, acyclicity, guarded fragment
26	Thomas Eiter, Georg Gottlob, Kazuhisa Makino	New results on monotone dualization and generating hypergraph transversals.	STOC	2002	DBLP DOI BibTeX RDF	combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization
26	Klaus-Dieter Schewe	Design theory for advanced datamodels.	ADC	2001	DBLP DOI BibTeX RDF	dependency theory, object oriented datamodel, design theory, acyclicity
26	Yehoshua Sagiv, Oded Shmueli	Solving Queries by Tree Projections.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	monotone join expression, qual graph, semijoin reduction, tree projection, tree schema, relational database, projection, hypergraph, join, chase, database schema, acyclicity, semijoin, tableau, inclusion dependency
23	Benjamin Bergougnoux, Mamadou Moustapha Kanté	Erratum: More Applications of the \(d\)-Neighbor Equivalence: Acyclicity and Connectivity Constraints.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
23	Matthias Lanzinger	Tractability beyond β-acyclicity for conjunctive queries with negation and SAT.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
23	Quang-Duy Tran, Phuoc Nguyen, Bao Duong, Thin Nguyen	Differentiable Bayesian Structure Learning with Acyclicity Assurance.	CoRR	2023	DBLP DOI BibTeX RDF
23	Quang-Duy Tran, Phuoc Nguyen, Bao Duong, Thin Nguyen	Differentiable Bayesian Structure Learning with Acyclicity Assurance.	ICDM	2023	DBLP DOI BibTeX RDF
23	Lukas Gerlach 0002, David Carral	General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase.	AAAI	2023	DBLP DOI BibTeX RDF
23	Neng-Fa Zhou, Ruiwei Wang, Roland H. C. Yap	A Comparison of SAT Encodings for Acyclicity of Directed Graphs.	SAT	2023	DBLP DOI BibTeX RDF
23	Lukas Gerlach 0002, David Carral	General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
23	Kevin Bello, Bryon Aragam, Pradeep Ravikumar	DAGMA: Learning DAGs via M-matrices and a Log-Determinant Acyclicity Characterization.	CoRR	2022	DBLP DOI BibTeX RDF
23	Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude	Components and acyclicity of graphs. An exercise in combining precision with concision.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
23	Oliver Habeck, Marc E. Pfetsch	Combinatorial acyclicity models for potential-based flows.	Networks	2022	DBLP DOI BibTeX RDF
23	Masood Feyzbakhsh Rankooh, Tomi Janhunen	Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.	LPNMR	2022	DBLP DOI BibTeX RDF
23	Masood Feyzbakhsh Rankooh, Jussi Rintanen	Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.	AAAI	2022	DBLP DOI BibTeX RDF
23	Kevin Bello, Bryon Aragam, Pradeep Ravikumar	DAGMA: Learning DAGs via M-matrices and a Log-Determinant Acyclicity Characterization.	NeurIPS	2022	DBLP BibTeX RDF
23	Phillip Lippe, Taco Cohen, Efstratios Gavves	Efficient Neural Causal Discovery without Acyclicity Constraints.	ICLR	2022	DBLP BibTeX RDF
23	Frank Drewes, Berthold Hoffmann, Mark Minas	Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.	ICGT	2022	DBLP DOI BibTeX RDF
23	Benjamin Bergougnoux, Mamadou Moustapha Kanté	More Applications of the d-Neighbor Equivalence: Acyclicity and Connectivity Constraints.	SIAM J. Discret. Math.	2021	DBLP DOI BibTeX RDF
23	Phillip Lippe, Taco Cohen, Efstratios Gavves	Efficient Neural Causal Discovery without Acyclicity Constraints.	CoRR	2021	DBLP BibTeX RDF
23	Fulya Trösser, Simon de Givry, George Katsirelos	Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming.	CoRR	2021	DBLP BibTeX RDF
23	Masood Feyzbakhsh Rankooh, Jussi Rintanen	Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination.	CoRR	2021	DBLP BibTeX RDF
23	Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen	Acyclicity Programming for Sigma-Protocols.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
23	Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen	Acyclicity Programming for Sigma-Protocols.	TCC (1)	2021	DBLP DOI BibTeX RDF
23	Matthias Lanzinger	Tractability Beyond ß-Acyclicity for Conjunctive Queries with Negation.	PODS	2021	DBLP DOI BibTeX RDF
23	Ararat Harutyunyan, Michael Lampis, Nikolaos Melissinos	Digraph Coloring and Distance to Acyclicity.	STACS	2021	DBLP DOI BibTeX RDF
23	Fulya Trösser, Simon de Givry, George Katsirelos	Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming.	IJCAI	2021	DBLP DOI BibTeX RDF
23	Matthias Lanzinger	Tractability Beyond β-Acyclicity for Conjunctive Queries with Negation.	CoRR	2020	DBLP BibTeX RDF
23	Andrey Rukhin	On the Parallel Tower of Hanoi Puzzle: Acyclicity and a Conditional Triangle Inequality.	CoRR	2020	DBLP BibTeX RDF
23	Ararat Harutyunyan, Michael Lampis, Nikolaos Melissinos	Digraph Coloring and Distance to Acyclicity.	CoRR	2020	DBLP BibTeX RDF
23	Albert Atserias, Phokion G. Kolaitis	Consistency, Acyclicity, and Positive Semirings.	CoRR	2020	DBLP BibTeX RDF
23	Gherardo Varando	Learning DAGs without imposing acyclicity.	CoRR	2020	DBLP BibTeX RDF
23	Martin Gebser, Tomi Janhunen, Jussi Rintanen	Declarative encodings of acyclicity properties.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
23	Nofar Carmeli	The Power of Implicit Acyclicity in the Enumeration Complexity of Database Queries.		2020	RDF
23	Lê Thành Dung Nguyên	Constrained path-finding and structure from acyclicity.	CoRR	2019	DBLP BibTeX RDF
23	Dominique Lecomte	Acyclicity and reduction.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Benjamin Bergougnoux, Mamadou Moustapha Kanté	More Applications of the d-Neighbor Equivalence: Connectivity and Acyclicity Constraints.	ESA	2019	DBLP DOI BibTeX RDF
23	Timothy Sun	Testing Convexity and Acyclicity, and New Constructions for Dense Graph Embeddings.		2019	DOI RDF
23	Mikael Vejdemo-Johansson, Alisa Leshchenko	Certified Mapper: Repeated testing for acyclicity and obstructions to the nerve lemma.	CoRR	2018	DBLP BibTeX RDF
23	David Carral, Cristina Feier, Pascal Hitzler	A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.	CoRR	2018	DBLP BibTeX RDF
23	Benjamin Bergougnoux, Mamadou Moustapha Kanté	More applications of the d-neighbor equivalence: acyclicity and connectivity constraints.	CoRR	2018	DBLP BibTeX RDF
23		Acyclicity in finite groups and groupoids.	CoRR	2018	DBLP BibTeX RDF
23	Taus Brock-Nannestad	Space-efficient acyclicity constraints: A declarative pearl.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
23	Daniel Lokshtanov, M. S. Ramanujan 0001, Saket Saurabh 0001	When Recursion is Better than Iteration: A Linear-Time Algorithm for Acyclicity with Few Error Vertices.	SODA	2018	DBLP DOI BibTeX RDF
23	Orlando Moreira, Merten Popp, Christian Schulz 0003	Graph Partitioning with Acyclicity Constraints.	CoRR	2017	DBLP BibTeX RDF
23	Gregory Z. Gutin, Mark Jones 0001, Bin Sheng 0002, Magnus Wahlström, Anders Yeo	Acyclicity in edge-colored graphs.	Discret. Math.	2017	DBLP DOI BibTeX RDF
23	Orlando Moreira, Merten Popp, Christian Schulz 0003	Graph Partitioning with Acyclicity Constraints.	SEA	2017	DBLP DOI BibTeX RDF
23	Mohammad Abdulaziz, Charles Gretton, Michael Norrish	A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds.	ICAPS	2017	DBLP BibTeX RDF
23	Bin Sheng 0002	Polynomial and FPT algorithms for Chinese Postman, packing and acyclicity.		2017	RDF
23	Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub	Answer Set Programming Modulo Acyclicity.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
23	Gregory Z. Gutin, Mark Jones 0001, Bin Sheng 0002, Magnus Wahlström, Anders Yeo	Acyclicity in Edge-Colored Graphs.	CoRR	2016	DBLP BibTeX RDF
23	Pablo Barceló, Georg Gottlob, Andreas Pieris	Semantic Acyclicity Under Constraints.	CoRR	2016	DBLP BibTeX RDF
23	Sathya Peri, Muktikanta Sa, Nandini Singhal	Maintaining Acyclicity of Concurrent Graphs.	CoRR	2016	DBLP BibTeX RDF
23	Johann Brault-Baron	Hypergraph Acyclicity Revisited.	ACM Comput. Surv.	2016	DBLP DOI BibTeX RDF
23	Pablo Barceló, Miguel Romero 0001, Moshe Y. Vardi	Semantic Acyclicity on Graph Databases.	SIAM J. Comput.	2016	DBLP DOI BibTeX RDF
23	Pablo Barceló	Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.	WoLLIC	2016	DBLP DOI BibTeX RDF
23	Reshef Meir	Strong and Weak Acyclicity in Iterative Voting.	SAGT	2016	DBLP DOI BibTeX RDF
23	David Carral, Cristina Feier, Pascal Hitzler	A Practical Acyclicity Notion for Query Answering Over Horn- SRIQ Ontologies.	ISWC (1)	2016	DBLP DOI BibTeX RDF
23	Pablo Barceló, Georg Gottlob, Andreas Pieris	Semantic Acyclicity Under Constraints.	PODS	2016	DBLP DOI BibTeX RDF
23	Taus Brock-Nannestad	Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl.	FLOPS	2016	DBLP DOI BibTeX RDF
23	Pablo Barceló, Georg Gottlob, Andreas Pieris	Semantic Acyclicity Under Constraints.	AMW	2016	DBLP BibTeX RDF
23	Bonifacio Llamazares, Patrizia Pérez-Asurmendi	Triple-acyclicity in majorities based on difference in support.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
23	Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub	Answer Set Programming Modulo Acyclicity.	LPNMR	2015	DBLP DOI BibTeX RDF
23	Florent Capelli, Arnaud Durand 0001, Stefan Mengel	Hypergraph Acyclicity and Propositional Model Counting.	CoRR	2014	DBLP BibTeX RDF
23	Bernardo Cuenca Grau, Ian Horrocks 0001, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang 0001	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.	CoRR	2014	DBLP BibTeX RDF
23	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version).	CoRR	2014	DBLP BibTeX RDF
23	Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher	Extending Acyclicity Notions for Existential Rules (\emph{long version}).	CoRR	2014	DBLP BibTeX RDF
23	Davide Martinetti, Bernard De Baets, Susana Díaz, Susana Montes	On the role of acyclicity in the study of rationality of fuzzy choice functions.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
23	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.	CILC	2014	DBLP BibTeX RDF
23	Martin Gebser, Tomi Janhunen, Jussi Rintanen	Answer Set Programming as SAT modulo Acyclicity.	ECAI	2014	DBLP DOI BibTeX RDF
23	Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher	Extending Acyclicity Notions for Existential Rules.	ECAI	2014	DBLP DOI BibTeX RDF
23	Florent Capelli, Arnaud Durand 0001, Stefan Mengel	Hypergraph Acyclicity and Propositional Model Counting.	SAT	2014	DBLP DOI BibTeX RDF
23	Martin Gebser, Tomi Janhunen, Jussi Rintanen	SAT Modulo Graphs: Acyclicity.	JELIA	2014	DBLP DOI BibTeX RDF
23	Martin Gebser, Tomi Janhunen, Jussi Rintanen	ASP Encodings of Acyclicity Properties.	KR	2014	DBLP BibTeX RDF
23	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.	RR	2014	DBLP DOI BibTeX RDF
23	Samir Genaim, Damiano Zanardini	Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79].	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Samir Genaim, Damiano Zanardini	Reachability-based acyclicity analysis by Abstract Interpretation.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF