Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Oxford Handbook of AI Governance examines how artificial intelligence (AI) interacts with and influences governance systems. It also examines how governance systems influence and interact with AI. The handbook spans 49 chapters across nine major sections. These sections are (1) Introduction and Overview, (2) Value Foundations of AI Governance, (3) Developing an AI Governance Regulatory Ecosystem, (4) Frameworks and Approaches for AI Governance, (5) Assessment and Implementation of AI Governance, (6) AI Governance from the Ground Up, (7) Economic Dimensions of AI Governance, (8) Domestic Policy Applications of AI, and (9) International Politics and AI Governance. The chapters in this handbook come from a wide set of disciplines and areas of study, and from a wide variety of cultures and backgrounds. This is a growing field of study that is deeply intertwined with the fields of political science, computer science, economics, international politics, philosophy, mathematics, and ethics, among others. It takes its lessons from both academia and industry, and from think tanks and activists. The intersection of AI and governance presents vast challenges and opportunities for both our collective global civilization and our individual wellbeing. This handbook serves as a guide through the pathways of these challenges and opportunities.

Artificial intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Political aspects

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.

Declarative programming --- Congresses --- 681.3*D1 <063> --- 681.3*D3 <063> --- 681.3*F3 <063> --- 681.3*F4 <063> --- 681.3*I13 <063> --- 681.3*I21 --- 681.3*K32 <063> --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- 681.3*D3 <063> Programming languages--Congressen --- Programming languages--Congressen --- Computer programming --- Programming techniques--See also {681.3*E}--Congressen --- Logics and meanings of programs (Theory of computation)--Congressen --- Mathematical logic and formal languages (Theory of computation)--Congressen --- Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22}--Congressen --- Computer and information science education: curriculum; self-assessment--Congressen --- Computer science. --- Logic design. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Computer programming. --- Mathematical logic. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Declarative programming - Congresses