HypeKG
  • About
  • Publications
  • Events
  • Publications
    • Joint Factual and Counterfactual Explanations for Top-k GNN-based Recommendations
    • Additive Counterfactuals for Explaining Link Predictions on Knowledge Graphs
    • Direct Encoding of Declare Constraints in ASP
    • LP-DIXIT: Evaluating Explanations for Link Predictions on Knowledge Graphs using Large Language Models
    • Natural Language Counterfactual Explanations for Graphs Using Large Language Models
    • The blessing of dimensionality: Perspectives of reasoning and learning on hyperdimensional computing/vector symbolic architectures
    • A benchmark dataset for community deception algorithms
    • A Declarative Framework for Temporal Reasoning in Green-Aware Applications
    • A Direct ASP Encoding for Declare
    • Bipartite Time Series Network for Data Imputation
    • Evading Community Detection via Counterfactual Neighborhood Search
    • Explanation of Link Predictions on Knowledge Graphs via Levelwise Filtering and Graph Summarization
    • LTLf2ASP: LTLf Bounded Satisfiability in ASP
    • Machine Learning and Knowledge Graphs: Existing Gaps and Future Research Challenges
    • Better Hide Communities: Benchmarking Community Deception Algorithms
    • Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic
    • Towards ILP-Based LTL f Passive Learning
  • About
  • Events

LTLf2ASP: LTLf Bounded Satisfiability in ASP

Jan 1, 2024·
Last updated on Jan 1, 2024
← Explanation of Link Predictions on Knowledge Graphs via Levelwise Filtering and Graph Summarization Jan 1, 2024
Machine Learning and Knowledge Graphs: Existing Gaps and Future Research Challenges Dec 19, 2023 →

© 2025 HypeKG

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite