Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Logic Reasoning). Showing records 1 – 30 of 175 total matches.

[1] [2] [3] [4] [5] [6]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


McMaster University

1. Cassano, Valentin. A Logical Basis for Reasoning with Default Rules.

Degree: PhD, 2015, McMaster University

This thesis is an investigation into the foundations of reasoning with default rules as presented by Reiter in his seminal 1980 article: `A Logic for… (more)

Subjects/Keywords: Logic; Formal Logic; Nonmonotonic Reasoning; Default Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cassano, V. (2015). A Logical Basis for Reasoning with Default Rules. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18052

Chicago Manual of Style (16th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Doctoral Dissertation, McMaster University. Accessed August 17, 2019. http://hdl.handle.net/11375/18052.

MLA Handbook (7th Edition):

Cassano, Valentin. “A Logical Basis for Reasoning with Default Rules.” 2015. Web. 17 Aug 2019.

Vancouver:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/11375/18052.

Council of Science Editors:

Cassano V. A Logical Basis for Reasoning with Default Rules. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18052

2. Khaliq, Abdul. Fuzzy Logic and Approximate Reasoning.

Degree: 2010, , School of Engineering

  Two of the most exemplary capabilities of the human mind are the capability of using perceptions (human knowledge) in purposeful ways and the capability… (more)

Subjects/Keywords: Fuzzy; Logic; approximate; reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Khaliq, A. (2010). Fuzzy Logic and Approximate Reasoning. (Thesis). , School of Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4791

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Khaliq, Abdul. “Fuzzy Logic and Approximate Reasoning.” 2010. Thesis, , School of Engineering. Accessed August 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4791.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Khaliq, Abdul. “Fuzzy Logic and Approximate Reasoning.” 2010. Web. 17 Aug 2019.

Vancouver:

Khaliq A. Fuzzy Logic and Approximate Reasoning. [Internet] [Thesis]. , School of Engineering; 2010. [cited 2019 Aug 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4791.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Khaliq A. Fuzzy Logic and Approximate Reasoning. [Thesis]. , School of Engineering; 2010. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4791

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oregon

3. Gutierrez, Fernando. A Hybrid Approach for Ontology-based Information Extraction.

Degree: 2016, University of Oregon

 Information extraction (IE) is the process of automatically transforming written natural language (i.e., text) into structured information, such as a knowledge base. However, because natural… (more)

Subjects/Keywords: Information extraction; Logic Reasoning; Ontology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gutierrez, F. (2016). A Hybrid Approach for Ontology-based Information Extraction. (Thesis). University of Oregon. Retrieved from http://hdl.handle.net/1794/19729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gutierrez, Fernando. “A Hybrid Approach for Ontology-based Information Extraction.” 2016. Thesis, University of Oregon. Accessed August 17, 2019. http://hdl.handle.net/1794/19729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gutierrez, Fernando. “A Hybrid Approach for Ontology-based Information Extraction.” 2016. Web. 17 Aug 2019.

Vancouver:

Gutierrez F. A Hybrid Approach for Ontology-based Information Extraction. [Internet] [Thesis]. University of Oregon; 2016. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/1794/19729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gutierrez F. A Hybrid Approach for Ontology-based Information Extraction. [Thesis]. University of Oregon; 2016. Available from: http://hdl.handle.net/1794/19729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New South Wales

4. Bannister, Callum. Forward with separation logic.

Degree: Computer Science & Engineering, 2019, University of New South Wales

 The use of Hoare logic in combination with weakest preconditions and strongest postconditions is a standard tool for program verification, known as backward and forward… (more)

Subjects/Keywords: Isabelle; Separation logic; Forward reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bannister, C. (2019). Forward with separation logic. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/61712 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56907/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Bannister, Callum. “Forward with separation logic.” 2019. Doctoral Dissertation, University of New South Wales. Accessed August 17, 2019. http://handle.unsw.edu.au/1959.4/61712 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56907/SOURCE02?view=true.

MLA Handbook (7th Edition):

Bannister, Callum. “Forward with separation logic.” 2019. Web. 17 Aug 2019.

Vancouver:

Bannister C. Forward with separation logic. [Internet] [Doctoral dissertation]. University of New South Wales; 2019. [cited 2019 Aug 17]. Available from: http://handle.unsw.edu.au/1959.4/61712 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56907/SOURCE02?view=true.

Council of Science Editors:

Bannister C. Forward with separation logic. [Doctoral Dissertation]. University of New South Wales; 2019. Available from: http://handle.unsw.edu.au/1959.4/61712 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56907/SOURCE02?view=true


Michigan State University

5. Stratton, Richard Paul. Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training.

Degree: MA, Dept. of Psychology, 1967, Michigan State University

Subjects/Keywords: Logic; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stratton, R. P. (1967). Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training. (Masters Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:7163

Chicago Manual of Style (16th Edition):

Stratton, Richard Paul. “Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training.” 1967. Masters Thesis, Michigan State University. Accessed August 17, 2019. http://etd.lib.msu.edu/islandora/object/etd:7163.

MLA Handbook (7th Edition):

Stratton, Richard Paul. “Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training.” 1967. Web. 17 Aug 2019.

Vancouver:

Stratton RP. Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training. [Internet] [Masters thesis]. Michigan State University; 1967. [cited 2019 Aug 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:7163.

Council of Science Editors:

Stratton RP. Atmosphere and conversion errors in syllogistic reasoning with contextual material and the effect of differential training. [Masters Thesis]. Michigan State University; 1967. Available from: http://etd.lib.msu.edu/islandora/object/etd:7163


University of Hong Kong

6. Soerfjord, Kai. Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic.

Degree: PhD, 2013, University of Hong Kong

 This thesis seeks to clarify a narrow set of particular academic phenomena that share essential properties, and therefore need to be dealt with as one.… (more)

Subjects/Keywords: Logic; Cognition; Education, higher - Philosophy; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Soerfjord, K. (2013). Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. (Doctoral Dissertation). University of Hong Kong. Retrieved from Soerfjord, K.. (2013). Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b5106500 ; http://hdl.handle.net/10722/193426

Chicago Manual of Style (16th Edition):

Soerfjord, Kai. “Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic.” 2013. Doctoral Dissertation, University of Hong Kong. Accessed August 17, 2019. Soerfjord, K.. (2013). Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b5106500 ; http://hdl.handle.net/10722/193426.

MLA Handbook (7th Edition):

Soerfjord, Kai. “Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic.” 2013. Web. 17 Aug 2019.

Vancouver:

Soerfjord K. Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. [Internet] [Doctoral dissertation]. University of Hong Kong; 2013. [cited 2019 Aug 17]. Available from: Soerfjord, K.. (2013). Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b5106500 ; http://hdl.handle.net/10722/193426.

Council of Science Editors:

Soerfjord K. Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. [Doctoral Dissertation]. University of Hong Kong; 2013. Available from: Soerfjord, K.. (2013). Traversal problems : on the imposing of will as ideas traverse and die in humanistic space, the integrity-violation inherent in 'group-self-regulation' within meta-pedagogy, the use of invalid logic in meta-pedagogical argumentation, and the invalidity of the influx of statistics-rhetoric in logic. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b5106500 ; http://hdl.handle.net/10722/193426


University of Manchester

7. Klinov, Pavel. Practical Reasoning in Probabilistic Description Logic.

Degree: 2011, University of Manchester

 Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies—conceptual… (more)

Subjects/Keywords: Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Klinov, P. (2011). Practical Reasoning in Probabilistic Description Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Web. 17 Aug 2019.

Vancouver:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Aug 17]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

Council of Science Editors:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054


University of Manchester

8. Ronel, Tahel. Symmetry Principles in Polyadic Inductive Logic.

Degree: 2016, University of Manchester

 We investigate principles of rationality based on symmetry in Polyadic Pure Inductive Logic. The aim of Pure Inductive Logic (PIL) is to determine how to… (more)

Subjects/Keywords: Inductive Logic; Symmetry; Rationality; Uncertain Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ronel, T. (2016). Symmetry Principles in Polyadic Inductive Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296813

Chicago Manual of Style (16th Edition):

Ronel, Tahel. “Symmetry Principles in Polyadic Inductive Logic.” 2016. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296813.

MLA Handbook (7th Edition):

Ronel, Tahel. “Symmetry Principles in Polyadic Inductive Logic.” 2016. Web. 17 Aug 2019.

Vancouver:

Ronel T. Symmetry Principles in Polyadic Inductive Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Aug 17]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296813.

Council of Science Editors:

Ronel T. Symmetry Principles in Polyadic Inductive Logic. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296813


University of Oxford

9. Quick, David Arthur. !-Logic : first order reasoning for families of non-commutative string diagrams.

Degree: PhD, 2015, University of Oxford

 Equational reasoning with string diagrams provides an intuitive method for proving equations between morphisms in various forms of monoidal category. !-Graphs were introduced with the… (more)

Subjects/Keywords: 160; First-order logic; Reasoning – Graphic methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Quick, D. A. (2015). !-Logic : first order reasoning for families of non-commutative string diagrams. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:baf2d50d-8c5f-419d-9b3d-f2f700f8acbd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.712511

Chicago Manual of Style (16th Edition):

Quick, David Arthur. “!-Logic : first order reasoning for families of non-commutative string diagrams.” 2015. Doctoral Dissertation, University of Oxford. Accessed August 17, 2019. http://ora.ox.ac.uk/objects/uuid:baf2d50d-8c5f-419d-9b3d-f2f700f8acbd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.712511.

MLA Handbook (7th Edition):

Quick, David Arthur. “!-Logic : first order reasoning for families of non-commutative string diagrams.” 2015. Web. 17 Aug 2019.

Vancouver:

Quick DA. !-Logic : first order reasoning for families of non-commutative string diagrams. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2019 Aug 17]. Available from: http://ora.ox.ac.uk/objects/uuid:baf2d50d-8c5f-419d-9b3d-f2f700f8acbd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.712511.

Council of Science Editors:

Quick DA. !-Logic : first order reasoning for families of non-commutative string diagrams. [Doctoral Dissertation]. University of Oxford; 2015. Available from: http://ora.ox.ac.uk/objects/uuid:baf2d50d-8c5f-419d-9b3d-f2f700f8acbd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.712511


University of Minnesota

10. Gacek, Andrew Jude. A framework for specifying, prototyping, and reasoning about computational systems.

Degree: PhD, Computer Science, 2009, University of Minnesota

 A major motivation for formal systems such as programming languages and logics is that they support the ability to perform computations in a safe, secure,… (more)

Subjects/Keywords: Specification Language; Expressive Reasoning Logic; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gacek, A. J. (2009). A framework for specifying, prototyping, and reasoning about computational systems. (Doctoral Dissertation). University of Minnesota. Retrieved from http://purl.umn.edu/56664

Chicago Manual of Style (16th Edition):

Gacek, Andrew Jude. “A framework for specifying, prototyping, and reasoning about computational systems.” 2009. Doctoral Dissertation, University of Minnesota. Accessed August 17, 2019. http://purl.umn.edu/56664.

MLA Handbook (7th Edition):

Gacek, Andrew Jude. “A framework for specifying, prototyping, and reasoning about computational systems.” 2009. Web. 17 Aug 2019.

Vancouver:

Gacek AJ. A framework for specifying, prototyping, and reasoning about computational systems. [Internet] [Doctoral dissertation]. University of Minnesota; 2009. [cited 2019 Aug 17]. Available from: http://purl.umn.edu/56664.

Council of Science Editors:

Gacek AJ. A framework for specifying, prototyping, and reasoning about computational systems. [Doctoral Dissertation]. University of Minnesota; 2009. Available from: http://purl.umn.edu/56664


University of Manchester

11. Ronel, Tahel. Symmetry principles in polyadic inductive logic.

Degree: PhD, 2016, University of Manchester

 We investigate principles of rationality based on symmetry in Polyadic Pure Inductive Logic. The aim of Pure Inductive Logic (PIL) is to determine how to… (more)

Subjects/Keywords: 511.3; Inductive Logic; Symmetry; Rationality; Uncertain Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ronel, T. (2016). Symmetry principles in polyadic inductive logic. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/symmetry-principles-in-polyadic-inductive-logic(6bd9665b-b236-435c-9aad-7edb3cfc399e).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727945

Chicago Manual of Style (16th Edition):

Ronel, Tahel. “Symmetry principles in polyadic inductive logic.” 2016. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/symmetry-principles-in-polyadic-inductive-logic(6bd9665b-b236-435c-9aad-7edb3cfc399e).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727945.

MLA Handbook (7th Edition):

Ronel, Tahel. “Symmetry principles in polyadic inductive logic.” 2016. Web. 17 Aug 2019.

Vancouver:

Ronel T. Symmetry principles in polyadic inductive logic. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Aug 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/symmetry-principles-in-polyadic-inductive-logic(6bd9665b-b236-435c-9aad-7edb3cfc399e).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727945.

Council of Science Editors:

Ronel T. Symmetry principles in polyadic inductive logic. [Doctoral Dissertation]. University of Manchester; 2016. Available from: https://www.research.manchester.ac.uk/portal/en/theses/symmetry-principles-in-polyadic-inductive-logic(6bd9665b-b236-435c-9aad-7edb3cfc399e).html ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727945


Michigan State University

12. Ho, Hsiu-hwang. Some semantical problems in deontic logic and imperative logic.

Degree: PhD, Department of Philosophy, 1969, Michigan State University

Subjects/Keywords: Philosophy; Logic; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ho, H. (1969). Some semantical problems in deontic logic and imperative logic. (Doctoral Dissertation). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:18737

Chicago Manual of Style (16th Edition):

Ho, Hsiu-hwang. “Some semantical problems in deontic logic and imperative logic.” 1969. Doctoral Dissertation, Michigan State University. Accessed August 17, 2019. http://etd.lib.msu.edu/islandora/object/etd:18737.

MLA Handbook (7th Edition):

Ho, Hsiu-hwang. “Some semantical problems in deontic logic and imperative logic.” 1969. Web. 17 Aug 2019.

Vancouver:

Ho H. Some semantical problems in deontic logic and imperative logic. [Internet] [Doctoral dissertation]. Michigan State University; 1969. [cited 2019 Aug 17]. Available from: http://etd.lib.msu.edu/islandora/object/etd:18737.

Council of Science Editors:

Ho H. Some semantical problems in deontic logic and imperative logic. [Doctoral Dissertation]. Michigan State University; 1969. Available from: http://etd.lib.msu.edu/islandora/object/etd:18737


University of Manchester

13. Sticksel, Christoph. Efficient equational reasoning for the Inst-Gen Framework.

Degree: PhD, 2011, University of Manchester

 We can classify several quite different calculi for automated reasoning in first-order logic as instantiation-based methods (IMs). Broadly speaking, unlike in traditional calculi such as… (more)

Subjects/Keywords: 511.3; automated reasoning; first-order logic; equational reasoning; instantiation-based methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sticksel, C. (2011). Efficient equational reasoning for the Inst-Gen Framework. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998

Chicago Manual of Style (16th Edition):

Sticksel, Christoph. “Efficient equational reasoning for the Inst-Gen Framework.” 2011. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998.

MLA Handbook (7th Edition):

Sticksel, Christoph. “Efficient equational reasoning for the Inst-Gen Framework.” 2011. Web. 17 Aug 2019.

Vancouver:

Sticksel C. Efficient equational reasoning for the Inst-Gen Framework. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Aug 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998.

Council of Science Editors:

Sticksel C. Efficient equational reasoning for the Inst-Gen Framework. [Doctoral Dissertation]. University of Manchester; 2011. Available from: https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998


University of Manchester

14. Sticksel, Christoph. Efficient Equational Reasoning for the Inst-Gen Framework.

Degree: 2011, University of Manchester

We can classify several quite different calculi for automated reasoning in first-order logic as instantiation-based methods (IMs). Broadly speaking, unlike in traditional calculi such as… (more)

Subjects/Keywords: automated reasoning; first-order logic; equational reasoning; instantiation-based methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sticksel, C. (2011). Efficient Equational Reasoning for the Inst-Gen Framework. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674

Chicago Manual of Style (16th Edition):

Sticksel, Christoph. “Efficient Equational Reasoning for the Inst-Gen Framework.” 2011. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674.

MLA Handbook (7th Edition):

Sticksel, Christoph. “Efficient Equational Reasoning for the Inst-Gen Framework.” 2011. Web. 17 Aug 2019.

Vancouver:

Sticksel C. Efficient Equational Reasoning for the Inst-Gen Framework. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Aug 17]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674.

Council of Science Editors:

Sticksel C. Efficient Equational Reasoning for the Inst-Gen Framework. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674


University of Johannesburg

15. Freese, Erica. Die argumentum ad hominem as drogredenasie en as korrekte argument.

Degree: 2014, University of Johannesburg

M.A. (Philosophy)

Please refer to full text to view abstract

Subjects/Keywords: Fallacies (Logic); Logic; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Freese, E. (2014). Die argumentum ad hominem as drogredenasie en as korrekte argument. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/9949

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Freese, Erica. “Die argumentum ad hominem as drogredenasie en as korrekte argument.” 2014. Thesis, University of Johannesburg. Accessed August 17, 2019. http://hdl.handle.net/10210/9949.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Freese, Erica. “Die argumentum ad hominem as drogredenasie en as korrekte argument.” 2014. Web. 17 Aug 2019.

Vancouver:

Freese E. Die argumentum ad hominem as drogredenasie en as korrekte argument. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/10210/9949.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Freese E. Die argumentum ad hominem as drogredenasie en as korrekte argument. [Thesis]. University of Johannesburg; 2014. Available from: http://hdl.handle.net/10210/9949

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Arizona State University

16. Cadenas, Haggeo. Issues in the Normativity of Logic and the Logic as Model View.

Degree: Philosophy, 2017, Arizona State University

 After surveying the literature on the normativity of logic, the paper answers that logic is normative for reasoning and rationality. The paper then goes on… (more)

Subjects/Keywords: Philosophy; Harman; logic; logic as model; normativity; rationality; reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cadenas, H. (2017). Issues in the Normativity of Logic and the Logic as Model View. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/46359

Chicago Manual of Style (16th Edition):

Cadenas, Haggeo. “Issues in the Normativity of Logic and the Logic as Model View.” 2017. Masters Thesis, Arizona State University. Accessed August 17, 2019. http://repository.asu.edu/items/46359.

MLA Handbook (7th Edition):

Cadenas, Haggeo. “Issues in the Normativity of Logic and the Logic as Model View.” 2017. Web. 17 Aug 2019.

Vancouver:

Cadenas H. Issues in the Normativity of Logic and the Logic as Model View. [Internet] [Masters thesis]. Arizona State University; 2017. [cited 2019 Aug 17]. Available from: http://repository.asu.edu/items/46359.

Council of Science Editors:

Cadenas H. Issues in the Normativity of Logic and the Logic as Model View. [Masters Thesis]. Arizona State University; 2017. Available from: http://repository.asu.edu/items/46359

17. Arisaka, Ryuta. Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations.

Degree: PhD, 2013, Teesside University

 I study sequent calculus of combined logics in this thesis. Two specific logics are looked at-Logic BI that combines intuitionistic logic and multiplicative intuitionistic linear… (more)

Subjects/Keywords: 005.101; BI; combined logic; sequent calculus; non-classical logic; automated reasoning; proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arisaka, R. (2013). Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations. (Doctoral Dissertation). Teesside University. Retrieved from http://hdl.handle.net/10149/315552

Chicago Manual of Style (16th Edition):

Arisaka, Ryuta. “Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations.” 2013. Doctoral Dissertation, Teesside University. Accessed August 17, 2019. http://hdl.handle.net/10149/315552.

MLA Handbook (7th Edition):

Arisaka, Ryuta. “Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations.” 2013. Web. 17 Aug 2019.

Vancouver:

Arisaka R. Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations. [Internet] [Doctoral dissertation]. Teesside University; 2013. [cited 2019 Aug 17]. Available from: http://hdl.handle.net/10149/315552.

Council of Science Editors:

Arisaka R. Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations. [Doctoral Dissertation]. Teesside University; 2013. Available from: http://hdl.handle.net/10149/315552


Universidade Federal de Mato Grosso do Sul

18. Vaz, Rodrigo Marques. Formalização do raciocínio lógico baseada na lógica matemática .

Degree: 2014, Universidade Federal de Mato Grosso do Sul

 Neste trabalho estudamos os princípios da lógica matemática com o objetivo de descrever e fundamentar as principais técnicas de demonstrações matemáticas. A proposta foi motivada… (more)

Subjects/Keywords: Proposição (Lógica); Lógica Simbólica e Matemática; Raciocínio; Proposition (Logic); Logic, Symbolic and Mathematical; Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vaz, R. M. (2014). Formalização do raciocínio lógico baseada na lógica matemática . (Thesis). Universidade Federal de Mato Grosso do Sul. Retrieved from http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Vaz, Rodrigo Marques. “Formalização do raciocínio lógico baseada na lógica matemática .” 2014. Thesis, Universidade Federal de Mato Grosso do Sul. Accessed August 17, 2019. http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Vaz, Rodrigo Marques. “Formalização do raciocínio lógico baseada na lógica matemática .” 2014. Web. 17 Aug 2019.

Vancouver:

Vaz RM. Formalização do raciocínio lógico baseada na lógica matemática . [Internet] [Thesis]. Universidade Federal de Mato Grosso do Sul; 2014. [cited 2019 Aug 17]. Available from: http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vaz RM. Formalização do raciocínio lógico baseada na lógica matemática . [Thesis]. Universidade Federal de Mato Grosso do Sul; 2014. Available from: http://repositorio.cbc.ufms.br:8080/jspui/handle/123456789/2333

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universiteit Utrecht

19. Beek, L.L.A.M. van. Object Classification through Probabilistic Common Sense Knowledge Reasoning.

Degree: 2013, Universiteit Utrecht

 This thesis presents a manner for object classification by the use of semantic knowledge and probabilistic reasoning with such knowledge. An ontology of object classes… (more)

Subjects/Keywords: object classification; ontology; markov logic; probabilistic reasoning; hierarchical object classification; semantic knowledge; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Beek, L. L. A. M. v. (2013). Object Classification through Probabilistic Common Sense Knowledge Reasoning. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/268192

Chicago Manual of Style (16th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Masters Thesis, Universiteit Utrecht. Accessed August 17, 2019. http://dspace.library.uu.nl:8080/handle/1874/268192.

MLA Handbook (7th Edition):

Beek, L L A M van. “Object Classification through Probabilistic Common Sense Knowledge Reasoning.” 2013. Web. 17 Aug 2019.

Vancouver:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 Aug 17]. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192.

Council of Science Editors:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/268192


The Ohio State University

20. Wozniak, Paul Henry. The measurement of certain aspects of critical thinking in a mathematical context.

Degree: PhD, Graduate School, 1976, The Ohio State University

Subjects/Keywords: Education; Creative thinking; Reasoning; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wozniak, P. H. (1976). The measurement of certain aspects of critical thinking in a mathematical context. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1487003980857393

Chicago Manual of Style (16th Edition):

Wozniak, Paul Henry. “The measurement of certain aspects of critical thinking in a mathematical context.” 1976. Doctoral Dissertation, The Ohio State University. Accessed August 17, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487003980857393.

MLA Handbook (7th Edition):

Wozniak, Paul Henry. “The measurement of certain aspects of critical thinking in a mathematical context.” 1976. Web. 17 Aug 2019.

Vancouver:

Wozniak PH. The measurement of certain aspects of critical thinking in a mathematical context. [Internet] [Doctoral dissertation]. The Ohio State University; 1976. [cited 2019 Aug 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1487003980857393.

Council of Science Editors:

Wozniak PH. The measurement of certain aspects of critical thinking in a mathematical context. [Doctoral Dissertation]. The Ohio State University; 1976. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1487003980857393


The Ohio State University

21. Kouri, Teresa. Logical Instrumentalism.

Degree: PhD, Philosophy, 2016, The Ohio State University

Logic and reasoning go hand in hand. So often, we hear that someone has reasoned poorly about something if they have not reasoned logically, or… (more)

Subjects/Keywords: Philosophy; logic; reasoning; pluralism; meaning; natural language; negation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kouri, T. (2016). Logical Instrumentalism. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856

Chicago Manual of Style (16th Edition):

Kouri, Teresa. “Logical Instrumentalism.” 2016. Doctoral Dissertation, The Ohio State University. Accessed August 17, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856.

MLA Handbook (7th Edition):

Kouri, Teresa. “Logical Instrumentalism.” 2016. Web. 17 Aug 2019.

Vancouver:

Kouri T. Logical Instrumentalism. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2019 Aug 17]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856.

Council of Science Editors:

Kouri T. Logical Instrumentalism. [Doctoral Dissertation]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856


University of Alberta

22. Ferguson, George M. Identity and skolem functions in resolution-based hypothetical reasoning.

Degree: MS, Department of Computing Science, 1989, University of Alberta

Subjects/Keywords: Reasoning.; Logic, Symbolic and mathematical.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferguson, G. M. (1989). Identity and skolem functions in resolution-based hypothetical reasoning. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/9w032553x

Chicago Manual of Style (16th Edition):

Ferguson, George M. “Identity and skolem functions in resolution-based hypothetical reasoning.” 1989. Masters Thesis, University of Alberta. Accessed August 17, 2019. https://era.library.ualberta.ca/files/9w032553x.

MLA Handbook (7th Edition):

Ferguson, George M. “Identity and skolem functions in resolution-based hypothetical reasoning.” 1989. Web. 17 Aug 2019.

Vancouver:

Ferguson GM. Identity and skolem functions in resolution-based hypothetical reasoning. [Internet] [Masters thesis]. University of Alberta; 1989. [cited 2019 Aug 17]. Available from: https://era.library.ualberta.ca/files/9w032553x.

Council of Science Editors:

Ferguson GM. Identity and skolem functions in resolution-based hypothetical reasoning. [Masters Thesis]. University of Alberta; 1989. Available from: https://era.library.ualberta.ca/files/9w032553x


University of Alberta

23. Gavanski, Igor. The subjective probability of compound events: why do people commit the conjunction fallacy?.

Degree: PhD, Department of Psychology, 1988, University of Alberta

Subjects/Keywords: Fallacies (Logic); Reasoning (Psychology)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gavanski, I. (1988). The subjective probability of compound events: why do people commit the conjunction fallacy?. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/8c97ks87g

Chicago Manual of Style (16th Edition):

Gavanski, Igor. “The subjective probability of compound events: why do people commit the conjunction fallacy?.” 1988. Doctoral Dissertation, University of Alberta. Accessed August 17, 2019. https://era.library.ualberta.ca/files/8c97ks87g.

MLA Handbook (7th Edition):

Gavanski, Igor. “The subjective probability of compound events: why do people commit the conjunction fallacy?.” 1988. Web. 17 Aug 2019.

Vancouver:

Gavanski I. The subjective probability of compound events: why do people commit the conjunction fallacy?. [Internet] [Doctoral dissertation]. University of Alberta; 1988. [cited 2019 Aug 17]. Available from: https://era.library.ualberta.ca/files/8c97ks87g.

Council of Science Editors:

Gavanski I. The subjective probability of compound events: why do people commit the conjunction fallacy?. [Doctoral Dissertation]. University of Alberta; 1988. Available from: https://era.library.ualberta.ca/files/8c97ks87g


University of Hyderabad

24. Girikumar, S. Reasoning about DNSSEC; -.

Degree: Computer and information science, 2014, University of Hyderabad

Abstract Available newline

none

Advisors/Committee Members: Nair, Vineet C P and Rathore B, Wilson Naik.

Subjects/Keywords: Reasoning about DNSSEC; Ban logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Girikumar, S. (2014). Reasoning about DNSSEC; -. (Thesis). University of Hyderabad. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/25681

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Girikumar, S. “Reasoning about DNSSEC; -.” 2014. Thesis, University of Hyderabad. Accessed August 17, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/25681.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Girikumar, S. “Reasoning about DNSSEC; -.” 2014. Web. 17 Aug 2019.

Vancouver:

Girikumar S. Reasoning about DNSSEC; -. [Internet] [Thesis]. University of Hyderabad; 2014. [cited 2019 Aug 17]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/25681.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Girikumar S. Reasoning about DNSSEC; -. [Thesis]. University of Hyderabad; 2014. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/25681

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Georgia State University

25. Viswanath, Navin. Inconsistency and Incompleteness in Relational Databases and Logic Programs.

Degree: PhD, Computer Science, 2009, Georgia State University

 The aim of this thesis is to study the role played by negation in databases and to develop data models that can handle inconsistent and… (more)

Subjects/Keywords: Nonmonotonic reasoning; Negation; Logic programming; Inconsistency; Incompleteness; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Viswanath, N. (2009). Inconsistency and Incompleteness in Relational Databases and Logic Programs. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_diss/38

Chicago Manual of Style (16th Edition):

Viswanath, Navin. “Inconsistency and Incompleteness in Relational Databases and Logic Programs.” 2009. Doctoral Dissertation, Georgia State University. Accessed August 17, 2019. https://scholarworks.gsu.edu/cs_diss/38.

MLA Handbook (7th Edition):

Viswanath, Navin. “Inconsistency and Incompleteness in Relational Databases and Logic Programs.” 2009. Web. 17 Aug 2019.

Vancouver:

Viswanath N. Inconsistency and Incompleteness in Relational Databases and Logic Programs. [Internet] [Doctoral dissertation]. Georgia State University; 2009. [cited 2019 Aug 17]. Available from: https://scholarworks.gsu.edu/cs_diss/38.

Council of Science Editors:

Viswanath N. Inconsistency and Incompleteness in Relational Databases and Logic Programs. [Doctoral Dissertation]. Georgia State University; 2009. Available from: https://scholarworks.gsu.edu/cs_diss/38


University of Manchester

26. Klinov, Pavel. Practical reasoning in probabilistic description logic.

Degree: PhD, 2011, University of Manchester

 Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies… (more)

Subjects/Keywords: 511.3; Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Klinov, P. (2011). Practical reasoning in probabilistic description logic. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical reasoning in probabilistic description logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical reasoning in probabilistic description logic.” 2011. Web. 17 Aug 2019.

Vancouver:

Klinov P. Practical reasoning in probabilistic description logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Aug 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981.

Council of Science Editors:

Klinov P. Practical reasoning in probabilistic description logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: https://www.research.manchester.ac.uk/portal/en/theses/practical-reasoning-in-probabilistic-description-logic(6aff2ad0-dc76-44cf-909b-2134f580f29b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539981


University of Manchester

27. Howarth, Elizabeth. New rationality principles in pure inductive logic.

Degree: PhD, 2015, University of Manchester

 We propose and investigate several new principles of rational reasoning within the framework of Pure Inductive Logic, PIL, where probability functions defined on the sentences… (more)

Subjects/Keywords: 519.2; Inductive Logic; Logical Probability; Rationality; Uncertain Reasoning; Spectrum Exchangeability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Howarth, E. (2015). New rationality principles in pure inductive logic. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572

Chicago Manual of Style (16th Edition):

Howarth, Elizabeth. “New rationality principles in pure inductive logic.” 2015. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572.

MLA Handbook (7th Edition):

Howarth, Elizabeth. “New rationality principles in pure inductive logic.” 2015. Web. 17 Aug 2019.

Vancouver:

Howarth E. New rationality principles in pure inductive logic. [Internet] [Doctoral dissertation]. University of Manchester; 2015. [cited 2019 Aug 17]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572.

Council of Science Editors:

Howarth E. New rationality principles in pure inductive logic. [Doctoral Dissertation]. University of Manchester; 2015. Available from: https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664572


University of Southern California

28. Nair, Gopal Shyam. Reasons, obligations, and the structure of good reasoning.

Degree: PhD, Philosophy, 2014, University of Southern California

 This dissertation concerns a series of overlapping structural questions in normative theory. Chapters one and two focus on metaphysical, epistemological, and logical issues in ethics,… (more)

Subjects/Keywords: reasons; obligations; oughts; reasoning; moral dilemmas; cumulative transitivity; deontic logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nair, G. S. (2014). Reasons, obligations, and the structure of good reasoning. (Doctoral Dissertation). University of Southern California. Retrieved from http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/453743/rec/5431

Chicago Manual of Style (16th Edition):

Nair, Gopal Shyam. “Reasons, obligations, and the structure of good reasoning.” 2014. Doctoral Dissertation, University of Southern California. Accessed August 17, 2019. http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/453743/rec/5431.

MLA Handbook (7th Edition):

Nair, Gopal Shyam. “Reasons, obligations, and the structure of good reasoning.” 2014. Web. 17 Aug 2019.

Vancouver:

Nair GS. Reasons, obligations, and the structure of good reasoning. [Internet] [Doctoral dissertation]. University of Southern California; 2014. [cited 2019 Aug 17]. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/453743/rec/5431.

Council of Science Editors:

Nair GS. Reasons, obligations, and the structure of good reasoning. [Doctoral Dissertation]. University of Southern California; 2014. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/453743/rec/5431


University of Manchester

29. Howarth, Elizabeth. New Rationality Principles in Pure Inductive Logic.

Degree: 2015, University of Manchester

 We propose and investigate several new principles of rational reasoning within the framework of Pure Inductive Logic, PIL, where probability functions defined on the sentences… (more)

Subjects/Keywords: Inductive Logic; Logical Probability; Rationality; Uncertain Reasoning; Spectrum Exchangeability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Howarth, E. (2015). New Rationality Principles in Pure Inductive Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325

Chicago Manual of Style (16th Edition):

Howarth, Elizabeth. “New Rationality Principles in Pure Inductive Logic.” 2015. Doctoral Dissertation, University of Manchester. Accessed August 17, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325.

MLA Handbook (7th Edition):

Howarth, Elizabeth. “New Rationality Principles in Pure Inductive Logic.” 2015. Web. 17 Aug 2019.

Vancouver:

Howarth E. New Rationality Principles in Pure Inductive Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2015. [cited 2019 Aug 17]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325.

Council of Science Editors:

Howarth E. New Rationality Principles in Pure Inductive Logic. [Doctoral Dissertation]. University of Manchester; 2015. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:268325


Universidade Nova

30. Saptawijaya, Ari. Machine ethics via logic programming.

Degree: 2015, Universidade Nova

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some… (more)

Subjects/Keywords: Abduction; Counterfactual; Logic programming; Machine ethics; Morality; Nonmonotonic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Saptawijaya, A. (2015). Machine ethics via logic programming. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/15430

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Saptawijaya, Ari. “Machine ethics via logic programming.” 2015. Thesis, Universidade Nova. Accessed August 17, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/15430.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Saptawijaya, Ari. “Machine ethics via logic programming.” 2015. Web. 17 Aug 2019.

Vancouver:

Saptawijaya A. Machine ethics via logic programming. [Internet] [Thesis]. Universidade Nova; 2015. [cited 2019 Aug 17]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/15430.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Saptawijaya A. Machine ethics via logic programming. [Thesis]. Universidade Nova; 2015. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/15430

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] [6]

.