Sanjiang Li

Inf. Comput., October, 2023

Supervised Learning Enhanced Quantum Circuit Transformation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

Decision Diagrams for Symbolic Verification of Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Quantum Circuit Transformation: A Monte Carlo Tree Search Framework.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2022

A Tensor Network based Decision Diagram for Representation of Quantum Circuits.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2022

Verification of Distributed Quantum Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2022

On quotients of formal power series.

[BibT_eX]

[DOI]

Qian Wang

Inf. Comput., 2022

Equivalence Checking of Dynamic Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand.

[BibT_eX]

[DOI]

Xueqing Yan

CoRR, 2021

Approximate Equivalence Checking of Noisy Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Stability analysis of chemotaxis dynamics in bacterial foraging optimization over multi-dimensional objective functions.

[BibT_eX]

[DOI]

Cuicui Yang

Junzhong Ji

Soft Comput., 2020

Compact geometric representation of qualitative directional knowledge.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2020

On constructing the largest and smallest uninorms on bounded lattices.

[BibT_eX]

[DOI]

Aifang Xie

Fuzzy Sets Syst., 2020

A Monte Carlo Tree Search Framework for Quantum Circuit Transformation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Computation tree logic model checking based on multi-valued possibility measures.

[BibT_eX]

[DOI]

Lihui Lei

Inf. Sci., 2019

Let's Play Mahjong!

[BibT_eX]

[DOI]

Xueqing Yan

CoRR, 2019

Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2018

Exploring Directional Path-Consistency for Solving Constraint Networks.

[BibT_eX]

[DOI]

Comput. J., 2018

A new distributed algorithm for efficient generalized arc-consistency propagation.

[BibT_eX]

[DOI]

Jae Hee Lee

Auton. Agents Multi Agent Syst., 2018

Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Multiagent Simple Temporal Problem: The Arc-Consistency Approach.

[BibT_eX]

[DOI]

Jae Hee Lee

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

On tree-preserving constraints.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

On Redundant Topological Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints.

[BibT_eX]

[DOI]

Jae Hee Lee

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Indexing large geographic datasets with compact qualitative representation.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2016

Efficiently Reasoning about Qualitative Constraints through Variable Elimination.

[BibT_eX]

[DOI]

Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 2016

Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Redundancy in Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

The Quintuple Implication Principle of fuzzy reasoning.

[BibT_eX]

[DOI]

Baokui Zhou

Genqi Xu

Inf. Sci., 2015

Cardinal directions: a comparison of direction relation matrix and objects interaction matrix.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2015

Realizing RCC8 networks using convex regions.

[BibT_eX]

[DOI]

Artif. Intell., 2015

On redundant topological constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.

[BibT_eX]

[DOI]

Jean-François Condotta

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On Redundancy in Linked Geospatial Data.

[BibT_eX]

[DOI]

Jean-François Condotta

Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015

On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 12th International Conference, 2015

Belief Revision with General Epistemic States.

[BibT_eX]

[DOI]

Hua Meng

Hui Kou

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

A Topological Characterisation of Belief Revision over Infinite Propositional Languages.

[BibT_eX]

[DOI]

Hua Meng

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

On Redundant Topological Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

A complete classification of spatial relations using the Voronoi-based nine-intersection model.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2013

Qualitative constraint satisfaction problems: An extended framework with landmarks.

[BibT_eX]

[DOI]

Sheng-Sheng Wang

Artif. Intell., 2013

Combining RCC5 Relations with Betweenness Information.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

On Finding Approximate Solutions of Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Jason Jingshi Li

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Reasoning with Topological and Directional Spatial Information.

[BibT_eX]

[DOI]

Anthony G. Cohn

Comput. Intell., 2012

Convex Solutions of RCC8 Networks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

Extension Properties of Boolean Contact Algebras.

[BibT_eX]

[DOI]

Ivo Düntsch

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

On standard models of fuzzy region connection calculus.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2011

On A Semi-Automatic Method for Generating Composition Tables

[BibT_eX]

[DOI]

CoRR, 2011

Reasoning about cardinal directions between extended objects: The NP-hardness result.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Solving Qualitative Constraints Involving Landmarks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Reasoning about Cardinal Directions between Extended Objects: The Hardness Result

[BibT_eX]

[DOI]

CoRR, 2010

Reasoning about cardinal directions between extended objects.

[BibT_eX]

[DOI]

Artif. Intell., 2010

A Layered Graph Representation for Complex Regions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Decentralized querying of topological relations between regions without using localization.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010

Topological Relations between Convex Regions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity.

[BibT_eX]

[DOI]

Jochen Renz

Proceedings of the IJCAI 2009, 2009

2008

Soft constraint abstraction based on semiring homomorphism.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

AI in China: A Survey.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

Causal models have no complete axiomatic characterization

[BibT_eX]

[DOI]

CoRR, 2008

Combining binary constraint networks in qualitative reasoning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Reasoning with Cardinal Directions: An Efficient Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Qualitative Spatial Representation and Reasoning: A Hierarchical Approach.

[BibT_eX]

[DOI]

Bernhard Nebel

Comput. J., 2007

A representation theorem for minmax regret policies.

[BibT_eX]

[DOI]

Artif. Intell., 2007

Combining Topological and Directional Information for Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

On the complemented disk algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

A complete classification of topological relations using the 9-intersection method.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2006

On minimal models of the Region Connection Calculus.

[BibT_eX]

[DOI]

Lirong Xia

Fundam. Informaticae, 2006

On Topological Consistency and Realization.

[BibT_eX]

[DOI]

Constraints An Int. J., 2006

RCC8 binary constraint network can be consistently extended.

[BibT_eX]

[DOI]

Huaiqing Wang

Artif. Intell., 2006

Combining Topological and Directional Information: First Results.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

2005

On countable RCC models.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Relational reasoning in the region connection calculus

[BibT_eX]

[DOI]

CoRR, 2005

2004

A fuzzy sets theoretic approach to approximate spatial reasoning.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2004

A note on stratified <i>L</i>-real line and unit <i>L</i>-interval.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2004

Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model

[BibT_eX]

[DOI]

Huaiqing Wang

CoRR, 2004

Generalized Region Connection Calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2004

2003

Extensionality of the RCC8 Composition Table.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

A negative answer to T. Kubiak's question.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2003

Generalized Lowen functors.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2003

FNS is not isomorphic to FTS.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2003

Region Connection Calculus: Its models and composition table.

[BibT_eX]

[DOI]