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 programming ). Showing records 1 – 30 of 360 total matches.

[1] [2] [3] [4] [5] … [12]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Universidade do Porto

1. Azevedo, João de Campos. A workbench to develop ILP systems.

Degree: 2010, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 Advisors/Committee Members: Silva, Rui Carlos Camacho de Sousa Ferreira da, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Inductive logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Azevedo, J. d. C. (2010). A workbench to develop ILP systems. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59776

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

Azevedo, João de Campos. “A workbench to develop ILP systems.” 2010. Thesis, Universidade do Porto. Accessed September 20, 2020. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59776.

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

MLA Handbook (7th Edition):

Azevedo, João de Campos. “A workbench to develop ILP systems.” 2010. Web. 20 Sep 2020.

Vancouver:

Azevedo JdC. A workbench to develop ILP systems. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2020 Sep 20]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59776.

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

Council of Science Editors:

Azevedo JdC. A workbench to develop ILP systems. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59776

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


Hong Kong University of Science and Technology

2. Zhang, Haodi. Characterizing causal action theories and their implementations in answer set programming.

Degree: 2016, Hong Kong University of Science and Technology

 In logic-based AI, formal reasoning about action has been a central topic. The main challenges have been the frame and the ramification problems. To solve… (more)

Subjects/Keywords: Logic programming ; Fuzzy logic ; Question-answering systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, H. (2016). Characterizing causal action theories and their implementations in answer set programming. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-80407 ; https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html

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

Zhang, Haodi. “Characterizing causal action theories and their implementations in answer set programming.” 2016. Thesis, Hong Kong University of Science and Technology. Accessed September 20, 2020. http://repository.ust.hk/ir/Record/1783.1-80407 ; https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Zhang, Haodi. “Characterizing causal action theories and their implementations in answer set programming.” 2016. Web. 20 Sep 2020.

Vancouver:

Zhang H. Characterizing causal action theories and their implementations in answer set programming. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2016. [cited 2020 Sep 20]. Available from: http://repository.ust.hk/ir/Record/1783.1-80407 ; https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html.

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

Council of Science Editors:

Zhang H. Characterizing causal action theories and their implementations in answer set programming. [Thesis]. Hong Kong University of Science and Technology; 2016. Available from: http://repository.ust.hk/ir/Record/1783.1-80407 ; https://doi.org/10.14711/thesis-b1584877 ; http://repository.ust.hk/ir/bitstream/1783.1-80407/1/th_redirect.html

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


Oregon State University

3. Atwood, John Wesley. Culprit tracking : improved lazy marking for better GUI performance.

Degree: MS, Computer Science, 1996, Oregon State University

 Culprit Tracking is a technique to make lazy evaluation in a programming language even lazier. We sought to develop such a technique after noting poorly-distributed… (more)

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Atwood, J. W. (1996). Culprit tracking : improved lazy marking for better GUI performance. (Masters Thesis). Oregon State University. Retrieved from http://hdl.handle.net/1957/34839

Chicago Manual of Style (16th Edition):

Atwood, John Wesley. “Culprit tracking : improved lazy marking for better GUI performance.” 1996. Masters Thesis, Oregon State University. Accessed September 20, 2020. http://hdl.handle.net/1957/34839.

MLA Handbook (7th Edition):

Atwood, John Wesley. “Culprit tracking : improved lazy marking for better GUI performance.” 1996. Web. 20 Sep 2020.

Vancouver:

Atwood JW. Culprit tracking : improved lazy marking for better GUI performance. [Internet] [Masters thesis]. Oregon State University; 1996. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1957/34839.

Council of Science Editors:

Atwood JW. Culprit tracking : improved lazy marking for better GUI performance. [Masters Thesis]. Oregon State University; 1996. Available from: http://hdl.handle.net/1957/34839

4. Grossman, Mark. Task Interaction and Control System (TICS).

Degree: PhD, 1987, Oregon Health Sciences University

Subjects/Keywords: Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grossman, M. (1987). Task Interaction and Control System (TICS). (Doctoral Dissertation). Oregon Health Sciences University. Retrieved from doi:10.6083/M4C53HSM ; http://digitalcommons.ohsu.edu/etd/237

Chicago Manual of Style (16th Edition):

Grossman, Mark. “Task Interaction and Control System (TICS).” 1987. Doctoral Dissertation, Oregon Health Sciences University. Accessed September 20, 2020. doi:10.6083/M4C53HSM ; http://digitalcommons.ohsu.edu/etd/237.

MLA Handbook (7th Edition):

Grossman, Mark. “Task Interaction and Control System (TICS).” 1987. Web. 20 Sep 2020.

Vancouver:

Grossman M. Task Interaction and Control System (TICS). [Internet] [Doctoral dissertation]. Oregon Health Sciences University; 1987. [cited 2020 Sep 20]. Available from: doi:10.6083/M4C53HSM ; http://digitalcommons.ohsu.edu/etd/237.

Council of Science Editors:

Grossman M. Task Interaction and Control System (TICS). [Doctoral Dissertation]. Oregon Health Sciences University; 1987. Available from: doi:10.6083/M4C53HSM ; http://digitalcommons.ohsu.edu/etd/237


University of Alberta

5. Liu, Guohua. Logic programming with constraints.

Degree: PhD, Department of Computing Science, 2010, University of Alberta

 Answer set programming (ASP), namely logic programming under the answer set semantics, provides a promising constraint programming paradigm, due to its simple syntax, high expressiveness,… (more)

Subjects/Keywords: Constraint programming (Computer science); Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, G. (2010). Logic programming with constraints. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/7d278v37f

Chicago Manual of Style (16th Edition):

Liu, Guohua. “Logic programming with constraints.” 2010. Doctoral Dissertation, University of Alberta. Accessed September 20, 2020. https://era.library.ualberta.ca/files/7d278v37f.

MLA Handbook (7th Edition):

Liu, Guohua. “Logic programming with constraints.” 2010. Web. 20 Sep 2020.

Vancouver:

Liu G. Logic programming with constraints. [Internet] [Doctoral dissertation]. University of Alberta; 2010. [cited 2020 Sep 20]. Available from: https://era.library.ualberta.ca/files/7d278v37f.

Council of Science Editors:

Liu G. Logic programming with constraints. [Doctoral Dissertation]. University of Alberta; 2010. Available from: https://era.library.ualberta.ca/files/7d278v37f


Drexel University

6. Nedelcu, Ioan-Alexandru. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.

Degree: 2015, Drexel University

By situated cyber-physical systems (CPS) we refer to CPS that are located in some physical environment. The term is aimed at highlighting the two-way interaction… (more)

Subjects/Keywords: Computer science; Rule-based programming; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nedelcu, I. (2015). An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. (Thesis). Drexel University. Retrieved from http://hdl.handle.net/1860/idea:6512

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

Nedelcu, Ioan-Alexandru. “An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.” 2015. Thesis, Drexel University. Accessed September 20, 2020. http://hdl.handle.net/1860/idea:6512.

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

MLA Handbook (7th Edition):

Nedelcu, Ioan-Alexandru. “An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.” 2015. Web. 20 Sep 2020.

Vancouver:

Nedelcu I. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. [Internet] [Thesis]. Drexel University; 2015. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1860/idea:6512.

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

Council of Science Editors:

Nedelcu I. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. [Thesis]. Drexel University; 2015. Available from: http://hdl.handle.net/1860/idea:6512

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


Drexel University

7. LeBlanc, Emily C. Explaining Actual Causation via Reasoning about Actions and Change.

Degree: 2019, Drexel University

The goal of this research is to investigate and demonstrate the suitability of action languages and answer set programming (ASP) to design and realize a… (more)

Subjects/Keywords: Computer science; Artificial intelligence; Logic programming; Causation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LeBlanc, E. C. (2019). Explaining Actual Causation via Reasoning about Actions and Change. (Thesis). Drexel University. Retrieved from https://idea.library.drexel.edu/islandora/object/idea%3A9522

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

LeBlanc, Emily C. “Explaining Actual Causation via Reasoning about Actions and Change.” 2019. Thesis, Drexel University. Accessed September 20, 2020. https://idea.library.drexel.edu/islandora/object/idea%3A9522.

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

MLA Handbook (7th Edition):

LeBlanc, Emily C. “Explaining Actual Causation via Reasoning about Actions and Change.” 2019. Web. 20 Sep 2020.

Vancouver:

LeBlanc EC. Explaining Actual Causation via Reasoning about Actions and Change. [Internet] [Thesis]. Drexel University; 2019. [cited 2020 Sep 20]. Available from: https://idea.library.drexel.edu/islandora/object/idea%3A9522.

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

Council of Science Editors:

LeBlanc EC. Explaining Actual Causation via Reasoning about Actions and Change. [Thesis]. Drexel University; 2019. Available from: https://idea.library.drexel.edu/islandora/object/idea%3A9522

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

8. Alsmail, Kumeel. Prolog and inductive reasoning: a logic programming language.

Degree: MS, Computer Science, 2013, California State University – Northridge

 This following research presents the design and development of a diagnostic medical system. The proposed system provides an interactive and adaptive environment through which symptoms… (more)

Subjects/Keywords: Logic programming; Dissertations, Academic  – CSUN  – Computer Science.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alsmail, K. (2013). Prolog and inductive reasoning: a logic programming language. (Masters Thesis). California State University – Northridge. Retrieved from http://hdl.handle.net/10211.2/2562

Chicago Manual of Style (16th Edition):

Alsmail, Kumeel. “Prolog and inductive reasoning: a logic programming language.” 2013. Masters Thesis, California State University – Northridge. Accessed September 20, 2020. http://hdl.handle.net/10211.2/2562.

MLA Handbook (7th Edition):

Alsmail, Kumeel. “Prolog and inductive reasoning: a logic programming language.” 2013. Web. 20 Sep 2020.

Vancouver:

Alsmail K. Prolog and inductive reasoning: a logic programming language. [Internet] [Masters thesis]. California State University – Northridge; 2013. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10211.2/2562.

Council of Science Editors:

Alsmail K. Prolog and inductive reasoning: a logic programming language. [Masters Thesis]. California State University – Northridge; 2013. Available from: http://hdl.handle.net/10211.2/2562

9. Orgun, Mehmet Ali. Intensional logic programming.

Degree: Department of Computer Science, 2018, University of Victoria

 This dissertation presents an investigation of logic programming based on intensional logic. Through intensional logic, the notion of dynamic change and the ability to reason… (more)

Subjects/Keywords: Logic programming

…program constructs can be formed. CHAPTER 1.2 1. INTRODUCTION 3 Logic Programming Since… …our main interest is logic programming languages, we will provide a more detailed but… …informal treatment of logic programming. Logic is a formal system concerned with two concepts… …programming language, rather than employing it as a formal system in the background. In logic… …programming language Prolog is based on Horn logic and was implemented in the early 70's by… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orgun, M. A. (2018). Intensional logic programming. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9541

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

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Thesis, University of Victoria. Accessed September 20, 2020. https://dspace.library.uvic.ca//handle/1828/9541.

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

MLA Handbook (7th Edition):

Orgun, Mehmet Ali. “Intensional logic programming.” 2018. Web. 20 Sep 2020.

Vancouver:

Orgun MA. Intensional logic programming. [Internet] [Thesis]. University of Victoria; 2018. [cited 2020 Sep 20]. Available from: https://dspace.library.uvic.ca//handle/1828/9541.

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

Council of Science Editors:

Orgun MA. Intensional logic programming. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9541

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

10. Strooper, Paul Anthony. From specification to implementation in logic.

Degree: Department of Computer Science, 2018, University of Victoria

 The use of modules to decompose large software systems into smaller, more manageable, programming tasks is now widely accepted. To benefit from such a decomposition,… (more)

Subjects/Keywords: Logic programming

…written, often in a programming language unrelated to logic. During this process errors can be… …x5D; distinguishes between partial deduction and partial evaluation in logic programming… …conforms to the specification. The VDM approach was first applied to logic programming in [… …programs (relations in the case of logic programming). We are interested in obtaining… …for example, [39]). For all logic programming and Prolog code we use the… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strooper, P. A. (2018). From specification to implementation in logic. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9493

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

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Thesis, University of Victoria. Accessed September 20, 2020. https://dspace.library.uvic.ca//handle/1828/9493.

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

MLA Handbook (7th Edition):

Strooper, Paul Anthony. “From specification to implementation in logic.” 2018. Web. 20 Sep 2020.

Vancouver:

Strooper PA. From specification to implementation in logic. [Internet] [Thesis]. University of Victoria; 2018. [cited 2020 Sep 20]. Available from: https://dspace.library.uvic.ca//handle/1828/9493.

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

Council of Science Editors:

Strooper PA. From specification to implementation in logic. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9493

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

11. Bagai, Rajiv. Ordinal-theoretic properties of logic programs.

Degree: Department of Computer Science, 2018, University of Victoria

 The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of… (more)

Subjects/Keywords: Logic programming

…use predicate logic as a programming language: a program in a logic programming language is… …relevant facts, any automatic inference mechanism based on resolution for full first-order logic… …exists. One such sublogic, called Horn logic [22], with tee SLP-resolution rule of… …powerful as full first-order logic, its expressive power is sufficient for it to be applied to a… …wide range of computational problems. By a logic program (or just program), in this… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bagai, R. (2018). Ordinal-theoretic properties of logic programs. (Thesis). University of Victoria. Retrieved from https://dspace.library.uvic.ca//handle/1828/9476

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

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Thesis, University of Victoria. Accessed September 20, 2020. https://dspace.library.uvic.ca//handle/1828/9476.

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

MLA Handbook (7th Edition):

Bagai, Rajiv. “Ordinal-theoretic properties of logic programs.” 2018. Web. 20 Sep 2020.

Vancouver:

Bagai R. Ordinal-theoretic properties of logic programs. [Internet] [Thesis]. University of Victoria; 2018. [cited 2020 Sep 20]. Available from: https://dspace.library.uvic.ca//handle/1828/9476.

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

Council of Science Editors:

Bagai R. Ordinal-theoretic properties of logic programs. [Thesis]. University of Victoria; 2018. Available from: https://dspace.library.uvic.ca//handle/1828/9476

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

12. McCabe, Francis Gregory Christopher. Logic and objects : language, application and implementation.

Degree: PhD, 1989, Imperial College London

Subjects/Keywords: 005; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McCabe, F. G. C. (1989). Logic and objects : language, application and implementation. (Doctoral Dissertation). Imperial College London. Retrieved from http://hdl.handle.net/10044/1/47568

Chicago Manual of Style (16th Edition):

McCabe, Francis Gregory Christopher. “Logic and objects : language, application and implementation.” 1989. Doctoral Dissertation, Imperial College London. Accessed September 20, 2020. http://hdl.handle.net/10044/1/47568.

MLA Handbook (7th Edition):

McCabe, Francis Gregory Christopher. “Logic and objects : language, application and implementation.” 1989. Web. 20 Sep 2020.

Vancouver:

McCabe FGC. Logic and objects : language, application and implementation. [Internet] [Doctoral dissertation]. Imperial College London; 1989. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10044/1/47568.

Council of Science Editors:

McCabe FGC. Logic and objects : language, application and implementation. [Doctoral Dissertation]. Imperial College London; 1989. Available from: http://hdl.handle.net/10044/1/47568

13. Fung, Tze Ho. Abduction by deduction.

Degree: PhD, 1996, Imperial College London

Subjects/Keywords: 005; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fung, T. H. (1996). Abduction by deduction. (Doctoral Dissertation). Imperial College London. Retrieved from http://hdl.handle.net/10044/1/8587

Chicago Manual of Style (16th Edition):

Fung, Tze Ho. “Abduction by deduction.” 1996. Doctoral Dissertation, Imperial College London. Accessed September 20, 2020. http://hdl.handle.net/10044/1/8587.

MLA Handbook (7th Edition):

Fung, Tze Ho. “Abduction by deduction.” 1996. Web. 20 Sep 2020.

Vancouver:

Fung TH. Abduction by deduction. [Internet] [Doctoral dissertation]. Imperial College London; 1996. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10044/1/8587.

Council of Science Editors:

Fung TH. Abduction by deduction. [Doctoral Dissertation]. Imperial College London; 1996. Available from: http://hdl.handle.net/10044/1/8587


Heriot-Watt University

14. Das, Subrata Kumar. Integrity constraints in deductive databases.

Degree: PhD, 1990, Heriot-Watt University

Subjects/Keywords: 005; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Das, S. K. (1990). Integrity constraints in deductive databases. (Doctoral Dissertation). Heriot-Watt University. Retrieved from http://hdl.handle.net/10399/875

Chicago Manual of Style (16th Edition):

Das, Subrata Kumar. “Integrity constraints in deductive databases.” 1990. Doctoral Dissertation, Heriot-Watt University. Accessed September 20, 2020. http://hdl.handle.net/10399/875.

MLA Handbook (7th Edition):

Das, Subrata Kumar. “Integrity constraints in deductive databases.” 1990. Web. 20 Sep 2020.

Vancouver:

Das SK. Integrity constraints in deductive databases. [Internet] [Doctoral dissertation]. Heriot-Watt University; 1990. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10399/875.

Council of Science Editors:

Das SK. Integrity constraints in deductive databases. [Doctoral Dissertation]. Heriot-Watt University; 1990. Available from: http://hdl.handle.net/10399/875


University of Surrey

15. Seel, Nigel. Agent theories and architectures.

Degree: PhD, 1989, University of Surrey

 Cognitive Science attempts to study entities which in some sense possess beliefs, intentions, desires etc. The preferred term in this thesis for such entities is… (more)

Subjects/Keywords: 005; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Seel, N. (1989). Agent theories and architectures. (Doctoral Dissertation). University of Surrey. Retrieved from http://epubs.surrey.ac.uk/844393/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235668

Chicago Manual of Style (16th Edition):

Seel, Nigel. “Agent theories and architectures.” 1989. Doctoral Dissertation, University of Surrey. Accessed September 20, 2020. http://epubs.surrey.ac.uk/844393/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235668.

MLA Handbook (7th Edition):

Seel, Nigel. “Agent theories and architectures.” 1989. Web. 20 Sep 2020.

Vancouver:

Seel N. Agent theories and architectures. [Internet] [Doctoral dissertation]. University of Surrey; 1989. [cited 2020 Sep 20]. Available from: http://epubs.surrey.ac.uk/844393/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235668.

Council of Science Editors:

Seel N. Agent theories and architectures. [Doctoral Dissertation]. University of Surrey; 1989. Available from: http://epubs.surrey.ac.uk/844393/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235668


University of Edinburgh

16. Cook, Jonathan J. Language interoperability and logic programming languages.

Degree: PhD, 2005, University of Edinburgh

 We discuss P#, our implementation of a tool which allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog… (more)

Subjects/Keywords: 005.3; logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cook, J. J. (2005). Language interoperability and logic programming languages. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/725

Chicago Manual of Style (16th Edition):

Cook, Jonathan J. “Language interoperability and logic programming languages.” 2005. Doctoral Dissertation, University of Edinburgh. Accessed September 20, 2020. http://hdl.handle.net/1842/725.

MLA Handbook (7th Edition):

Cook, Jonathan J. “Language interoperability and logic programming languages.” 2005. Web. 20 Sep 2020.

Vancouver:

Cook JJ. Language interoperability and logic programming languages. [Internet] [Doctoral dissertation]. University of Edinburgh; 2005. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1842/725.

Council of Science Editors:

Cook JJ. Language interoperability and logic programming languages. [Doctoral Dissertation]. University of Edinburgh; 2005. Available from: http://hdl.handle.net/1842/725


Northeastern University

17. Tov, Jesse A. Practical programming with substructural types.

Degree: PhD, Department of Computer Science, 2012, Northeastern University

 Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely… (more)

Subjects/Keywords: substructural logic; computer programming; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tov, J. A. (2012). Practical programming with substructural types. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20004906

Chicago Manual of Style (16th Edition):

Tov, Jesse A. “Practical programming with substructural types.” 2012. Doctoral Dissertation, Northeastern University. Accessed September 20, 2020. http://hdl.handle.net/2047/d20004906.

MLA Handbook (7th Edition):

Tov, Jesse A. “Practical programming with substructural types.” 2012. Web. 20 Sep 2020.

Vancouver:

Tov JA. Practical programming with substructural types. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/2047/d20004906.

Council of Science Editors:

Tov JA. Practical programming with substructural types. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20004906


University of Minnesota

18. Koppula, Akshay. Conducting Inductive Logic Programming Directly in Database Management Systems.

Degree: MS, Computer Science, 2015, University of Minnesota

 Inductive logic programming (ILP) is a research area formed at the intersection of machine learning and logic programming. Given a set of background knowledge as… (more)

Subjects/Keywords: Databases; ILP; Inductive Logic Programming; Machine Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Koppula, A. (2015). Conducting Inductive Logic Programming Directly in Database Management Systems. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/191264

Chicago Manual of Style (16th Edition):

Koppula, Akshay. “Conducting Inductive Logic Programming Directly in Database Management Systems.” 2015. Masters Thesis, University of Minnesota. Accessed September 20, 2020. http://hdl.handle.net/11299/191264.

MLA Handbook (7th Edition):

Koppula, Akshay. “Conducting Inductive Logic Programming Directly in Database Management Systems.” 2015. Web. 20 Sep 2020.

Vancouver:

Koppula A. Conducting Inductive Logic Programming Directly in Database Management Systems. [Internet] [Masters thesis]. University of Minnesota; 2015. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/11299/191264.

Council of Science Editors:

Koppula A. Conducting Inductive Logic Programming Directly in Database Management Systems. [Masters Thesis]. University of Minnesota; 2015. Available from: http://hdl.handle.net/11299/191264


Kansas State University

19. Lu, Chi-Dong. Recognition of identical stubs in a decision table processor.

Degree: 1973, Kansas State University

Subjects/Keywords: Logic – Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lu, C. (1973). Recognition of identical stubs in a decision table processor. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/8250

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

Lu, Chi-Dong. “Recognition of identical stubs in a decision table processor.” 1973. Thesis, Kansas State University. Accessed September 20, 2020. http://hdl.handle.net/2097/8250.

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

MLA Handbook (7th Edition):

Lu, Chi-Dong. “Recognition of identical stubs in a decision table processor.” 1973. Web. 20 Sep 2020.

Vancouver:

Lu C. Recognition of identical stubs in a decision table processor. [Internet] [Thesis]. Kansas State University; 1973. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/2097/8250.

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

Council of Science Editors:

Lu C. Recognition of identical stubs in a decision table processor. [Thesis]. Kansas State University; 1973. Available from: http://hdl.handle.net/2097/8250

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


Georgia Tech

20. Payani, Ali. Differentiable neural logic networks and their application onto inductive logic programming.

Degree: PhD, Electrical and Computer Engineering, 2020, Georgia Tech

 Despite the impressive performance of Deep Neural Networks (DNNs), they usually lack the explanatory power of disciplines such as logic programming. Even though they can… (more)

Subjects/Keywords: Inductive logic programming; ILP; Neural logic; Relational reinforcement learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Payani, A. (2020). Differentiable neural logic networks and their application onto inductive logic programming. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/62833

Chicago Manual of Style (16th Edition):

Payani, Ali. “Differentiable neural logic networks and their application onto inductive logic programming.” 2020. Doctoral Dissertation, Georgia Tech. Accessed September 20, 2020. http://hdl.handle.net/1853/62833.

MLA Handbook (7th Edition):

Payani, Ali. “Differentiable neural logic networks and their application onto inductive logic programming.” 2020. Web. 20 Sep 2020.

Vancouver:

Payani A. Differentiable neural logic networks and their application onto inductive logic programming. [Internet] [Doctoral dissertation]. Georgia Tech; 2020. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1853/62833.

Council of Science Editors:

Payani A. Differentiable neural logic networks and their application onto inductive logic programming. [Doctoral Dissertation]. Georgia Tech; 2020. Available from: http://hdl.handle.net/1853/62833


University of Georgia

21. Maier, Frederick Walter. A study of Defeasible Logics.

Degree: 2014, University of Georgia

 Nute's Defeasible Logic is analyzed relative to semantics for logic programs. Fixpoint seman-tics are created for two prioritized defeasible logics: one for the ambiguity blocking… (more)

Subjects/Keywords: Nonmonotonic Reasoning; Defeasible Logic; Logic Programming; Well-Founded Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maier, F. W. (2014). A study of Defeasible Logics. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/24444

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

Maier, Frederick Walter. “A study of Defeasible Logics.” 2014. Thesis, University of Georgia. Accessed September 20, 2020. http://hdl.handle.net/10724/24444.

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

MLA Handbook (7th Edition):

Maier, Frederick Walter. “A study of Defeasible Logics.” 2014. Web. 20 Sep 2020.

Vancouver:

Maier FW. A study of Defeasible Logics. [Internet] [Thesis]. University of Georgia; 2014. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10724/24444.

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

Council of Science Editors:

Maier FW. A study of Defeasible Logics. [Thesis]. University of Georgia; 2014. Available from: http://hdl.handle.net/10724/24444

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


Universiteit Utrecht

22. Ziafati, P. Information Engineering in Autonomous Robot Software.

Degree: 2015, Universiteit Utrecht

 In order to engage and help in our daily life, autonomous robots are to operate in dynamic and unstructured environments and interact with people. As… (more)

Subjects/Keywords: Autonomous Robotics; Information Engineering; Logic Programming; Agent Programming Languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ziafati, P. (2015). Information Engineering in Autonomous Robot Software. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/313289

Chicago Manual of Style (16th Edition):

Ziafati, P. “Information Engineering in Autonomous Robot Software.” 2015. Doctoral Dissertation, Universiteit Utrecht. Accessed September 20, 2020. http://dspace.library.uu.nl:8080/handle/1874/313289.

MLA Handbook (7th Edition):

Ziafati, P. “Information Engineering in Autonomous Robot Software.” 2015. Web. 20 Sep 2020.

Vancouver:

Ziafati P. Information Engineering in Autonomous Robot Software. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2015. [cited 2020 Sep 20]. Available from: http://dspace.library.uu.nl:8080/handle/1874/313289.

Council of Science Editors:

Ziafati P. Information Engineering in Autonomous Robot Software. [Doctoral Dissertation]. Universiteit Utrecht; 2015. Available from: http://dspace.library.uu.nl:8080/handle/1874/313289


University of Victoria

23. Rondogiannis, Panagiotis. Higher-order functional languages and intensional logic.

Degree: Department of Computer Science, 2015, University of Victoria

Subjects/Keywords: functional programming; logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rondogiannis, P. (2015). Higher-order functional languages and intensional logic. (Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/5960

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

Rondogiannis, Panagiotis. “Higher-order functional languages and intensional logic.” 2015. Thesis, University of Victoria. Accessed September 20, 2020. http://hdl.handle.net/1828/5960.

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

MLA Handbook (7th Edition):

Rondogiannis, Panagiotis. “Higher-order functional languages and intensional logic.” 2015. Web. 20 Sep 2020.

Vancouver:

Rondogiannis P. Higher-order functional languages and intensional logic. [Internet] [Thesis]. University of Victoria; 2015. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1828/5960.

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

Council of Science Editors:

Rondogiannis P. Higher-order functional languages and intensional logic. [Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/5960

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


University of Hong Kong

24. 梁秉雄. Towards a semantics bridge between structured specifications and logicspecifications.

Degree: 1992, University of Hong Kong

Subjects/Keywords: Structured programming.; Logic programming.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

梁秉雄. (1992). Towards a semantics bridge between structured specifications and logicspecifications. (Thesis). University of Hong Kong. Retrieved from http://hdl.handle.net/10722/32416

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

Chicago Manual of Style (16th Edition):

梁秉雄. “Towards a semantics bridge between structured specifications and logicspecifications.” 1992. Thesis, University of Hong Kong. Accessed September 20, 2020. http://hdl.handle.net/10722/32416.

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

MLA Handbook (7th Edition):

梁秉雄. “Towards a semantics bridge between structured specifications and logicspecifications.” 1992. Web. 20 Sep 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

梁秉雄. Towards a semantics bridge between structured specifications and logicspecifications. [Internet] [Thesis]. University of Hong Kong; 1992. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/10722/32416.

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

Council of Science Editors:

梁秉雄. Towards a semantics bridge between structured specifications and logicspecifications. [Thesis]. University of Hong Kong; 1992. Available from: http://hdl.handle.net/10722/32416

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

25. Janssen, Jeroen. Foundations of fuzzy answer set programming.

Degree: 2011, Ghent University

 Answer set programming (ASP) is a declarative language that is tailored towards combinatorial search problems. Although ASP has been applied to many problems, such as… (more)

Subjects/Keywords: Science General; fuzzy logic; answer set programming; fuzzy answer set programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Janssen, J. (2011). Foundations of fuzzy answer set programming. (Thesis). Ghent University. Retrieved from http://hdl.handle.net/1854/LU-1844565

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

Janssen, Jeroen. “Foundations of fuzzy answer set programming.” 2011. Thesis, Ghent University. Accessed September 20, 2020. http://hdl.handle.net/1854/LU-1844565.

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

MLA Handbook (7th Edition):

Janssen, Jeroen. “Foundations of fuzzy answer set programming.” 2011. Web. 20 Sep 2020.

Vancouver:

Janssen J. Foundations of fuzzy answer set programming. [Internet] [Thesis]. Ghent University; 2011. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1854/LU-1844565.

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

Council of Science Editors:

Janssen J. Foundations of fuzzy answer set programming. [Thesis]. Ghent University; 2011. Available from: http://hdl.handle.net/1854/LU-1844565

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


Université Catholique de Louvain

26. Castro Mejia, Sergio. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language.

Degree: 2014, Université Catholique de Louvain

This dissertation seeks to improve on the state of the art for creating systems integrating modules written in both a logic and a statically-typed object-oriented… (more)

Subjects/Keywords: Java; Prolog; Object-oriented programming; Logic programming; Multi-paradigm programming; Language interoperability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Castro Mejia, S. (2014). A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language. (Thesis). Université Catholique de Louvain. Retrieved from http://hdl.handle.net/2078.1/151203

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

Castro Mejia, Sergio. “A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language.” 2014. Thesis, Université Catholique de Louvain. Accessed September 20, 2020. http://hdl.handle.net/2078.1/151203.

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

MLA Handbook (7th Edition):

Castro Mejia, Sergio. “A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language.” 2014. Web. 20 Sep 2020.

Vancouver:

Castro Mejia S. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language. [Internet] [Thesis]. Université Catholique de Louvain; 2014. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/2078.1/151203.

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

Council of Science Editors:

Castro Mejia S. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language. [Thesis]. Université Catholique de Louvain; 2014. Available from: http://hdl.handle.net/2078.1/151203

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


Universidade Nova

27. Moura, João Manuel Gomes. Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning.

Degree: 2016, Universidade Nova

 With the recent development of a new ubiquitous nature of data and the profusity of available knowledge, there is nowadays the need to reason from… (more)

Subjects/Keywords: Logic Programming; Answer Set Programming; Paracoherence; Paraconsistency; Modular Logic Programming; Probabilistic Logic Programming; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moura, J. M. G. (2016). Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning. (Thesis). Universidade Nova. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/30470

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

Moura, João Manuel Gomes. “Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning.” 2016. Thesis, Universidade Nova. Accessed September 20, 2020. https://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/30470.

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

MLA Handbook (7th Edition):

Moura, João Manuel Gomes. “Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning.” 2016. Web. 20 Sep 2020.

Vancouver:

Moura JMG. Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning. [Internet] [Thesis]. Universidade Nova; 2016. [cited 2020 Sep 20]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/30470.

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

Council of Science Editors:

Moura JMG. Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning. [Thesis]. Universidade Nova; 2016. Available from: https://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/30470

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


University of Rochester

28. Papai, Tivadar (1984 - ). Exploiting constraints, sequential structure, and knowledge in Markov logic networks.

Degree: PhD, 2014, University of Rochester

 In this dissertation we propose extensions to Markov logic networks that can improve inference and learning by exploiting deterministic constraints, expert knowledge or se- quential/temporal… (more)

Subjects/Keywords: Constraint programming; Exponential families; Markov logic; Modal logic; Random fields; Sequential domains

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Papai, T. (. -. ). (2014). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/28364

Chicago Manual of Style (16th Edition):

Papai, Tivadar (1984 - ). “Exploiting constraints, sequential structure, and knowledge in Markov logic networks.” 2014. Doctoral Dissertation, University of Rochester. Accessed September 20, 2020. http://hdl.handle.net/1802/28364.

MLA Handbook (7th Edition):

Papai, Tivadar (1984 - ). “Exploiting constraints, sequential structure, and knowledge in Markov logic networks.” 2014. Web. 20 Sep 2020.

Vancouver:

Papai T(-). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. [Internet] [Doctoral dissertation]. University of Rochester; 2014. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1802/28364.

Council of Science Editors:

Papai T(-). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. [Doctoral Dissertation]. University of Rochester; 2014. Available from: http://hdl.handle.net/1802/28364


Australian National University

29. Keronen, Seppo R. Computational Natural Deduction .

Degree: 1991, Australian National University

 The formalization of the notion of a logically sound argument as a natural deduction proof offers the prospect of a computer program capable of constructing… (more)

Subjects/Keywords: computational logic; natural deduction; logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Keronen, S. R. (1991). Computational Natural Deduction . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/9243

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

Keronen, Seppo R. “Computational Natural Deduction .” 1991. Thesis, Australian National University. Accessed September 20, 2020. http://hdl.handle.net/1885/9243.

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

MLA Handbook (7th Edition):

Keronen, Seppo R. “Computational Natural Deduction .” 1991. Web. 20 Sep 2020.

Vancouver:

Keronen SR. Computational Natural Deduction . [Internet] [Thesis]. Australian National University; 1991. [cited 2020 Sep 20]. Available from: http://hdl.handle.net/1885/9243.

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

Council of Science Editors:

Keronen SR. Computational Natural Deduction . [Thesis]. Australian National University; 1991. Available from: http://hdl.handle.net/1885/9243

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


Louisiana State University

30. Peralta, Manuel Alfonso. Perpetual requirements engineering.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 This dissertation attempts to make a contribution within the fields of distributed systems, security, and formal verification. We provide a way to formally assess the… (more)

Subjects/Keywords: Computer Security; Software Engineering; Modal Logic; Logic Programming; Software Verification; Sensor Networks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peralta, M. A. (2012). Perpetual requirements engineering. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220

Chicago Manual of Style (16th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Doctoral Dissertation, Louisiana State University. Accessed September 20, 2020. etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

MLA Handbook (7th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Web. 20 Sep 2020.

Vancouver:

Peralta MA. Perpetual requirements engineering. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Sep 20]. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

Council of Science Editors:

Peralta MA. Perpetual requirements engineering. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220

[1] [2] [3] [4] [5] … [12]

.