## Home > Tags: logics (Total 16 Records)

### Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Algorithms By:Prof. Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingolfsdottir, Prof. Axel Legay, Radu Mardare 2017-08-29 00:00:00

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including Algorithms

Tags:
*computer*
*algorithm*
*model*
*lecture*
*science*
*tool*
*dedicated*
*occasion*
*birthday*
*logics*
*kim*
*guldstrand*
*larsen*

### Description Logics in Multimedia Reasoning

Algorithms By:Leslie F. Sikos 2017-07-28 00:00:00

This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologie Algorithms

Tags:
*multimedia*
*reasoning*
*description*
*logics*

### Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Lecture Notes in Computer Science)

Algorithms By:Christian W. Probst and Chris Hankin 2016-02-01 00:00:00

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis. The book features contributions from colle 60th birthdays, lecture notes, festschrift volume, calculi, wide area

Tags:
*computer*
*lecture*
*science*
*semantics*
*dedicated*
*occasion*
*logics*
*birthdays*
*calculi*
*hanne*
*riis*
*nielson*
*flemming*

### Models of Strategic Reasoning: Logics, Games, and Communities

Computer Science By:Johan van Benthem, Sujata Ghosh, Rineke Verbrugge 2015-00-00 00:00:00

Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants' aspirations, whether they are selling a house, playing the stock market, or working toward a treaty th strategic reasoning, strategic behavior, games formal frameworks, modern theatre, different frameworks

### Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Programming By:S. Aguzzoli, A. Ciabattoni, B. Gerla 2007-10-26 00:00:00

Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held lecture notes, 60th birthday, non-classical logics, proof-theoretic aspects, artificial intelligence

Tags:
*lecture*
*intelligence*
*artificial*
*algebraic*
*papers*
*occasion*
*birthday*
*aspects*
*logics*
*honor*
*daniele*
*mundici*

### Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning (Intelligent Systems Reference Library)

Algorithms By:Jair Minoro Abe 2015-04-10 00:00:00

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can annotated logics, intelligent systems reference, systems reference library, paraconsistent reasoning, paraconsistent logic

Tags:
*reference*
*system*
*foundations*
*annotated*
*library*
*intelligent*
*reasoning*
*logics*
*paracomplete*
*paraconsistent*

### Semantics and Logics of Computation (Publications of the Newton Institute)

Computer Science By:Andrew M. Pitts, P. Dybjer 1997-02-28 00:00:00

This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area. newton institute, comprehensive volume addresses, computation, modern developments, important source

Tags:
*computation*
*semantics*
*institute*
*logics*
*publications*
*newton*

### A Proof Theory for Description Logics (SpringerBriefs in Computer Science)

Algorithms By:Alexandre Rademaker 2012-05-18 00:00:00

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly re description logics, proof theory, )description logics (dls) is a family of formalisms used to represent knowledge of a domain., formal logic-based semantics, explicitly represented knowledge

Tags:
*computer*
*theory*
*science*
*description*
*logics*
*springerbriefs*
*proof*

### Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing)

Programming By:Fabio Mogavero 2013-08-12 00:00:00

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two l computation tree logic, temporal logic formalisms, strategic logics, alternating-time temporal logic, atlantis studies

Tags:
*temporal*
*computer*
*study*
*computing*
*extensions*
*science*
*strategic*
*logics*
*atlantis*

### Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing)

Programming By:Fabio Mogavero 2013-08-12 00:00:00

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two l computation tree logic, temporal logic formalisms, strategic logics, alternating-time temporal logic, atlantis studies

Tags:
*temporal*
*computer*
*study*
*computing*
*extensions*
*science*
*strategic*
*logics*
*atlantis*