Reasoning

Results: 5026



#Item
41Reasoning about 
olle
tively a

epted group beliefs Raul Hakli Sara Negri  Department of Philosophy

Reasoning about olle tively a epted group beliefs Raul Hakli Sara Negri Department of Philosophy

Add to Reading List

Source URL: esslli2009.labri.fr

Language: English - Date: 2010-10-12 04:42:13
    42Reducing to Symbolic Integer Reasoning  Deciding Symbolic Product Inequalities Experiments

    Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

    Add to Reading List

    Source URL: www.gilith.com

    Language: English - Date: 2017-11-12 23:29:45
      43QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank

      QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank

      Add to Reading List

      Source URL: iswc2011.semanticweb.org

      Language: English - Date: 2011-09-14 09:55:07
        44High-performance Distributed Stream Reasoning using S4 Jesper Hoeksema and Spyros Kotoulas Dept. of Computer Science, VU University Amsterdam, the Netherlands {jehoekse,kot}@few.vu.nl

        High-performance Distributed Stream Reasoning using S4 Jesper Hoeksema and Spyros Kotoulas Dept. of Computer Science, VU University Amsterdam, the Netherlands {jehoekse,kot}@few.vu.nl

        Add to Reading List

        Source URL: iswc2011.semanticweb.org

        Language: English - Date: 2011-09-14 18:49:47
          45Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson  Submitted in Partial Fulfillment

          Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson Submitted in Partial Fulfillment

          Add to Reading List

          Source URL: www.georgeferguson.com

          Language: English - Date: 2013-05-13 13:35:25
            46?  Establishing causal claims in medicine ? Jon Williamson Department of Philosophy and Centre for Reasoning

            ? Establishing causal claims in medicine ? Jon Williamson Department of Philosophy and Centre for Reasoning

            Add to Reading List

            Source URL: blogs.kent.ac.uk

            Language: English - Date: 2018-03-05 09:03:11
              47Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

              Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

              Add to Reading List

              Source URL: www.chargueraud.org

              Language: English - Date: 2017-09-21 08:25:51
                48Contextual Reasoning in Concept Spaces Stijn De Saeger and Atsushi Shimojima Japan Advanced Institute of Science and Technology (JAIST) fstijn,

                Contextual Reasoning in Concept Spaces Stijn De Saeger and Atsushi Shimojima Japan Advanced Institute of Science and Technology (JAIST) fstijn,

                Add to Reading List

                Source URL: ceur-ws.org

                Language: English - Date: 2005-05-30 10:02:54
                  49Title:	Analogical	Reasoning	in	Medicine:	Bayes	meets	Jeffrey Abstract:	Sometimes	evidence	for	a	hypothesis	cannot	be	directly	observed.	This	might	 be	the	case	if	the	evidence	is	inaccessible	for	theoretical	reasons.	But

                  Title: Analogical Reasoning in Medicine: Bayes meets Jeffrey Abstract: Sometimes evidence for a hypothesis cannot be directly observed. This might be the case if the evidence is inaccessible for theoretical reasons. But

                  Add to Reading List

                  Source URL: concept.phil-fak.uni-koeln.de

                  Language: English - Date: 2017-11-28 07:39:28
                    50Why Reason? Inference, Reasoning, and Education Paul Thagard University of Waterloo

                    Why Reason? Inference, Reasoning, and Education Paul Thagard University of Waterloo

                    Add to Reading List

                    Source URL: watarts.uwaterloo.ca

                    Language: English - Date: 2016-12-20 11:44:55