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:(Description Logic). Showing records 1 – 30 of 58 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters

1. Jayakumar, Badrinath. Handling Inconsistency in Knowledge Bases.

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

  Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such… (more)

Subjects/Keywords: Paraconsistent logics; Paraconsistent Relations; Description logic; Semantic Web; Description Logic Programs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jayakumar, B. (2017). Handling Inconsistency in Knowledge Bases. (Doctoral Dissertation). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_diss/120

Chicago Manual of Style (16th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Doctoral Dissertation, Georgia State University. Accessed August 06, 2020. https://scholarworks.gsu.edu/cs_diss/120.

MLA Handbook (7th Edition):

Jayakumar, Badrinath. “Handling Inconsistency in Knowledge Bases.” 2017. Web. 06 Aug 2020.

Vancouver:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Internet] [Doctoral dissertation]. Georgia State University; 2017. [cited 2020 Aug 06]. Available from: https://scholarworks.gsu.edu/cs_diss/120.

Council of Science Editors:

Jayakumar B. Handling Inconsistency in Knowledge Bases. [Doctoral Dissertation]. Georgia State University; 2017. Available from: https://scholarworks.gsu.edu/cs_diss/120


University of Manchester

2. 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 06, 2020. 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. 06 Aug 2020.

Vancouver:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2020 Aug 06]. 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 Miami

3. Xu, Jia. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.

Degree: PhD, Electrical and Computer Engineering (Engineering), 2015, University of Miami

Description logics (DLs), as a decidable fragment of first-order logic, are a family of logic based formalisms for knowledge representation and the mathematical underpinning of… (more)

Subjects/Keywords: Ontology; Description Logic; Query; ABox; Modularity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, J. (2015). Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1363

Chicago Manual of Style (16th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Doctoral Dissertation, University of Miami. Accessed August 06, 2020. https://scholarlyrepository.miami.edu/oa_dissertations/1363.

MLA Handbook (7th Edition):

Xu, Jia. “Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies.” 2015. Web. 06 Aug 2020.

Vancouver:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2020 Aug 06]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363.

Council of Science Editors:

Xu J. Improving ABox Reasoning for Efficient and Scalable Object Queries over Large Ontologies. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1363


Universiteit Utrecht

4. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, Universiteit Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: Informatica; institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, Universiteit Utrecht. Accessed August 06, 2020. http://dspace.library.uu.nl:8080/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 06 Aug 2020.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2007. [cited 2020 Aug 06]. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. Universiteit Utrecht; 2007. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838


Universiteit Utrecht

5. 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 06, 2020. 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. 06 Aug 2020.

Vancouver:

Beek LLAMv. Object Classification through Probabilistic Common Sense Knowledge Reasoning. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2020 Aug 06]. 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


University of Miami

6. Arhami, Negin. Automated Theorem Proving by Translation to Description Logic.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and… (more)

Subjects/Keywords: Automated Theorem Proving; TPTP; Description Logic; Logic Translation; Conjunctive Normal Form (CNF)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2015). Automated Theorem Proving by Translation to Description Logic. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1564

Chicago Manual of Style (16th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Doctoral Dissertation, University of Miami. Accessed August 06, 2020. https://scholarlyrepository.miami.edu/oa_dissertations/1564.

MLA Handbook (7th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Web. 06 Aug 2020.

Vancouver:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2020 Aug 06]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564.

Council of Science Editors:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564

7. Carriço, Bruno Miguel Alves. e-Recruitment: descrição e inferência sobre oferta e procura.

Degree: 2014, Repositório Científico do Instituto Politécnico de Lisboa

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

A procura pelo currículo que melhor responda às necessidades dos… (more)

Subjects/Keywords: HR-XML recruiting specification; OWL/DL description logic; Recruitment semantic matching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carriço, B. M. A. (2014). e-Recruitment: descrição e inferência sobre oferta e procura. (Thesis). Repositório Científico do Instituto Politécnico de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

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):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Thesis, Repositório Científico do Instituto Politécnico de Lisboa. Accessed August 06, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

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

MLA Handbook (7th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Web. 06 Aug 2020.

Vancouver:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Internet] [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. [cited 2020 Aug 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

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

Council of Science Editors:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

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


Universidade Nova

8. Knorr, Matthias. Combining open and closed world reasoning for the semantic web.

Degree: 2011, Universidade Nova

Dissertação para obtenção do Grau de Doutor em Informática

One important problem in the ongoing standardization of knowledge representation languages for the Semantic Web is… (more)

Subjects/Keywords: Semantic web; Non-monotonic reasoning; Description logics; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knorr, M. (2011). Combining open and closed world reasoning for the semantic web. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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):

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Thesis, Universidade Nova. Accessed August 06, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

MLA Handbook (7th Edition):

Knorr, Matthias. “Combining open and closed world reasoning for the semantic web.” 2011. Web. 06 Aug 2020.

Vancouver:

Knorr M. Combining open and closed world reasoning for the semantic web. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2020 Aug 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702.

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

Council of Science Editors:

Knorr M. Combining open and closed world reasoning for the semantic web. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/6702

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


University of Waterloo

9. Ben-David, Shoham. Applications of Description Logic and Causality in Model Checking.

Degree: 2009, University of Waterloo

 Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is… (more)

Subjects/Keywords: Model Checking; Description Logic; Causality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ben-David, S. (2009). Applications of Description Logic and Causality in Model Checking. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4485

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):

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Thesis, University of Waterloo. Accessed August 06, 2020. http://hdl.handle.net/10012/4485.

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

MLA Handbook (7th Edition):

Ben-David, Shoham. “Applications of Description Logic and Causality in Model Checking.” 2009. Web. 06 Aug 2020.

Vancouver:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10012/4485.

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

Council of Science Editors:

Ben-David S. Applications of Description Logic and Causality in Model Checking. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4485

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


University of New South Wales

10. Lee, Kevin. Inconsistency management for description logics.

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

Description logics belong to a family of knowledge representation formalisms that are widely used for representing ontologies. However, ontologies are subject to changes and are… (more)

Subjects/Keywords: Knowledge representation and reasoning; Description logic; Belief change

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, K. (2012). Inconsistency management for description logics. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Doctoral Dissertation, University of New South Wales. Accessed August 06, 2020. http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

MLA Handbook (7th Edition):

Lee, Kevin. “Inconsistency management for description logics.” 2012. Web. 06 Aug 2020.

Vancouver:

Lee K. Inconsistency management for description logics. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2020 Aug 06]. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true.

Council of Science Editors:

Lee K. Inconsistency management for description logics. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52359 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11032/SOURCE01?view=true


University of Manchester

11. 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 06, 2020. 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. 06 Aug 2020.

Vancouver:

Klinov P. Practical reasoning in probabilistic description logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2020 Aug 06]. 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 Oxford

12. Zhou, Yujiao. PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner.

Degree: PhD, 2015, University of Oxford

 Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications of semantic technologies. Conjunctive query answering is, however, computationally very expensive,… (more)

Subjects/Keywords: 006.3; computer science; artificial intelligence; knowledge representation; query; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhou, Y. (2015). PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:2fbbc6d6-299b-43ae-836d-ae1e0f025a26 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711817

Chicago Manual of Style (16th Edition):

Zhou, Yujiao. “PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner.” 2015. Doctoral Dissertation, University of Oxford. Accessed August 06, 2020. http://ora.ox.ac.uk/objects/uuid:2fbbc6d6-299b-43ae-836d-ae1e0f025a26 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711817.

MLA Handbook (7th Edition):

Zhou, Yujiao. “PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner.” 2015. Web. 06 Aug 2020.

Vancouver:

Zhou Y. PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Aug 06]. Available from: http://ora.ox.ac.uk/objects/uuid:2fbbc6d6-299b-43ae-836d-ae1e0f025a26 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711817.

Council of Science Editors:

Zhou Y. PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner. [Doctoral Dissertation]. University of Oxford; 2015. Available from: http://ora.ox.ac.uk/objects/uuid:2fbbc6d6-299b-43ae-836d-ae1e0f025a26 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711817


Rochester Institute of Technology

13. Salunkhe, Balaji. Automatic Protein Shake Freestyle Vending Machine.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  This paper discusses the design and implementation of an automatic protein shake freestyle vending machine. This machine is capable of providing protein shakes as… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Liquids; Containers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Salunkhe, B. (2017). Automatic Protein Shake Freestyle Vending Machine. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9708

Chicago Manual of Style (16th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed August 06, 2020. https://scholarworks.rit.edu/theses/9708.

MLA Handbook (7th Edition):

Salunkhe, Balaji. “Automatic Protein Shake Freestyle Vending Machine.” 2017. Web. 06 Aug 2020.

Vancouver:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2020 Aug 06]. Available from: https://scholarworks.rit.edu/theses/9708.

Council of Science Editors:

Salunkhe B. Automatic Protein Shake Freestyle Vending Machine. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9708

14. Μαΐλης, Θεόφιλος. Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.

Degree: 2012, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)

 One of the most important topics in Computer Science is Knowledge Representation and Reasoning. Description Logics is a family of formal knowledge representation languages used… (more)

Subjects/Keywords: Περιγραφικές λογικές; Ασαφείς περιγραφικές λογικές; Ασαφής λογική; Απτά πεδία; Τύποι δεδομένων; Συλλογιστική; Βατές περιγραφικές λογικές; Description logics; Fuzzy description logics; Fuzzy logic; Concrete domains; Datatypes; Reasoning; Tracatable description logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Μαΐλης, . . (2012). Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. (Thesis). National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Retrieved from http://hdl.handle.net/10442/hedi/28667

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):

Μαΐλης, Θεόφιλος. “Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.” 2012. Thesis, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Accessed August 06, 2020. http://hdl.handle.net/10442/hedi/28667.

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

MLA Handbook (7th Edition):

Μαΐλης, Θεόφιλος. “Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία.” 2012. Web. 06 Aug 2020.

Vancouver:

Μαΐλης . Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2012. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10442/hedi/28667.

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

Council of Science Editors:

Μαΐλης . Επεκτάσεις ασαφών περιγραφικών λογικών με κανόνες και απτά πεδία. [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2012. Available from: http://hdl.handle.net/10442/hedi/28667

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

15. Rantsoudis, Christos. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.

Degree: Docteur es, Informatique et Télécommunications, 2018, Université Toulouse III – Paul Sabatier

Dans la littérature sur les bases de données, il a été proposé d'utiliser des contraintes d'intégrité actives afin de restaurer l'intégrité de la base. Ces… (more)

Subjects/Keywords: Contraintes d'intégrité active; Logique dynamique; Logique de description; Gestion de l'inconsistance; Réparation de bases de données; Active Integrity Constraints; Dynamic Logic; Description Logic; Inconsistency Management; Database Repairing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rantsoudis, C. (2018). Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2018TOU30286

Chicago Manual of Style (16th Edition):

Rantsoudis, Christos. “Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.” 2018. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed August 06, 2020. http://www.theses.fr/2018TOU30286.

MLA Handbook (7th Edition):

Rantsoudis, Christos. “Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.” 2018. Web. 06 Aug 2020.

Vancouver:

Rantsoudis C. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2018. [cited 2020 Aug 06]. Available from: http://www.theses.fr/2018TOU30286.

Council of Science Editors:

Rantsoudis C. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2018. Available from: http://www.theses.fr/2018TOU30286

16. Leo, Jared Levi Jordan. Capturing Temporal Aspects of Bio-Health Ontologies.

Degree: 2016, University of Manchester

 Extending Descriptions Logics (DLs) with a temporal dimension to aid in the ability to model meaningful temporal information is an active and popular research area… (more)

Subjects/Keywords: temporal logic; description logic; bio-health; ontology

…be seen as a two dimensional Temporal Description Logic (TDL). Alternatively… …fragments of First Order Logic, they are static in nature and are limited in what they can express… …Information in Ontologies Description Logics (DLs) [BCM+ 03, BS01, KSH12] are a… …logic, allowing us to represent and query knowledge in the past or present or future. OWL 2… …static logic, being a fragment of First Order Logic. The temporal information that is present… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leo, J. L. J. (2016). Capturing Temporal Aspects of Bio-Health Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

Chicago Manual of Style (16th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed August 06, 2020. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

MLA Handbook (7th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Web. 06 Aug 2020.

Vancouver:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2020 Aug 06]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

Council of Science Editors:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949


University of Miami

17. Arhami, Negin. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

  Many Automated Theorem Prover (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed… (more)

Subjects/Keywords: Automated Theorem Proving; Description Logic; Logic Translation; Conjunctive Normal Form (CNF); Logical Form; Automated Reasoning; Saffron DL Translator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2014). The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/519

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):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Thesis, University of Miami. Accessed August 06, 2020. https://scholarlyrepository.miami.edu/oa_theses/519.

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

MLA Handbook (7th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Web. 06 Aug 2020.

Vancouver:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Internet] [Thesis]. University of Miami; 2014. [cited 2020 Aug 06]. Available from: https://scholarlyrepository.miami.edu/oa_theses/519.

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

Council of Science Editors:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/519

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


Wright State University

18. Huster, Todd. OWL query answering using machine learning.

Degree: MS, Computer Science, 2015, Wright State University

 The formal semantics of the Web Ontology Language (OWL) enables automated reasoning overOWL knowledge bases, which in turn can be used for a variety of… (more)

Subjects/Keywords: Artificial Intelligence; Computer Science; approximate reasoning; OWL query answering; Semantic Web; SPARQL; ontology; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huster, T. (2015). OWL query answering using machine learning. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806

Chicago Manual of Style (16th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Masters Thesis, Wright State University. Accessed August 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

MLA Handbook (7th Edition):

Huster, Todd. “OWL query answering using machine learning.” 2015. Web. 06 Aug 2020.

Vancouver:

Huster T. OWL query answering using machine learning. [Internet] [Masters thesis]. Wright State University; 2015. [cited 2020 Aug 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806.

Council of Science Editors:

Huster T. OWL query answering using machine learning. [Masters Thesis]. Wright State University; 2015. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1446117806

19. Rockwell, Justin A. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.

Degree: MSin Mechanical Engineering (M.S.M.E.), Mechanical Engineering, 2009, U of Massachusetts : Masters

 A semantic framework to improve automated reasoning, retrieval, reuse and communication of engineering design knowledge is presented in this research. We consider design to be… (more)

Subjects/Keywords: decision support; description logic; distributed; ontology; semantic; Computer-Aided Engineering and Design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rockwell, J. A. (2009). A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. (Masters Thesis). U of Massachusetts : Masters. Retrieved from http://scholarworks.umass.edu/theses/329

Chicago Manual of Style (16th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Masters Thesis, U of Massachusetts : Masters. Accessed August 06, 2020. http://scholarworks.umass.edu/theses/329.

MLA Handbook (7th Edition):

Rockwell, Justin A. “A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design.” 2009. Web. 06 Aug 2020.

Vancouver:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Internet] [Masters thesis]. U of Massachusetts : Masters; 2009. [cited 2020 Aug 06]. Available from: http://scholarworks.umass.edu/theses/329.

Council of Science Editors:

Rockwell JA. A Semantic Framework for Reusing Decision Making Knowledge in Engineering Design. [Masters Thesis]. U of Massachusetts : Masters; 2009. Available from: http://scholarworks.umass.edu/theses/329


Loughborough University

20. Kumar, Sri K. Tools for enterprises collaboration in virtual enterprises.

Degree: PhD, 2013, Loughborough University

 Virtual Enterprise (VE) is an organizational collaboration concept which provides a competitive edge in the globalized business environment. The life cycle of a VE consists… (more)

Subjects/Keywords: 658.4; Virtual Enterprise (VE); Ontology; Description Logic (DL); Cooperative game theory; Nonlinear programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, S. K. (2013). Tools for enterprises collaboration in virtual enterprises. (Doctoral Dissertation). Loughborough University. Retrieved from http://hdl.handle.net/2134/12512

Chicago Manual of Style (16th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Doctoral Dissertation, Loughborough University. Accessed August 06, 2020. http://hdl.handle.net/2134/12512.

MLA Handbook (7th Edition):

Kumar, Sri K. “Tools for enterprises collaboration in virtual enterprises.” 2013. Web. 06 Aug 2020.

Vancouver:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Internet] [Doctoral dissertation]. Loughborough University; 2013. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/2134/12512.

Council of Science Editors:

Kumar SK. Tools for enterprises collaboration in virtual enterprises. [Doctoral Dissertation]. Loughborough University; 2013. Available from: http://hdl.handle.net/2134/12512

21. Keni, Mayuresh Vijay. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  High speed computation is the need of today’s generation of Processors. To accomplish this major task, many functions are implemented inside the hardware of… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Floating point arithmetic; Equations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keni, M. V. (2017). Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9706

Chicago Manual of Style (16th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed August 06, 2020. https://scholarworks.rit.edu/theses/9706.

MLA Handbook (7th Edition):

Keni, Mayuresh Vijay. “Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture.” 2017. Web. 06 Aug 2020.

Vancouver:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2020 Aug 06]. Available from: https://scholarworks.rit.edu/theses/9706.

Council of Science Editors:

Keni MV. Design of a Single Precision Floating Point Divider and Multiplier with Pipelined Architecture. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9706


Rochester Institute of Technology

22. Simha, Shashank. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.

Degree: MS, Electrical Engineering, 2017, Rochester Institute of Technology

  For a number of years, the hardware industry has seen a drastic rise in embedded applications. Thanks to the Internet of Things (IoT) revolution,… (more)

Subjects/Keywords: Logic design; Circuits; Design methodology; Hardware description languages; Digital signal processing; Digital signal processing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Simha, S. (2017). The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9705

Chicago Manual of Style (16th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Masters Thesis, Rochester Institute of Technology. Accessed August 06, 2020. https://scholarworks.rit.edu/theses/9705.

MLA Handbook (7th Edition):

Simha, Shashank. “The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor.” 2017. Web. 06 Aug 2020.

Vancouver:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Internet] [Masters thesis]. Rochester Institute of Technology; 2017. [cited 2020 Aug 06]. Available from: https://scholarworks.rit.edu/theses/9705.

Council of Science Editors:

Simha S. The Design of a Custom 32-Bit SIMD Enhanced Digital Signal Processor. [Masters Thesis]. Rochester Institute of Technology; 2017. Available from: https://scholarworks.rit.edu/theses/9705


Clemson University

23. Michaelraj, Ashwin. Taxonomy of physical prototypes: structure and validation.

Degree: MS, Mechanical Engineering, 2009, Clemson University

 This thesis introduces a taxonomy of physical prototypes, and validates the proposed taxonomy by five different approaches. The proposed taxonomy is validated by, (i) checking… (more)

Subjects/Keywords: Description Logic; Prototype; Taxonomy; Engineering Mechanics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michaelraj, A. (2009). Taxonomy of physical prototypes: structure and validation. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/553

Chicago Manual of Style (16th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Masters Thesis, Clemson University. Accessed August 06, 2020. https://tigerprints.clemson.edu/all_theses/553.

MLA Handbook (7th Edition):

Michaelraj, Ashwin. “Taxonomy of physical prototypes: structure and validation.” 2009. Web. 06 Aug 2020.

Vancouver:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Internet] [Masters thesis]. Clemson University; 2009. [cited 2020 Aug 06]. Available from: https://tigerprints.clemson.edu/all_theses/553.

Council of Science Editors:

Michaelraj A. Taxonomy of physical prototypes: structure and validation. [Masters Thesis]. Clemson University; 2009. Available from: https://tigerprints.clemson.edu/all_theses/553

24. Ochoa Luna, José Eduardo. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.

Degree: PhD, Engenharia de Controle e Automação Mecânica, 2011, University of São Paulo

A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem… (more)

Subjects/Keywords: Aprendizado de lógica de descrição; Description logic learning; Incerteza; Inductive logic programming; Lógica probabilística; Probabilistic logic; programação em lógica indutiva; Redes Bayesianas relacionais; Relational Bayesian networks; Uncertainty

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ochoa Luna, J. E. (2011). Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;

Chicago Manual of Style (16th Edition):

Ochoa Luna, José Eduardo. “Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.” 2011. Doctoral Dissertation, University of São Paulo. Accessed August 06, 2020. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;.

MLA Handbook (7th Edition):

Ochoa Luna, José Eduardo. “Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.” 2011. Web. 06 Aug 2020.

Vancouver:

Ochoa Luna JE. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. [Internet] [Doctoral dissertation]. University of São Paulo; 2011. [cited 2020 Aug 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;.

Council of Science Editors:

Ochoa Luna JE. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. [Doctoral Dissertation]. University of São Paulo; 2011. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-17082011-090935/ ;

25. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, University Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). University Utrecht. Retrieved from https://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; https://dspace.library.uu.nl/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, University Utrecht. Accessed August 06, 2020. https://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; https://dspace.library.uu.nl/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 06 Aug 2020.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. University Utrecht; 2007. [cited 2020 Aug 06]. Available from: https://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; https://dspace.library.uu.nl/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. University Utrecht; 2007. Available from: https://dspace.library.uu.nl/handle/1874/22838 ; URN:NBN:NL:UI:10-1874-22838 ; urn:isbn:978-90-393-4619-8 ; URN:NBN:NL:UI:10-1874-22838 ; https://dspace.library.uu.nl/handle/1874/22838


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

26. Φαλελάκης, Εμμανουήλ. Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.

Degree: 2010, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

 This thesis introduces tools for the semantic analysis of multimedia documents based on prior knowledge and its main goal is to turn the computational complexity… (more)

Subjects/Keywords: Ανάλυση πολυμέσων; Έλεγχος πολυπλοκότητας; Ανάκτηση πολυμέσων; Ασαφής λογική; Περιγραφικές λογικές; Multimedia analysis; Complexity control; Multimedia retrieval; Fuzzy logic; Description logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Φαλελάκης, . . (2010). Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/23668

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):

Φαλελάκης, Εμμανουήλ. “Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.” 2010. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed August 06, 2020. http://hdl.handle.net/10442/hedi/23668.

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

MLA Handbook (7th Edition):

Φαλελάκης, Εμμανουήλ. “Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα.” 2010. Web. 06 Aug 2020.

Vancouver:

Φαλελάκης . Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2010. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10442/hedi/23668.

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

Council of Science Editors:

Φαλελάκης . Ανάλυση πολυμέσων με χρήση γνώσης: ισορροπώντας ανάμεσα στην πολυπλοκότητα και την εγκυρότητα. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2010. Available from: http://hdl.handle.net/10442/hedi/23668

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


Universidade Nova

27. Gomes, Ana Sofia. Derivation methods for hybrid knowledge bases with rules and ontologies.

Degree: 2009, Universidade Nova

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

First of all, I… (more)

Subjects/Keywords: Hybrid knowledge bases; Semantic web; Ontologies; Description logics; Rules; Logic programming; Well-founded semantics; Nonmonotonic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gomes, A. S. (2009). Derivation methods for hybrid knowledge bases with rules and ontologies. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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):

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Thesis, Universidade Nova. Accessed August 06, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

MLA Handbook (7th Edition):

Gomes, Ana Sofia. “Derivation methods for hybrid knowledge bases with rules and ontologies.” 2009. Web. 06 Aug 2020.

Vancouver:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2020 Aug 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563.

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

Council of Science Editors:

Gomes AS. Derivation methods for hybrid knowledge bases with rules and ontologies. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/2563

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


University of Illinois – Chicago

28. Gjomemo, Rigel. An Interoperation Framework for Context-aware Access Control.

Degree: 2012, University of Illinois – Chicago

 An access control system can be defined as a set of policies, models and enforcement mechanisms that are used to restrict access to data and… (more)

Subjects/Keywords: Access Control models; Semantic Web; OWL; Description Logic; Context-aware RBAC; Role Based Access Control; Ontology Web Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gjomemo, R. (2012). An Interoperation Framework for Context-aware Access Control. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/8651

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):

Gjomemo, Rigel. “An Interoperation Framework for Context-aware Access Control.” 2012. Thesis, University of Illinois – Chicago. Accessed August 06, 2020. http://hdl.handle.net/10027/8651.

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

MLA Handbook (7th Edition):

Gjomemo, Rigel. “An Interoperation Framework for Context-aware Access Control.” 2012. Web. 06 Aug 2020.

Vancouver:

Gjomemo R. An Interoperation Framework for Context-aware Access Control. [Internet] [Thesis]. University of Illinois – Chicago; 2012. [cited 2020 Aug 06]. Available from: http://hdl.handle.net/10027/8651.

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

Council of Science Editors:

Gjomemo R. An Interoperation Framework for Context-aware Access Control. [Thesis]. University of Illinois – Chicago; 2012. Available from: http://hdl.handle.net/10027/8651

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


University of Oxford

29. Shearer, Robert D. C. Scalable reasoning for description logics.

Degree: PhD, 2011, University of Oxford

Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web… (more)

Subjects/Keywords: 005.3; Computer science (mathematics) : Mathematical logic and foundations : Applications and algorithms : description logics : automated reasoning : classification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shearer, R. D. C. (2011). Scalable reasoning for description logics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

Chicago Manual of Style (16th Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Doctoral Dissertation, University of Oxford. Accessed August 06, 2020. http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

MLA Handbook (7th Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Web. 06 Aug 2020.

Vancouver:

Shearer RDC. Scalable reasoning for description logics. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Aug 06]. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

Council of Science Editors:

Shearer RDC. Scalable reasoning for description logics. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275


University of Oxford

30. Morak, Michael. The impact of disjunction on reasoning under existential rules.

Degree: PhD, 2014, University of Oxford

 Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is… (more)

Subjects/Keywords: 006.3; Knowledge Representation; Logic; Ontological Reasoning; Artificial Intelligence; Databases; Description Logics; Existential Rules; Disjunction; Complexity; Tuple-Generating Dependencies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morak, M. (2014). The impact of disjunction on reasoning under existential rules. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691

Chicago Manual of Style (16th Edition):

Morak, Michael. “The impact of disjunction on reasoning under existential rules.” 2014. Doctoral Dissertation, University of Oxford. Accessed August 06, 2020. http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691.

MLA Handbook (7th Edition):

Morak, Michael. “The impact of disjunction on reasoning under existential rules.” 2014. Web. 06 Aug 2020.

Vancouver:

Morak M. The impact of disjunction on reasoning under existential rules. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Aug 06]. Available from: http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691.

Council of Science Editors:

Morak M. The impact of disjunction on reasoning under existential rules. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711691

[1] [2]

.