Choose an application

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

Graph theory --- Congresses --- Algorithms --- Computer science --- Graph theory - Congresses. --- Algorithms - Congresses. --- Computer science - Congresses.

Choose an application

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

Artificial intelligence --- Cellular automata --- Neural networks (Computer science) --- Congresses --- Artificial intelligence - Congresses --- Cellular automata - Congresses --- Neural networks (Computer science) - Congresses

Choose an application

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

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software. This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.

Computer science --- Deontic logic --- Informatique --- Logique déontique --- Congresses. --- Congrès --- Congresses --- -Deontic logic --- -Logic, Deontic --- Duty --- Modality (Logic) --- Informatics --- Science --- Computer science. --- Deontic logic. --- Deontische logica. --- Informatica. --- Deontische Logik. --- Informatik. --- Computers --- Congrès. --- Mathematical logic --- -Congresses --- Mathematical logic. --- Logique déontique --- Congrès --- Logic, Deontic --- Computer science - Congresses --- Deontic logic - Congresses

Choose an application

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

Transputers --- Real-time control --- Systems programming (Computer science) --- Industrial applications --- -#TELE:ACCA --- Real-time computer control --- Automatic control --- Integrated circuits --- Microcomputers --- System programming (Computer science) --- Computer programming --- Very large scale integration --- #TELE:ACCA --- Transputers - Congresses --- Real-time control - Congresses --- Systems programming (Computer science) - Congresses --- Transputers - Industrial applications - Congresses

Choose an application

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

This volume includes some of the key research papers in the area of machine learning produced at MIT and Siemens during a three-year joint research effort. It includes papers on many different styles of machine learning, organized into three parts. Part I, theory, includes three papers on theoretical aspects of machine learning. The first two use the theory of computational complexity to derive some fundamental limits on what isefficiently learnable. The third provides an efficient algorithm for identifying finite automata. Part II, artificial intelligence and symbolic learning methods, includes five papers giving an overview of the state of the art and future developments in the field of machine learning, a subfield of artificial intelligence dealing with automated knowledge acquisition and knowledge revision. Part III, neural and collective computation, includes five papers sampling the theoretical diversity and trends in the vigorous new research field of neural networks: massively parallel symbolic induction, task decomposition through competition, phoneme discrimination, behavior-based learning, and self-repairing neural networks.

Artificial intelligence. Robotics. Simulation. Graphics --- Machine learning --- Congresses --- Artificial intelligence --- Neural networks (Computer science) --- Machine learning - Congresses. --- Artificial intelligence - Congresses. --- Neural networks (Computer science) - Congresses. --- Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Computation by Abstract Devices. --- Processor Architectures. --- Informatics --- Science --- 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