All Stories

  1. Reasoning on Datalog± Ontologies with Abductive Logic Programming
  2. cplint on SWISH: Probabilistic Logical Inference with a Web Browser
  3. Abductive Logic Programming for Normative Reasoning and Ontologies
  4. A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
  5. Tableau reasoning for description logics and its extension to probabilities
  6. The distribution semantics for normal programs with function symbols
  7. A web system for reasoning with probabilistic OWL
  8. Statistical relational learning for workflow mining
  9. Distributed Parameter Learning for Probabilistic Ontologies
  10. Probabilistic Logical Inference on the Web
  11. Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
  12. Probabilistic logic programming on the web
  13. Probabilistic Description Logics under the distribution semantics
  14. Bandit-based Monte-Carlo structure learning of probabilistic logic programs
  15. The PITA System for Logical-Probabilistic Inference
  16. A History of Probabilistic Inductive Logic Programming
  17. Terminating Evaluation of Logic Programs with Finite Three-Valued Models
  18. Lifted Variable Elimination for Probabilistic Logic Programming
  19. Structure learning of probabilistic logic programs by searching the clause space
  20. Semantics and Inference for Probabilistic Description Logics
  21. Learning Probabilistic Description Logics
  22. Speeding Up Inference for Probabilistic Logic Programs
  23. Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012)
  24. Parameter Learning for Probabilistic Ontologies
  25. BUNDLE: A Reasoner for Probabilistic Ontologies
  26. Computing Instantiated Explanations in OWL DL
  27. Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
  28. Learning the Structure of Probabilistic Logic Programs
  29. The PITA system: Tabling and answer subsumption for reasoning under uncertainty
  30. Applying the information bottleneck to statistical relational learning
  31. Approximate Inference for Logic Programs with Annotated Disjunctions
  32. An Application of Fuzzy Logic to Strategic Environmental Assessment
  33. Logic–based decision support for strategic environmental assessment
  34. Incremental Declarative Process Mining
  35. Probabilistic Declarative Process Mining
  36. Extended semantics and inference for the Independent Choice Logic
  37. Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
  38. Checking Compliance of Execution Traces to Business Rules
  39. Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
  40. ALLPAD: approximate learning of logic programs with annotated disjunctions
  41. Improving the K2 Algorithm Using Association Rule Parameters
  42. Artificial Intelligence Techniques for Monitoring Dangerous Infections
  43. Bayesian Networks Learning for Gene Expression Datasets
  44. Learning Logic Programs with Annotated Disjunctions
  45. Belief revision via Lamarckian evolution
  46. Discovering validation rules from microbiological data
  47. Improving the SLA Algorithm Using Association Rules
  48. Rule-based Programming for Building Expert Systems
  49. Belief Revision by Lamarckian Evolution
  50. An Expert System for Microbiological Data Validation and Surveillance
  51. Abductive concept learning
  52. Cooperation of Abduction and Induction in Logic Programming
  53. Integrating induction and abduction in logic programming
  54. Learning multiple predicates
  55. A system for abductive learning of logic programs
  56. Learning with abduction
  57. Applying Inductive Logic Programming to Process Mining
  58. ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions
  59. Inducing Declarative Logic-Based Models from Labeled Traces
  60. A Top Down Interpreter for LPAD and CP-Logic
  61. A System for Monitoring Nosocomial Infections
  62. An intelligent medical system for microbiological data validation and nosocomial infection surveillance