KCL - PDFSEARCH.IO - Document Search Engine

KCL
Results: 882

#	Item
181	Evaluating the believability of agents in virtual worlds Henrik Warpefelt Dept. of Computer and Systems Sciences Stockholm University Forum 100, 16443 Kista Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:08:16 Knowledge Agent Virtual world Macroeconomic model Affect Norm Situated Game Embodied agent Artificial intelligence Terminology Leisure
182	Poster Session, ACAI 2013 and EASSS 2013 Wednesday 3 July 2013, K4U.12 16:10 – 17:00 Session A: Posters 1 – 19 Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-27 11:50:14 Thought Science Logic Argumentation theory Criticism XACML Pragma-dialectics Argument Analogy Arguments Critical thinking Debating
183	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
184	252 ECAI 2012 Luc De Raedt et al. (Eds.) © 2012 The Author(s). This article is published online with Open Access by IOS Press and distributed under the terms Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2012-09-06 07:57:17 Neuropsychology Management Automated planning and scheduling Planning Project management Systems engineering Decision making Neuropsychological assessment Clinical psychology Mind
185	Revising Argumentation Systems: Argument Status Versus Graph Minimization Jean-Guy Mailly CRIL Université d’Artois – CNRS Lens, France Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-17 10:18:33 Thought Argumentation theory Critical thinking Criticism Debating Belief revision Structure Theory Science Logic Model theory
186	Conflict Detection And Resolution in NMAS: An Argumentation Based Approach Zohreh Shams Department of Computer Science University of Bath, United Kingdom Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-10 07:49:00 Critical thinking Philosophy of language Philosophy Arguments Debating Argumentation theory Norm Social simulation Defeasible reasoning Logic Science Knowledge
187	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
188	Poster Session, ACAI 2013 and EASSS 2013 Wednesday 3 July 2013, K4U.12 16:10 – 17:00 Session A: Posters 1 – 19 Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-27 11:50:14 Thought Science Logic Argumentation theory Criticism XACML Pragma-dialectics Argument Analogy Arguments Critical thinking Debating
189	XACML and Risk-Aware Access Control Luca Gasparini Department of Computing Science University of Aberdeen Aberdeen, United Kingdom Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-10 04:52:30 Access control Data security Risk management XACML PERMIS Role-based access control Information security Authorization IT risk Security Risk Computer security
190	Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 11:47:58 Critical thinking Arguments Logic Argumentation theory NP-complete Boolean satisfiability problem NP-hard Oracle machine Algorithm Theoretical computer science Applied mathematics Complexity classes

UPDATE