Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in
Books Books 1 - 10 of about 12 citing Deontic logic in computer science: normative system specification. 

Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications ...
Rough Sets and Current Trends in Computing: Second International Conference ...

Rough Sets and Current Trends in Computing: Second International Conference ...

Wojciech Ziarko, Yiyu Yao - Computers - 2001 - 670 pages
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Rough Sets and Current Trends in Computing, RSCTC 2000, held in Banff ...
Limited preview - About this book
Object-Oriented Behavorial Specifications
VRRP: increasing reliability and failover with the Virtual Router Redundancy ...

VRRP: increasing reliability and failover with the Virtual Router Redundancy ...

Ayikudy Srikanth, Adnan Onart - 2002 - 540 pages
Network administrators and managers, protocol implementers, practicing professionals, researchers, and students exploring the area of high availability will gain a solid ...
Snippet view - About this book
Fundamentals of Information Systems

Fundamentals of Information Systems

Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe - Language Arts & Disciplines - 1999 - 185 pages
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was ...
Limited preview - About this book
Agent-Mediated Electronic Commerce VI: Theories for and Engineering of ...
CyberPhilosophy: The Intersection of Philosophy and Computing
Foundations of the Formal Sciences II: Applications of Mathematical Logic in ...

Foundations of the Formal Sciences II: Applications of Mathematical Logic in ...

Wolfgang Malzkorn, Thoralf Räsch - Philosophy - 2003 - 300 pages
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to ...
Limited preview - About this book
Heterogeneous agent systems

Heterogeneous agent systems

V.S. Subrahmanian - Computers - 2000 - 580 pages
After a discussion of the theory of software agents, this book presents IMPACT (Interactive Maryland Platform for Agents Collaborating Together), an experimental agent ...
Limited preview - About this book
Intelligent Agents II - Agent Theories, Architectures, and Languages: IJCAI ...

Intelligent Agents II - Agent Theories, Architectures, and Languages: IJCAI ...

Michael Wooldridge, Jörg Müller, Milind Tambe - Computers - 1996 - 437 pages
This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on ...
Limited preview - About this book