Skip navigation

Items where Subject is "BC Logic"

Items where Subject is "BC Logic"

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | Uncontrolled Keywords
Number of items at this level: 20.

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)

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)

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

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)

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

This list was generated on Thu Dec 3 23:19:49 2020 UTC.