conftrace_

Michael Katz

30 papers · 2015–2026 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+13 more ↓ 🏃 Academic Marathon (10) 🌍 Conference Polyglot (3) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (4)
🧭 Keyword Pioneer 🐝 Cross-Pollinator (4) 🌍 Conference Polyglot (3) 🤝 Dynamic Duo (15) 🔬 Deep Specialist (24) 🧬 Topic Evolution 🏆 Keyword Champion (7) The Questioner (2) 🗃️ Keyword Collector (112) Prolific Year (6) 🔥 Unstoppable (8) 💎 Century Club (29) 🚀 Conference Pioneer

Conferences

AAAI (18) IJCAI (10) NIPS (2)

Papers

QueryGym: Step-by-Step Interaction with Relational Databases AAAI 2026 Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract) AAAI 2025 ACPBench: Reasoning About Action, Change, and Planning AAAI 2025 Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract) AAAI 2024 Thought of Search: Planning with Language Models Through The Lens of Efficiency NIPS 2024 Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning AAAI 2024 Generalized Planning in PDDL Domains with Pretrained Large Language Models AAAI 2024 Large Language Models as Planning Domain Generators (Student Abstract) AAAI 2024 Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction AAAI 2024 Optimistic Exploration in Reinforcement Learning Using Symbolic Model Estimates NIPS 2023 K∗ Search over Orbit Space for Top-k Planning IJCAI 2023 Action Space Reduction for Planning Domains IJCAI 2023 Bounding Quality in Diverse Planning AAAI 2022 How to Reduce Action Space for Planning Domains? (Student Abstract) AAAI 2022 A* Search and Bound-Sensitive Heuristics for Oversubscription Planning AAAI 2022 IBM Scenario Planning Advisor: A Neuro-Symbolic ERM Solution AAAI 2021 The Fewer the Merrier: Pruning Preferred Operators with Novelty IJCAI 2021 Efficient Black-Box Planning Using Macro-Actions with Focused Effects IJCAI 2021 Custom-Design of FDR Encodings: The Case of Red-Black Planning IJCAI 2021 Symbolic Search for Oversubscription Planning AAAI 2021 Online Planner Selection with Graph Neural Networks and Adaptive Scheduling AAAI 2020 Top-Quality Planning: Finding Practically Useful Sets of Best Plans AAAI 2020 Reshaping Diverse Planning AAAI 2020 Answering Binary Causal Questions Through Large-Scale Text Mining: An Evaluation Using Cause-Effect Pairs from Human Experts IJCAI 2019 Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection AAAI 2019 Red-Black Heuristics for Planning Tasks with Conditional Effects AAAI 2019 IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice IJCAI 2018 In Search of Tractability for Partial Satisfaction Planning IJCAI 2016 Structural Symmetries for Fully Observable Nondeterministic Planning IJCAI 2016 Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning IJCAI 2015