HypeKG
  • About
  • Publications
  • Events
  • Developed Resources
  • Publications
    • Automated Creation of a Legal Knowledge Graph Addressing Cases of Violence Against Women
    • A Bottom-Up Framework for Legal Knowledge Graph Construction: A Case Study on Gender-Based Violence
    • A Semi-automatic Approach for Validating Ontology Alignments Based on LLMs and KGs
    • Joint Factual and Counterfactual Explanations for Top-k GNN-based Recommendations
    • Learning Interpretable Probabilistic Models and Schema Axioms for Knowledge Graphs
    • Natural Language Counterfactual Explanations for Graphs Using Large Language Models
    • LP-DIXIT: Evaluating Explanations for Link Predictions on Knowledge Graphs using Large Language Models
    • The blessing of dimensionality: Perspectives of reasoning and learning on hyperdimensional computing/vector symbolic architectures
    • Direct Encoding of Declare Constraints in ASP
    • A Declarative Framework for Temporal Reasoning in Green-Aware Applications
    • FROG: Fair Removal on Graph
    • On the legal implications of Large Language Model answers: A prompt engineering approach and a view beyond by exploiting Knowledge Graphs
    • Securing Federated Learning Against Extreme Model Poisoning Attacks via Multidimensional Time Series Anomaly Detection on Local Updates
    • Additive Counterfactuals for Explaining Link Predictions on Knowledge Graphs
    • Bipartite Time Series Network for Data Imputation
    • LTLf2ASP: LTLf Bounded Satisfiability in ASP
    • Evading Community Detection via Counterfactual Neighborhood Search
    • Explanation of Link Predictions on Knowledge Graphs via Levelwise Filtering and Graph Summarization
    • A benchmark dataset for community deception algorithms
    • Better Hide Communities: Benchmarking Community Deception Algorithms
    • Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic
    • A Direct ASP Encoding for Declare
    • Towards ILP-Based LTL f Passive Learning
    • Machine Learning and Knowledge Graphs: Existing Gaps and Future Research Challenges
  • About
  • Events
  • Resources

LTLf2ASP: LTLf Bounded Satisfiability in ASP

Oct 1, 2024·
Last updated on Oct 1, 2024
← Bipartite Time Series Network for Data Imputation Oct 24, 2024
Evading Community Detection via Counterfactual Neighborhood Search Aug 24, 2024 →

© 2026 HypeKG

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

Cite