Skip navigation

Items where Subject is "BC Logic"

Items where Subject is "BC Logic"

Group by: Creators | Item Type | Uncontrolled Keywords
Number of items at this level: 7.

Article

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:10.3389/fpsyg.2021.717635)

Lai, C.-H. ORCID logoORCID: https://orcid.org/0000-0002-7558-6398, Ierotheou, C.S., Palansuriya, C.J. and Pericleous, K.A. ORCID logoORCID: https://orcid.org/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:10.1093/comjnl/44.3.214)

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: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:10.1093/comjnl/39.9.800)

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

Conference Proceedings

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:10.1007/3-540-45006-8_21)

Conference or Conference Paper

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.

This list was generated on Sat Dec 21 13:43:50 2024 UTC.