conftrace_
← Topics

Computer Science

5,693 papers (0 classified directly here)

Subtopics

Applications (3,478) Foundations (1,617) Systems (1,007)

Papers per year

Papers (including subtopics)

A Graph-based Representation Framework for Trajectory Recovery via Spatiotemporal Interval-Informed Seq2Seq IJCAI 2024
Parameterized Analysis of Bribery in Challenge the Champ Tournaments IJCAI 2024
Popular and Dominant Matchings with Uncertain and Multimodal Preferences IJCAI 2024
Individual Rationality in Topological Distance Games Is Surprisingly Hard IJCAI 2024
Determining Winners in Elections with Absent Votes IJCAI 2024
Sampling Winners in Ranked Choice Voting IJCAI 2024
The Distortion of Threshold Approval Matching IJCAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring IJCAI 2024
Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024
Preferred Reasoning in ABA by Cycle-Breaking IJCAI 2024
A Tensor-Based Formalization of the Event Calculus IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Contrastive General Graph Matching with Adaptive Augmentation Sampling IJCAI 2024
Automated CPU Design by Learning from Input-Output Examples IJCAI 2024
Deep Neural Networks via Complex Network Theory: A Perspective IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Dynamicity-aware Social Bot Detection with Dynamic Graph Transformers IJCAI 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
ADELT: Transpilation between Deep Learning Frameworks IJCAI 2024
Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024
Purpose Enhanced Reasoning through Iterative Prompting: Uncover Latent Robustness of ChatGPT on Code Comprehension IJCAI 2024
Scalable Landmark Hub Labeling for Optimal and Bounded Suboptimal Pathfinding IJCAI 2024
Improved Approximation Algorithms for Capacitated Location Routing IJCAI 2024