conftrace_
← Topics

Computer Science

5,747 papers (0 classified directly here)

Subtopics

Applications (3,823) Foundations (1,623) Systems (601)

Papers per year

1
18
96
551
887
'05
'10
'15
'20
'25

Papers (including subtopics)

Approximation and Hardness of Shift-Bribery AAAI 2019
Very Hard Electoral Control Problems AAAI 2019
Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking AAAI 2019
Random Walk Decay Centrality AAAI 2019
A Better Algorithm for Societal Tradeoffs AAAI 2019
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem AAAI 2019
On the Optimal Efficiency of Cost-Algebraic A* AAAI 2019
Evolving Solutions to Community-Structured Satisfiability Formulas AAAI 2019
Enriching Non-Parametric Bidirectional Search Algorithms AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019
Querying Attributed DL-Lite Ontologies Using Provenance Semirings AAAI 2019
Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models AAAI 2019
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019
Argumentation for Explainable Scheduling AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019
Partial Awareness AAAI 2019
Modular Materialisation of Datalog Programs AAAI 2019
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019
Ontology-Based Query Answering for Probabilistic Temporal Data AAAI 2019
SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019
Group Decision Diagram (GDD): A Compact Representation for Permutations AAAI 2019