All Stories

  1. Partial Compilation of ASP Programs
  2. Abstraction for Non-ground Answer Set Programs
  3. The Hexlite Solver
  4. Answer Set Programming in Linguistics
  5. Best-effort inductive logic programming via fine-grained cost-based hypothesis generation
  6. Answer Set Programming Applied to Coreference Resolution and Semantic Similarity
  7. The DLVHEX System
  8. Adjudication of coreference annotations via answer set optimisation
  9. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
  10. Defining and validating similarity measures for industrial alarm flood analysis
  11. Detection of regime switching points in non-stationary sequences using stochastic learning based weak estimation method
  12. Unsupervised mode detection in cyber-physical systems using variable order Markov models
  13. Applications of non-monotonic reasoning to automotive product configuration using answer set programming
  14. Answer Set Programming with External Source Access
  15. Adjudication of Coreference Annotations via Answer Set Optimization
  16. Modeling Variations of First-Order Horn Abduction in Answer Set Programming
  17. Giving hints for logic programming examples without revealing solutions
  18. A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks
  19. Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming
  20. A model building framework for answer set programming with external computations
  21. Finding explanations of inconsistency in multi-context systems
  22. Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
  23. Finding optimal decoupled plans for multiple teams of robots in cognitive factories
  24. The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
  25. ActHEX: Implementing HEX Programs with Action Atoms
  26. Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming
  27. Prolog and ASP Inference under One Roof
  28. Exploiting Unfounded Sets for HEX-Program Evaluation
  29. Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
  30. Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
  31. Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
  32. Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems
  33. The mcs-ie System for Explaining Inconsistency in Multi-Context Systems