Items where Subject is "BC Logic"
Up a level |
- Library of Congress Subject Areas (7)
- B Philosophy. Psychology. Religion (7)
- BC Logic (7)
- B Philosophy. Psychology. Religion (7)
2-D and 3-D inverse problems
Lai, C.-H. ORCID: 0000-0002-7558-6398 , Ierotheou, C.S., Palansuriya, C.J. and Pericleous, K.A. ORCID: 0000-0002-7426-9999 (2001) Performance evaluation of a distributed algorithm for an inverse heat conduction problem. The Computer Journal, 44 (3). pp. 214-220. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:https://doi.org/10.1093/comjnl/44.3.214)
artificial intelligence (incl. Robotics)
Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)
comparative fallacy
Dominguez, Laura and Arche, Maria J (2021) The ‘comparative logic’ and why we need to explain interlanguage grammars. Frontiers in Psychology, 12:717635. ISSN 1664-1078 (Print), 1664-1078 (Online) (doi:https://doi.org/10.3389/fpsyg.2021.717635)
computation
Lai, C.-H. ORCID: 0000-0002-7558-6398 , Ierotheou, C.S., Palansuriya, C.J. and Pericleous, K.A. ORCID: 0000-0002-7426-9999 (2001) Performance evaluation of a distributed algorithm for an inverse heat conduction problem. The Computer Journal, 44 (3). pp. 214-220. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:https://doi.org/10.1093/comjnl/44.3.214)
computer applications in administrative data processing
Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)
computer applications in social and behavioral sciences
Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)
control group
Dominguez, Laura and Arche, Maria J (2021) The ‘comparative logic’ and why we need to explain interlanguage grammars. Frontiers in Psychology, 12:717635. ISSN 1664-1078 (Print), 1664-1078 (Online) (doi:https://doi.org/10.3389/fpsyg.2021.717635)
information science
Nissan, Ephraim and Shimony, S.E. (1996) Tambalacoque. For a formal account of the gist of a scholarly argument. Knowledge Organization, 23 (3). pp. 135-146. ISSN 0943-7444
interlanguage
Dominguez, Laura and Arche, Maria J (2021) The ‘comparative logic’ and why we need to explain interlanguage grammars. Frontiers in Psychology, 12:717635. ISSN 1664-1078 (Print), 1664-1078 (Online) (doi:https://doi.org/10.3389/fpsyg.2021.717635)
linguistics
Nissan, Ephraim and Shimony, S.E. (1996) Tambalacoque. For a formal account of the gist of a scholarly argument. Knowledge Organization, 23 (3). pp. 135-146. ISSN 0943-7444
logic
Nissan, E. and Dragoni, A.F. (2000) Exoneration, and reasoning about it: a quick overview of three perspectives. In: Intelligent Systems and Application. ICSC Symposium. 2000. ISA 2000, 11-15 Dec 2000, Wollongong, Australia.
logical formalism
Ma, J. and Knight, B. (2001) Reified temporal logics: an overview. Artificial Intelligence Review, 15 (3). pp. 189-217. ISSN 0269-2821 (Print), 1573-7462 (Online) (doi:https://doi.org/10.1023/A:1011018426725)
Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:https://doi.org/10.1093/comjnl/39.9.800)
mathematical logic and formal languages
Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)
native speaker
Dominguez, Laura and Arche, Maria J (2021) The ‘comparative logic’ and why we need to explain interlanguage grammars. Frontiers in Psychology, 12:717635. ISSN 1664-1078 (Print), 1664-1078 (Online) (doi:https://doi.org/10.3389/fpsyg.2021.717635)
numerical solutions
Lai, C.-H. ORCID: 0000-0002-7558-6398 , Ierotheou, C.S., Palansuriya, C.J. and Pericleous, K.A. ORCID: 0000-0002-7426-9999 (2001) Performance evaluation of a distributed algorithm for an inverse heat conduction problem. The Computer Journal, 44 (3). pp. 214-220. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:https://doi.org/10.1093/comjnl/44.3.214)
operations research/decision theory
Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)
reasoning
Nissan, E. and Dragoni, A.F. (2000) Exoneration, and reasoning about it: a quick overview of three perspectives. In: Intelligent Systems and Application. ICSC Symposium. 2000. ISA 2000, 11-15 Dec 2000, Wollongong, Australia.
reification
Ma, J. and Knight, B. (2001) Reified temporal logics: an overview. Artificial Intelligence Review, 15 (3). pp. 189-217. ISSN 0269-2821 (Print), 1573-7462 (Online) (doi:https://doi.org/10.1023/A:1011018426725)
Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:https://doi.org/10.1093/comjnl/39.9.800)
reified temporal logic (RTL)
Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:https://doi.org/10.1093/comjnl/39.9.800)
temporal logic
Ma, J. and Knight, B. (2001) Reified temporal logics: an overview. Artificial Intelligence Review, 15 (3). pp. 189-217. ISSN 0269-2821 (Print), 1573-7462 (Online) (doi:https://doi.org/10.1023/A:1011018426725)
Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:https://doi.org/10.1093/comjnl/39.9.800)
text processing (Computer science)
Nissan, Ephraim and Shimony, S.E. (1996) Tambalacoque. For a formal account of the gist of a scholarly argument. Knowledge Organization, 23 (3). pp. 135-146. ISSN 0943-7444
Universal Grammar
Dominguez, Laura and Arche, Maria J (2021) The ‘comparative logic’ and why we need to explain interlanguage grammars. Frontiers in Psychology, 12:717635. ISSN 1664-1078 (Print), 1664-1078 (Online) (doi:https://doi.org/10.3389/fpsyg.2021.717635)