52

Logics in AI: post-proceedings JELIA06 (Editorial)

Year:
2007
Language:
english
File:
PDF, 141 KB
english, 2007
53

Knowledge Condition Games

Year:
2006
Language:
english
File:
PDF, 503 KB
english, 2006
54

Reasoning About Social Choice Functions

Year:
2011
Language:
english
File:
PDF, 612 KB
english, 2011
56

Towards a theory of intention revision

Year:
2007
Language:
english
File:
PDF, 643 KB
english, 2007
57

Preface

Year:
2005
Language:
english
File:
PDF, 65 KB
english, 2005
61

Logic for Applications, Anil Nerode and Richard A. Shore

Year:
1998
Language:
english
File:
PDF, 14 KB
english, 1998
62

Nonmonotonic Reasoning, Grigoris Antoniou

Year:
2000
Language:
english
File:
PDF, 27 KB
english, 2000
63

Agent Programming in 3APL

Year:
1999
Language:
english
File:
PDF, 241 KB
english, 1999
64

Note by the Guest Editors

Year:
2002
File:
PDF, 455 KB
2002
65

Persistence and minimality in epistemic logic

Year:
1999
Language:
english
File:
PDF, 211 KB
english, 1999
68

Editorial

Year:
2004
Language:
english
File:
PDF, 29 KB
english, 2004
75

Logic and the foundations of the theory of games and decisions: introduction

Year:
2003
Language:
english
File:
PDF, 61 KB
english, 2003
76

Model checking cooperation, knowledge, and time—a case study

Year:
2003
Language:
english
File:
PDF, 512 KB
english, 2003
77

Everything is Knowable – How to Get to Know Whether a Proposition is True

Year:
2012
Language:
english
File:
PDF, 454 KB
english, 2012
87

Theory of two-photon induced fluorescence anisotropy decay in membranes

Year:
1993
Language:
english
File:
PDF, 680 KB
english, 1993
89

Response to Gratton and Parasassi

Year:
1996
Language:
english
File:
PDF, 251 KB
english, 1996
95

Introduction to the special issue

Year:
2013
Language:
english
File:
PDF, 83 KB
english, 2013
96

Program equilibrium—a program reasoning approach

Year:
2013
Language:
english
File:
PDF, 749 KB
english, 2013
97

Introduction chapter

Year:
2012
Language:
english
File:
PDF, 77 KB
english, 2012
98

Erratum to: Introduction chapter

Year:
2012
File:
PDF, 68 KB
2012
99

Estimating the distance separating fluorescent protein FRET pairs

Year:
2014
Language:
english
File:
PDF, 1.52 MB
english, 2014