Habilitation (CV and Thesis)

King's College London, University of London, Department of Engineering, Research COLLABORATION on Honor of Leverhulme University of Cambridge. 

Frank Appiah, associate professor of Agent Computing and Electronic commerce. 

 

Research: Agent Computing (major) and Multi-agent Systems(minor): 

Role : Department, Chair Professor, 2015/2X.

[1]Frank Appiah, 2020. Poster on Engineering for system development :Enactprover.  ScienceOpen DOI: 10.14293/S2199-1006.1.SOR-.PPTROAC.v1 /  Get Document 

[2] Frank Appiah, 2020. A Machine-Level Interpretation of Deductive Rules on Enact I and Enact II Model Theorems. ScienceOpen. DOI: 10.14293/S2199-1006.1.SOR-.PPVOHXY.v1 Get Document 

[3] F Appiah, 2020. The Mapping of the Logical Structure, Enact to the Engagement Structure of Enact. EasyChair. Get Document

[4] F Appiah, 2021. An Object-Oriented Language Based on C++: Leelus Typed Language. EasyChair.  Get Document

[5] F Appiah, 2021. Semantic Computation of Propositional Model Composites in Enactment Logic. EasyChair Preprint Get Document

[6] F Appiah, 2021. A Type Theory of Leelus Type System in C++ Programming Languages. EasyChair.  Get Document 

[7] F Appiah, 2020. A General Position of Enactment Paradigm: Phenomenon of Procurement Enact. EasyChair Get Document

[8] F Appiah, 2020. A Research: Data Structures in Leelus Programming Language.EasyChair.  Get Document

[9] F Appiah, 2021. Building the Enactment Engagement Language Stored Program: Leemapper. EasyChair.  Get Document

[10] F Appiah, 2021. A Procedure Run on Engagement Functions and Behavior Relationships. EasyChair.  Get Document

[11] F Appiah, 2021. THEOREM PROVING OF ENACTMENT MODEL COMPOSITES WITH APPIAH-KLEENE AXIOMATIC EXPRESSIONS.(EEL Proof). Published Easychair. Get Document

[12] F Appiah, 2021. Syntactic Computation of Model Composites of Enactment Logic. Published Easychair. Get Document

[13] F Appiah, 2021. Axiomatical Computation of Model Composites of Enactment Logic. EasyChair Preprint.  Get Document

[14] F Appiah, 2020. Leemapper Project in C++, Github. Link

Electronic Commerce:

[15] F Appiah, 2020. An Introduction to Policy Exchange Information.  Published Easychair. Get Document

[16] F Appiah, 2020. An Exchange Outcome of an Organization Based on Motivational Agents. Published Easychair. Get Document

[17] F Appiah, 2021. A Composite Theory of Policy Exchange Choice. Published Easychair. Get Document

[18] F Appiah, 2021. Something of Color: Composing a Choice of Information on Policy Exchange With Agent. Published Easychair. Get Document

[19] F Appiah, 2021. An Agent Spectrum of Policy Exchange Demand in Decision Making in E-Commerce Setup. Published Easychair. Get Document

[20] F Appiah, 2021. The Chance of Supplying Delib-erate Plan of Action By An Agent. Published Easychair. Get Document

[21] F Appiah, 2021. On Memory Usage, Histograms And Metadata Details On Image Information by An Electronic Agent in Ambient System. Published Easychair. Get Document

[22] F Appiah, 2021. An Exchange Outcome of an Organization in Terms of Endowment. Published Easychair.  Get Document

[23] F Appiah, 2021. A Commitment of an Exchange Outcome to an Organization. Published Easychair. Get Document

[24] F Appiah, 2021. Urban Entertainment With Urban-Theme Short Films That Utilizes Internet Hypermedia via YouTube. Published Easychair. Get Document

Status: Collegiate of Agent, E-commerce and Computing. Associate of King's college. 

Colleague Rank: 2

UKRI Position : 4/7 of Computer and Information Sciences. 

Books:

[25] Frank Appiah, Msc Project(KCL: 2010/20. Ruleml: Intelligent Agents and Policy Exchange. Published Amazon. Visit

[26] Frank Appiah, 2016. Doctoral Project at King's College London. Lecture Notes on Security of Computer Systems. Published Lulu in 2019.  Visit

Presentations : Doctor(al) of Teacher Training 

[27] Frank Appiah, . 2021. C++ -BASE OBJECT ORIENTED LANGUAGE-Leelus Typed Language. Easyslides.  Get it

[28] Frank Appiah. 2020. Investigation on V­-System Model in  System Engineering. Easyslides. Get it

[29] Frank Appiah, 2022. Ethical Programmer on Vulnerability Prevention Countermeasure. Get

[30] Frank Appiah, 2022.  Robotics Entertainment: Is it Design, Construction or Operation of a Robot. Get

--Doctors

[31]Frank Appiah, 2021. Multi-agent Cogency : What is the nature of agent in computer? Podcast at Youtube page. 

[32] Frank Appiah, 2022. Diode-Switch-Code. Easychair. Get

Podcasts:

Listen : Audio Version of Presentations.

External Programme: Frank Appiah, 2021. Number Generator Based on Babbage's Difference Engine  and Analysis.. Get.