Reasoning

Results: 5026



#Item
241

Semantic Reasoning with SPARQL in Heterogeneous Multi-Context Systems? Peter Sch¨ uller and Antonius Weinzierl Institut f¨ ur Informationssysteme, Technische Universit¨

Add to Reading List

Source URL: www.peterschueller.com

- Date: 2012-11-15 13:02:25
    242

    Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 1 3

    Add to Reading List

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

    - Date: 2004-02-09 08:02:34
      243

      Tableau extensions for reasoning with link keys Maroua Gmati2,1 , Manuel Atencia1,2 , and Jérôme Euzenat2,1 1 Univ. Grenoble Alpes and 2 INRIA, France ,{Manuel.Atencia,Jerome.Euzenat}@inria.fr

      Add to Reading List

      Source URL: disi.unitn.it

      - Date: 2016-09-05 09:54:52
        244

        Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics Christoph Wernhard Technische Universit¨ at Dresden

        Add to Reading List

        Source URL: cs.christophwernhard.com

        - Date: 2013-04-05 11:51:04
          245

          Reasoning on Data-Aware Business Processes with Constraint Logic Maurizio Proietti and Fabrizio Smith National Research Council, IASI ”Antonio Ruberti” - Via dei Taurini 19, 00185 Roma, Italy {maurizio.proietti, fabr

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2014-11-12 06:08:42
            246

            EVALUATING INFORMATION: THE CORNERSTONE OF CIVIC ONLINE REASONING EXECUTIVE SUMMARY STANFORD HISTORY EDUCATION GROUP PRODUCED WITH THE SUPPORT OF THE ROBERT R. McCORMICK FOUNDATION

            Add to Reading List

            Source URL: sheg.stanford.edu

            - Date: 2016-11-22 13:43:39
              247

              Bridging the Gap between Tableau and Consequence-Based Reasoning Yevgeny Kazakov and Pavel Klinov The University of Ulm, Germany {yevgeny.kazakov, pavel.klinov}@uni-ulm.de

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2014-07-07 10:05:58
                248

                Simulating Structual Reasoning on the CNF-Level Symposium on Structure in Hard Combinatorial Problems TU Vienna, Austria Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

                Add to Reading List

                Source URL: fmv.jku.at

                - Date: 2016-12-16 21:49:26
                  249

                  ICCBR Workshop on Reasoning from Experiences on the Web (WebCBR-09), Seattle Collaborative Information Access: A Conversational Search Approach Saurav Sahay, Anushree Venkatesh, and Ashwin Ram College of Computing

                  Add to Reading List

                  Source URL: www.cc.gatech.edu

                  - Date: 2009-07-15 11:46:58
                    250

                    EPISODIC LOGIC: NATURAL LOGIC + REASONING Karl Stratos, Lenhart K. Schubert, and Jonathan Gordon Department of Computer Science, University of Rochester, Rochester, New York 14627, USA {jlee164, schubert, jgordon}@cs.roc

                    Add to Reading List

                    Source URL: cs.rochester.edu

                    - Date: 2011-08-30 11:13:20
                      UPDATE