Abduction

Results: 2114



#Item
11

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller}

Add to Reading List

Source URL: ceur-ws.org

- Date: 2009-07-07 04:46:34
    12

    A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results Tommaso Di Noia (1), Eugenio Di Sciascio (1), Francesco M. DoniniSisInfLab, Politecnico di Bari, Bari, Italy (2) Univ

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2009-07-07 04:46:34
      13

      Microsoft Word - Child Abduction_ What surveys tell us.docx

      Add to Reading List

      Source URL: childabduction.org.uk

      - Date: 2016-01-05 06:29:39
        14

        Brexit: the Brussels IIa regulation – cross-border child contact cases, and child abduction

        Add to Reading List

        Source URL: researchbriefings.files.parliament.uk

        - Date: 2016-11-11 09:54:47
          15

          Relaxed Abduction: Robust Information Interpretation for Incomplete Models Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1 Software, Technology, and Systems (STS) Hamburg University of Technology, Hambu

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-28 16:34:51
            16

            Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Automata-Based Abduction for Tractable Diagnosis Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2010-04-20 14:40:19
              17

              Root Cause Analysis through Abduction in Markov Logic Networks Joerg Schoenfisch∗ , Janno von St¨ulpnagel† , Jens Ortmann† , Christian Meilicke∗ and Heiner Stuckenschmidt∗ ∗ Research Group Data and Web Scie

              Add to Reading List

              Source URL: publications.wim.uni-mannheim.de

              - Date: 2016-07-19 08:07:05
                18

                Print page 1. TABLE OF CONTENTS Abduction

                Add to Reading List

                Source URL: www.mdcourts.gov

                - Date: 2016-10-11 10:34:43
                  19

                  Compositional Shape Analysis by means of Bi-Abduction Cristiano Calcagno Imperial College, London Abstract

                  Add to Reading List

                  Source URL: www0.cs.ucl.ac.uk

                  - Date: 2008-11-02 15:19:11
                    20

                    Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2015-09-19 04:14:13
                      UPDATE