Authors: Mitchener, L, Tuckey, D, Crosby, M, Russo, A
Superior Title: 1549 ; 1523
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Neuro-symbolic, Hierarchical reinforcement learning, Deep reinforcement learning, Inductive logic programming, Answer set programming, 0801 Artificial Intelligence and Image Processing, 0806 Information Systems, 1702 Cognitive Sciences, Artificial Intelligence & Image Processing
Relation: Machine Learning; http://hdl.handle.net/10044/1/96353
Subject Terms: Science & Technology, Technology, Computer Science, Software Engineering, Theory & Methods, Logic, Science & Technology - Other Topics, logic programming, logic production systems, KELPS, Answer Set Programming, reactivity, prospective reasoning, Computation Theory & Mathematics, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 0803 Computer Software
Relation: Theory and Practice of Logic Programming; http://hdl.handle.net/10044/1/92703
Authors: Malhotra, N, Zietsma, C, Morris, T, Smets, M
Superior Title: 46 ; 1
Subject Terms: Social Sciences, Business, Management, Business & Economics, intra-individual plurality, resistance to change, logic settlements, work-family and careers, professions, ORGANIZATIONAL-CHANGE, INSTITUTIONAL CHANGE, IRON CAGE, COMPETING LOGICS, LAW FIRM, TRANSFORMATION, WORK, STRATEGY, IDENTITY, PARADOX, Business & Management, 1503 Business and Management, 1505 Marketing
Relation: Administrative Science Quarterly; http://hdl.handle.net/10044/1/84872
Authors: Graversen, E, Phillips, I, Yoshida, N
Contributors: Engineering and Physical Sciences Research Council, Engineering & Physical Science Research Council (E, Engineering & Physical Science Research Council (EPSRC)
Subject Terms: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Science & Technology - Other Topics, Reversible computations, CCS, Event structures, Static reversibility, Denotational semantics
Relation: Journal of Logical and Algebraic Methods in Programming; http://hdl.handle.net/10044/1/89657; EP/V000462/1; ERI 025567 (EP/K034413/1); EP/K011715/1; EP/N027833/1; EP/T006544/1; EP/T014709/1
Authors: Powell, A
Superior Title: 21 ; 1
Subject Terms: Arts & Humanities, Philosophy, Computation, Lambda calculus, Type theory, 2ND-ORDER LOGIC, CALCULUS, Experimental Psychology, 1702 Cognitive Sciences, 2203 Philosophy
Relation: Axiomathes; http://hdl.handle.net/10044/1/96417
Authors: Stafford, P, Boore, DM, Youngs, RR, Bommer, JJ
Superior Title: 949 ; 917
Subject Terms: Science & Technology, Technology, Engineering, Civil, Geological, PSHA, ground-motion logic trees, backbone GMM, host-region parameters, Fourier spectral inversion, RESPONSE SPECTRA, POINT-SOURCE, PREDICTION, SIMULATIONS, ATTENUATION, METHODOLOGY, UNCERTAINTY, AMPLITUDES, CALIFORNIA, STRESS, Strategic, Defence & Security Studies, 0905 Civil Engineering
Relation: Earthquake Spectra; http://hdl.handle.net/10044/1/92950
Authors: Yoshida, N, Barwell, A, Ferreira, F
Contributors: The National Cyber Security Centre (NCSC), Engineering & Physical Science Research Council (EPSRC), Engineering & Physical Science Research Council (E, Engineering and Physical Sciences Research Council
Superior Title: 8 ; 1
Subject Terms: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Science & Technology - Other Topics, Pi-calculus, Encodings, Lambda-calculus, Distributed systems, Concurrent systems, Interview, INPUT-OUTPUT CONSTRUCT, CALCULUS
Relation: Journal of Logical and Algebraic Methods in Programming; http://hdl.handle.net/10044/1/92854; 4214176 / RFA 20601; EP/T006544/1; EP/K011715/1; ERI 025567 (EP/K034413/1); PO 20131167; EP/L00058X/1, PO 20131167; EP/N027833/1; PO 20287680; EP/T014709/1; EP/V000462/1; PO 20293625
Authors: Belardinelli, F, Van der Hoek, W, Kuijer, LB
Superior Title: 45 ; 3
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Modal logic, Knowledge representation, Second-order propositional modal logic, Epistemic logic, Local properties, MULTIAGENT SYSTEMS, TEMPORAL LOGIC, QUANTIFIERS, KNOWLEDGE, Artificial Intelligence & Image Processing, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 1702 Cognitive Sciences
Relation: Artificial Intelligence; http://hdl.handle.net/10044/1/64611
Authors: Muggleton, SH, Hocquette, C
Superior Title: 217 ; 203
Subject Terms: Science & Technology, Technology, Computer Science, Hardware & Architecture, Theory & Methods, Inductive Logic Programming, Reinforcement learning, Games strategies, 0801 Artificial Intelligence and Image Processing, 0803 Computer Software, 1702 Cognitive Sciences, Information Systems
Relation: New Generation Computing; http://hdl.handle.net/10044/1/72911; https://dx.doi.org/10.1007/s00354-019-00054-2
Authors: Graversen, E, Phillips, I, Yoshida, N
Contributors: Engineering & Physical Science Research Council (E, Engineering & Physical Science Research Council (EPSRC)
Superior Title: 59 ; 16
Subject Terms: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Science & Technology - Other Topics, Reversible computation, Reversible event structures, Category theory
Relation: Journal of Logical and Algebraic Methods in Programming; http://hdl.handle.net/10044/1/65730; https://dx.doi.org/10.1016/j.jlamp.2019.01.001; ERI 025567 (EP/K034413/1); PO 20015393; EP/K011715/1; EP/N027833/1; PO 20015391
Authors: Kakas, A, Mancarella, P, Toni, F
Superior Title: 279 ; 237
Subject Terms: Science & Technology, Arts & Humanities, Physical Sciences, Mathematics, Logic, Philosophy, Science & Technology - Other Topics, Argumentation, Propositional logic, Natural deduction, Reductio ad Absurdum, ACCEPTABILITY, 01 Mathematical Sciences, 08 Information And Computing Sciences, 22 Philosophy And Religious Studies, General Mathematics
Relation: Studia Logica; http://hdl.handle.net/10044/1/48970; https://dx.doi.org/10.1007/s11225-017-9736-x
Authors: Belardinelli, F, Grandi, U, Herzig, A, Longin, D, Lorini, E, Novaro, A, Perrussel, L
Superior Title: Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017 ; 56 ; 43
Subject Terms: Science & Technology, Technology, Computer Science, Theory & Methods, LOGIC
Relation: Electronic Proceedings in Theoretical Computer Science, EPTCS; http://hdl.handle.net/10044/1/70832; https://dx.doi.org/10.4204/EPTCS.251.4
Authors: Muggleton, SH, Schmid, U, Zeller, C, Tamaddoni-Nezhad, A, Besold, T
Superior Title: 1140 ; 1119
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Inductive logic programming, Comprehensibility, Ultra-strong machine learning, EXPERT SYSTEM, EXPLANATION, Artificial Intelligence & Image Processing, 0801 Artificial Intelligence and Image Processing, 0806 Information Systems, 1702 Cognitive Sciences
Relation: Machine Learning; http://hdl.handle.net/10044/1/60116
Superior Title: 146 ; 110
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Non-monotonic logic-based learning, Answer Set Programming, Complexity of non-monotonic learning, INDUCTION, SYSTEM, Artificial Intelligence & Image Processing, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 1702 Cognitive Sciences
Relation: Artificial Intelligence; http://hdl.handle.net/10044/1/58406
Authors: Perkmann, M, McKelvey, M, Phillips, N
Contributors: Economic & Social Research Council (ESRC)
Superior Title: 318 ; 298
Subject Terms: Social Sciences, Management, Business & Economics, institutional complexity, institutional logics, hybrid organizations, institutional theory, university-industry relations, BUSINESS MODELS, COMPLEXITY, INNOVATION, UNIVERSITY, ENTREPRENEURS, CONFORMITY, ECONOMICS, RESPONSES, INDUSTRY, SCIENCE, Business & Management, 1503 Business and Management, 1505 Marketing
Relation: Organization Science; http://hdl.handle.net/10044/1/59712; ES/G038082/1
Authors: Kylilis, N, Tuza, ZA, Stan, G, Polizzi, KM
Contributors: Engineering & Physical Science Research Council (EPSRC), Commission of the European Communities
Superior Title: 9 ; 1
Subject Terms: Science & Technology, Multidisciplinary Sciences, Science & Technology - Other Topics, RHAMNOLIPID BIOSURFACTANT SYNTHESIS, CELL-CELL COMMUNICATION, PSEUDOMONAS-AERUGINOSA, BACTERIAL CONSORTIA, GENE-EXPRESSION, LOGIC GATES, QUORUM, IDENTIFICATION, EVOLUTION, CIRCUIT, Acyl-Butyrolactones, Algorithms, Bacterial Proteins, Computational Biology, Ecosystem, Genetic Engineering, Microbial Consortia, Quorum Sensing, Software, Synthetic Biology, Transcription Factors
Relation: Nature Communications; http://hdl.handle.net/10044/1/61268; EP/K038648/1; EP/M002187/1; EP/P009352/1; 766840
Authors: Muggleton, S, Dai, WZ, Sammut, C, Tamaddoni-Nezhad, A, Wen, J, Zhou, ZH
Superior Title: 1118 ; 1097
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Inductive logic programming, Meta-interpretive learning, High-level vision, Robocup, OBJECT CATEGORIZATION, CLASSIFICATION, SCALE, 0801 Artificial Intelligence And Image Processing, 1702 Cognitive Science, Artificial Intelligence & Image Processing
Relation: Machine Learning; http://hdl.handle.net/10044/1/61840; https://dx.doi.org/10.1007/s10994-018-5710-8
Authors: Toninho, B, Yoshida, N
Contributors: Engineering & Physical Science Research Council (E, Engineering & Physical Science Research Council (EPSRC)
Subject Terms: Science & Technology, Technology, Computer Science, Software Engineering, Session types, classical linear logic, multiparty sessions, synthesis, PI-CALCULUS, MULTIPARTY, VERIFICATION, 0803 Computer Software, 0806 Information Systems
Relation: ACM Transactions on Programming Languages and Systems; http://hdl.handle.net/10044/1/62885; https://dx.doi.org/10.1145/3242173; ERI 025567 (EP/K034413/1); PO 20015393; EP/K011715/1; EP/N027833/1; PO 20015391
Authors: Woodhouse, FG, Fawcett, JB, Dunkel, J
Subject Terms: Science & Technology, Physical Sciences, Physics, Multidisciplinary, flow networks, information transmission, permutation groups, active suspensions, autonomous microfluidics, MATTER, ORDER, MODEL, COMPUTATION, SYSTEMS, MOTION, LOGIC, 02 Physical Sciences, Fluids & Plasmas
Relation: NEW JOURNAL OF PHYSICS; http://hdl.handle.net/10044/1/58851; https://dx.doi.org/10.1088/1367-2630/aab680
Authors: Mistry, M, Callia D'Iddio, A, Huth, MRA, Misener, R
Contributors: Engineering & Physical Science Research Council (EPSRC), Engineering & Physical Science Research Council (E, Engineering and Physical Sciences Research Council
Superior Title: 114 ; 98
Subject Terms: Science & Technology, Technology, Computer Science, Interdisciplinary Applications, Engineering, Chemical, Satisfiability modulo theories, Mixed-integer optimization, Generalized disjunctive programming, Mixed logical-linear programming, BIN-PACKING PROBLEM, BENDERS DECOMPOSITION, OPTIMIZATION PROBLEMS, LOGIC, ALGORITHMS, PROGRAMS, FORMULATION, SEARCH, MODELS, BRANCH, 0904 Chemical Engineering, 0913 Mechanical Engineering, Chemical Engineering
Relation: Computers and Chemical Engineering; http://hdl.handle.net/10044/1/57856; https://dx.doi.org/10.1016/j.compchemeng.2018.03.004; EP/K503381/1; EP/M028240/1; EP/N023242/1; EP/N020030/1; EP/P008739/1; EP/P016871/1