close
1.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
2.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
5.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼