Papers

8,127 papers found
Angle Principal Component Analysis
Qianqian Wang, Quanxue Gao, Xinbo Gao et al.
2017 IJCAI
2017 IJCAI
An Improved Decision-DNNF Compiler
Jean-Marie Lagniez, Pierre Marquis
2017 IJCAI
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
2017 IJCAI
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier et al.
2017 IJCAI
A Partitioning Algorithm for Maximum Common Subgraph Problems
Ciaran McCreesh, Patrick Prosser, James Trimble
2017 IJCAI
2017 IJCAI
2017 IJCAI
2017 IJCAI
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima et al.
2017 IJCAI
A Reduction based Method for Coloring Very Large Graphs
Jinkun Lin, Shaowei Cai, Chuan Luo et al.
2017 IJCAI
2017 IJCAI
A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2017 IJCAI
A Structural Representation Learning for Multi-relational Networks
Lin Liu, Xin Li, William K. Cheung et al.
2017 IJCAI
2017 IJCAI
2017 IJCAI
Attachment Centrality for Weighted Graphs
Jadwiga Sosnowska, Oskar Skibski
2017 IJCAI