3 items found

Tags: artificial intelligence

Filter Results

  • Access required...

    ×

    Method

    Private ltlf2asp

    Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...
  • Experiment

    Experimental results from the Empirical Investigation of the Completeness of ...

    This is the raw data from the empirical investigation of the paper “Completeness of Datasets Documentation on ML/AI repositories: an Empirical Investigation”. This work aim of...
    • XLSX
      The resource: 'raw-data' is not accessible as guest user. You must login to access it!
    • .pdf
      The resource: 'Appendices for the paper: ...' is not accessible as guest user. You must login to access it!
  • ConferencePaper

    STS-EPR: Modelling individual mobility considering the spatial, temporal, and...

    Modelling human mobility is crucial in several scientific areas, from urban planning to epidemic modeling, traffic forecasting, and what-if analysis. On the one hand, existing...