Carmel Domshlak

108 papers A* 40A 11B 3Misc 2Journal 47Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Rank-Based Approach to Recommender System's Top-K Queries with Uncertain Scores.
Proc. ACM Manag. Data
Coral Scharf, Carmel Domshlak, Avigdor Gal, Haggai Roitman
2016 A* conf
Blind Search for Atari-Like Online Planning Revisited.
IJCAI
Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak
2015 J jnl
Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations.
J. Artif. Intell. Res.
Carmel Domshlak, Vitaly Mirkis
2015 B conf
From Fork Decoupling to Star-Topology Decoupling.
SOCS
Daniel Gnad, Jörg Hoffmann, Carmel Domshlak
2015 A* conf
On Interruptible Pure Exploration in Multi-Armed Bandits.
AAAI
Alexander Shleyfman, Antonín Komenda, Carmel Domshlak
2015 A* ed.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.
ICAPS
Ronen I. Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein
2015 J jnl
Red-black planning: A new systematic approach to partial delete relaxation.
Artif. Intell.
Carmel Domshlak, Jörg Hoffmann, Michael Katz
2014 J jnl
Generic Preferences over Subsets of Structured Objects.
CoRR
Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2014 J jnl
Implicit Abstraction Heuristics.
CoRR
Michael Katz, Carmel Domshlak
2014 A conf
Landmarks in Oversubscription Planning.
ECAI
Vitaly Mirkis, Carmel Domshlak
2014 A conf
Monte-Carlo Tree Search: To MC or to DP?
ECAI
Zohar Feldman, Carmel Domshlak
2014 A conf
On Combinatorial Actions and CMABs with Linear Side Information.
ECAI
Alexander Shleyfman, Antonín Komenda, Carmel Domshlak
2014 A* conf
On MABs and Separation of Concerns in Monte-Carlo Planning for MDPs.
ICAPS
Zohar Feldman, Carmel Domshlak
2014 — conf
On Robustness of CMAB Algorithms: Experimental Approach.
CGW@ECAI
Antonín Komenda, Alexander Shleyfman, Carmel Domshlak
2014 J jnl
Online Speedup Learning for Optimal Planning.
CoRR
Carmel Domshlak, Erez Karpas, Shaul Markovitch
2014 J jnl
Simple Regret Optimization in Online Planning for Markov Decision Processes.
J. Artif. Intell. Res.
Zohar Feldman, Carmel Domshlak
2014 A* conf
The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph.
ICAPS
Carmel Domshlak, Anton Nazarenko
2013 A* conf
Abstractions for Oversubscription Planning.
ICAPS
Vitaly Mirkis, Carmel Domshlak
2013 J jnl
Cost-Sharing in Bayesian Knowledge Bases
CoRR
Solomon Eyal Shimony, Carmel Domshlak, Eugene Santos Jr.
2013 A* conf
Data-Parallel Computing Meets STRIPS.
AAAI
Erez Karpas, Tomer Sagi, Carmel Domshlak, Avigdor Gal, Avi Mendelson, Moshe Tennenholtz
2013 A* conf
Fault Tolerant Planning: Complexity and Compilation.
ICAPS
Carmel Domshlak
2013 J jnl
Introducing Variable Importance Tradeoffs into CP-Nets
CoRR
Ronen I. Brafman, Carmel Domshlak
2013 A conf
Monte-Carlo Planning: Theoretically Fast Convergence Meets Practical Efficiency.
UAI
Zohar Feldman, Carmel Domshlak
2013 J jnl
Monte-Carlo Planning: Theoretically Fast Convergence Meets Practical Efficiency.
CoRR
Zohar Feldman, Carmel Domshlak
2013 J jnl
On the complexity of planning for agent teams and its implications for single agent planning.
Artif. Intell.
Ronen I. Brafman, Carmel Domshlak
2013 A* conf
Red-Black Relaxed Plan Heuristics.
AAAI
Michael Katz, Jörg Hoffmann, Carmel Domshlak
2013 A* conf
Symmetry Breaking: Satisficing Planning and Landmark Heuristics.
ICAPS
Carmel Domshlak, Michael Katz, Alexander Shleyfman
2013 J jnl
The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph.
J. Artif. Intell. Res.
Carmel Domshlak, Anton Nazarenko
2013 B conf
To UCT, or not to UCT? (Position Paper).
SOCS
Carmel Domshlak, Zohar Feldman
2013 A* conf
Who Said We Need to Relax All Variables?
ICAPS
Michael Katz, Jörg Hoffmann, Carmel Domshlak
2012 J jnl
Compact Value-Function Representations for Qualitative Preferences
CoRR
Ronen I. Brafman, Carmel Domshlak, Tanya Kogan
2012 A* conf
Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search.
ICAPS
Carmel Domshlak, Michael Katz, Alexander Shleyfman
2012 J jnl
Landmark-enhanced abstraction heuristics.
Artif. Intell.
Carmel Domshlak, Michael Katz, Sagi Lefler
2012 J jnl
Online Planning in MDPs: Rationality and Optimization
CoRR
Zohar Feldman, Carmel Domshlak
2012 J jnl
Online Speedup Learning for Optimal Planning.
J. Artif. Intell. Res.
Carmel Domshlak, Erez Karpas, Shaul Markovitch
2012 A* conf
Optimal Search with Inadmissible Heuristics.
ICAPS
Erez Karpas, Carmel Domshlak
2012 J jnl
Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation
CoRR
Carmel Domshlak, Thorsten Joachims
2011 J jnl
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
CoRR
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole
2011 J jnl
On Graphical Modeling of Preference and Importance
CoRR
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2011 A* conf
Planning for Operational Control Systems with Predictable Exogenous Events.
AAAI
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman
2011 J jnl
Preferences in AI: An overview.
Artif. Intell.
Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci, Henri Prade
2011 J jnl
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
CoRR
Carmel Domshlak, Jörg Hoffmann
2011 A* ed.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
ICAPS
Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert
2011 J jnl
Structure and Complexity in Planning with Unary Operators
CoRR
Ronen I. Brafman, Carmel Domshlak
2010 A conf
A general, fully distributed multi-agent planning algorithm.
AAMAS
Raz Nissim, Ronen I. Brafman, Carmel Domshlak
2010 J jnl
Implicit Abstraction Heuristics.
J. Artif. Intell. Res.
Michael Katz, Carmel Domshlak
2010 J jnl
Optimal admissible composition of abstraction heuristics.
Artif. Intell.
Michael Katz, Carmel Domshlak
2010 A* conf
To Max or Not to Max: Online Learning for Speeding Up Optimal Planning.
AAAI
Carmel Domshlak, Erez Karpas, Shaul Markovitch
2010 A* conf
Transferable Utility Planning Games.
AAAI
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
2010 A* conf
When Abstractions Met Landmarks.
ICAPS
Carmel Domshlak, Michael Katz, Sagi Lefler
2009 A* conf
Cost-Optimal Planning with Landmarks.
IJCAI
Erez Karpas, Carmel Domshlak
2009 J jnl
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res.
Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal
2009 J jnl
Generic Preferences over Subsets of Structured Objects.
J. Artif. Intell. Res.
Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2009 A* conf
Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?
ICAPS
Malte Helmert, Carmel Domshlak
2009 — conf
Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?
Graph Search Engineering
Malte Helmert, Carmel Domshlak
2009 Misc conf
Navigating in the Dark: Modeling Uncertainty in Ad Hoc Retrieval Using Multiple Relevance Models.
ICTIR
Natali Levi-Soskin, Oren Kurland, Carmel Domshlak
2009 A* conf
Planning Games.
IJCAI
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
2009 J jnl
Preference Handling - An Introductory Tutorial.
AI Mag.
Ronen I. Brafman, Carmel Domshlak
2009 J jnl
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
CoRR
Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh
2009 J jnl
Set-structured and cost-sharing heuristics for classical planning.
Ann. Math. Artif. Intell.
Carmel Domshlak, Vitaly Mirkis
2009 A* conf
Structural-Pattern Databases.
ICAPS
Michael Katz, Carmel Domshlak
2008 A* conf
A rank-aggregation approach to searching for optimal query-specific clusters.
SIGIR
Oren Kurland, Carmel Domshlak
2008 A* conf
From One to Many: Planning for Loosely Coupled Multi-Agent Systems.
ICAPS
Ronen I. Brafman, Carmel Domshlak
2008 J jnl
Graphically structured value-function compilation.
Artif. Intell.
Ronen I. Brafman, Carmel Domshlak
2008 J jnl
New Islands of Tractability of Cost-Optimal Planning.
J. Artif. Intell. Res.
Michael Katz, Carmel Domshlak
2008 J jnl
On ranking techniques for desktop search.
ACM Trans. Inf. Syst.
Sara Cohen, Carmel Domshlak, Naama Zwerdling
2008 A* conf
Optimal Additive Composition of Abstraction-based Admissible Heuristics.
ICAPS
Michael Katz, Carmel Domshlak
2008 A conf
Providing Top-K Alternative Schema Matchings with .
ER
Haggai Roitman, Avigdor Gal, Carmel Domshlak
2008 A* conf
Structural Patterns Heuristics via Fork Decomposition.
ICAPS
Michael Katz, Carmel Domshlak
2007 A* conf
Cost-Sharing Approximations for h+.
ICAPS
Vitaly Mirkis, Carmel Domshlak
2007 J jnl
Efficient and non-parametric reasoning over user preferences.
User Model. User Adapt. Interact.
Carmel Domshlak, Thorsten Joachims
2007 A* conf
On ranking techniques for desktop search.
WWW
Sara Cohen, Carmel Domshlak, Naama Zwerdling
2007 J jnl
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.
J. Artif. Intell. Res.
Carmel Domshlak, Jörg Hoffmann
2007 J jnl
Rank Aggregation for Automatic Schema Matching.
IEEE Trans. Knowl. Data Eng.
Carmel Domshlak, Avigdor Gal, Haggai Roitman
2007 A* conf
Structural Patterns of Tractable Sequentially-Optimal Planning.
ICAPS
Michael Katz, Carmel Domshlak
2007 A* conf
Towards robust query expansion: model selection in the language modeling framework.
SIGIR
Mattan Winaver, Oren Kurland, Carmel Domshlak
2006 J jnl
Better than the real thing? Iterative pseudo-query processing using cluster-based language models
CoRR
Oren Kurland, Lillian Lee, Carmel Domshlak
2006 A* conf
Factored Planning: How, When, and When Not.
AAAI
Ronen I. Brafman, Carmel Domshlak
2006 A* conf
Fast Probabilistic Planning through Weighted Model Counting.
ICAPS
Carmel Domshlak, Jörg Hoffmann
2006 A* conf
Friends or Foes? An AI Planning Perspective on Abstraction and Search.
ICAPS
Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak
2006 J jnl
Hard and soft constraints for reasoning about qualitative conditional preferences.
J. Heuristics
Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh
2006 J jnl
On Graphical Modeling of Preference and Importance.
J. Artif. Intell. Res.
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2006 A* conf
Preferences over Sets.
AAAI
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony, Y. Silver
2005 A* conf
Better than the real thing?: iterative pseudo-query processing using cluster-based language models.
SIGIR
Oren Kurland, Lillian Lee, Carmel Domshlak
2005 J jnl
Sensor networks and distributed CSP: communication, computation and complexity.
Artif. Intell.
Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls
2005 A conf
Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation.
UAI
Carmel Domshlak, Thorsten Joachims
2004 J jnl
CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements.
J. Artif. Intell. Res.
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole
2004 A conf
Compact Value-Function Representations for Qualitative Preferences.
UAI
Ronen I. Brafman, Carmel Domshlak, Tanya Kogan
2004 J jnl
Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence.
Int. J. Intell. Syst.
Carmel Domshlak, Solomon Eyal Shimony
2004 B conf
Multi-Agent Opportunistic Planning and Plan Execution.
ICTAI
James H. Lawton, Carmel Domshlak
2004 A conf
On the Role of Knowledge in Multi-Agent Opportunism.
AAMAS
James H. Lawton, Carmel Domshlak
2004 J jnl
Preference-Based Constrained Optimization with CP-Nets.
Comput. Intell.
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole
2004 J jnl
Qualitative decision making in adaptive presentation of structured information.
ACM Trans. Inf. Syst.
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2003 J jnl
Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks.
Artif. Intell.
Solomon Eyal Shimony, Carmel Domshlak
2003 Misc conf
Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence.
FLAIRS
Carmel Domshlak, Solomon Eyal Shimony
2003 J jnl
FlexiMine - A Flexible Platform for KDD Research and Application Development.
Ann. Math. Artif. Intell.
Rachel Ben-Eliyahu-Zohary, Carmel Domshlak, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony
2003 A* conf
Grid-based SensorDCSP.
IJCAI
Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls
2003 A* conf
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
IJCAI
Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh
2003 J jnl
Structure and Complexity in Planning with Unary Operators.
J. Artif. Intell. Res.
Ronen I. Brafman, Carmel Domshlak
2002 A* conf
CP-nets: Reasoning and Consistency Testing.
KR
Carmel Domshlak, Ronen I. Brafman
2002 A conf
Introducing Variable Importance Tradeoffs into CP-Nets.
UAI
Ronen I. Brafman, Carmel Domshlak
2002 J jnl
On Recursively Directed Hypercubes.
Electron. J. Comb.
Carmel Domshlak
2002 — conf
Remote Conferencing with Multimedia Objects.
EDBT Workshops
Ehud Gudes, Carmel Domshlak, Natalia Orlov
2002 — conf
Structure and Complexity in Planning with Unary Operators.
AIPS
Carmel Domshlak, Ronen I. Brafman
2001 A* conf
Preference-Based Configuration of Web Page Content.
IJCAI
Carmel Domshlak, Ronen I. Brafman, Solomon Eyal Shimony
2000 — conf
Strucutre and Complexity in Planning with Unary Operators.
PuK
Carmel Domshlak, Ronen I. Brafman
1998 A* conf
FlexiMine - A Flexible Platform for KDD Research and Application Construction.
KDD
Carmel Domshlak, D. Gershkovich, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony
1997 A conf
Cost-Sharing in Bayesian Knowledge Bases.
UAI
Solomon Eyal Shimony, Carmel Domshlak, Eugene Santos Jr.
redb/extractors/enum.py
← Index redb/extractors/enum.py python 
from enum import Enum


class Tag(Enum):
    BASIC_PROPERTIES = "basic_properties"
    DIEC = "detect_it_easy"
    CAPA = "capa"
    MALCONTENT = "malcontent"
    DECOMPILED = "decompiled"
    HASH = "hash"
    STRINGS = "strings"
    RELATED = "relatedness" # unused
    PE_FEATURES = "pe_features"
    PE_IMPORT = "pe_import"
    PE_OVERLAY = "pe_overlay"
    PE_SECTION = "pe_section"
    PE_RESOURCE = "pe_resource"
    PE_SIGNATURE = "pe_signature"
    PE_CERTIFICATE = "pe_certificate"
    PE_SIGNER = "pe_signer"
    PE_DOTNET = "pe_dotnet"
    PE_EMBEDDED_EXTRAS = "pe_embedded_extras"
    PE_INCONSISTENCY_TESTS = "pe_inconsistency_tests"
    DOTNET_INCONSISTENCY_TESTS = "dotnet_inconsistency_tests"
    YARA = "yara"
    # Mach-O
    MACHO_FEATURES = "macho_features"
    MACHO_IMPORT = "macho_import"
    MACHO_EXPORT = "macho_export"
    MACHO_DYLIB = "macho_dylib"
    MACHO_SEGMENT = "macho_segment"
    MACHO_SIGNATURE = "macho_signature"
    MACHO_CERTIFICATE = "macho_certificate"
    MACHO_ENTITLEMENT = "macho_entitlement"
    MACHO_UNIVERSAL = "macho_universal"
    MACHO_HASHES = "macho_hashes"
    # ELF
    ELF_FEATURES = "elf_features"
    ELF_IMPORT = "elf_import"
    ELF_EXPORT = "elf_export"
    ELF_SECTION = "elf_section"
    ELF_SEGMENT = "elf_segment"
    ELF_SYMBOL = "elf_symbol"
    ELF_RELOCATION = "elf_relocation"
    ELF_NOTE = "elf_note"
    ELF_DEPENDENCY = "elf_dependency"
    # APK
    APK_FEATURES = "apk_features"
    APK_MANIFEST = "apk_manifest"
    APK_PERMISSIONS = "apk_permissions"
    APK_SIGNATURE = "apk_signature"
    APK_DEX = "apk_dex"
    APK_RESOURCES = "apk_resources"
    APK_NATIVE_LIBS = "apk_native_libs"
    APK_INCONSISTENCY_TESTS = "apk_inconsistency_tests"
    APK_DECOMPILED = "apk_decompiled"
    # JavaScript
    JS_FEATURES = "js_features"
    JS_SUSPICIOUS_APIS = "js_suspicious_apis"
    JS_STRINGS = "js_strings"
    JS_DEOBFUSCATION = "js_deobfuscation"
    JS_CONTENT = "js_content"