On the Nature and Formal Analysis of Indexical Presuppositions (English)
- New search for: Yanovich, I.
- New search for: Yanovich, I.
- New search for: Nakakoji, Kumiyo
- New search for: Murakami, Yohei
- New search for: McCready, Eric
In:
International symposium on artificial intelligence
6284
;
272-291
;
2010
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:On the Nature and Formal Analysis of Indexical Presuppositions
-
Contributors:
-
Conference:1st, International symposium on artificial intelligence ; 2009 ; Tokyo
-
Published in:International symposium on artificial intelligence , 6284 ; 272-291LECTURE NOTES IN COMPUTER SCIENCE , 6284 ; 272-291
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2010-01-01
-
Size:20 pages
-
Remarks:Based on those presented at the symposium. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Third International Workshop on Juris-InformaticsSakurai, S. et al. | 2010
- 5
-
Using BATNAs and WATNAs in Online Dispute ResolutionAndrade, F. / Novais, P. / Carneiro, D. / Zeleznikow, J. / Neves, J. et al. | 2010
- 19
-
Thai Succession and Family Law Ontology Building Using Ant Colony AlgorithmBoonchom, V.-s. / Soonthornphisaj, N. et al. | 2010
- 33
-
Reflective Visualization of the Agreement Quality in MediationMaeno, Y. / Nitta, K. / Ohsawa, Y. et al. | 2010
- 45
-
Implementing Temporal Defeasible Logic for Modeling Legal ReasoningGovernatori, G. / Rotolo, A. / Rubino, R. et al. | 2010
- 59
-
Evaluating Cases in Legal Disputes as Rival TheoriesStenetorp, P. / Li, J.J. et al. | 2010
- 73
-
Law-Aware Access Control: About Modeling Context and Transforming LegislationStieghahn, M. / Engel, T. et al. | 2010
- 89
-
3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009)Ohira, M. / Ye, Y. et al. | 2010
- 91
-
On the Central Role of Mailing Lists in Open Source Projects: An Exploratory StudyShihab, E. / Bettenburg, N. / Adams, B. / Hassan, A.E. et al. | 2010
- 104
-
A Proposal of TIE Model for Communication in Software Development ProcessKanbe, M. / Yamamoto, S. / Ohta, T. et al. | 2010
- 116
-
Identifying the Concepts That Are Searchable with Keywords in Code Search EnginesKamiya, T. et al. | 2010
- 124
-
On the Use of Emerging Design as a Basis for Knowledge CollaborationProenca, T. / Moura, N.T. / van der Hoek, A. et al. | 2010
- 135
-
A Time-Lag Analysis for Improving Communication among OSS DevelopersOhira, M. / Koyama, K. / Ihara, A. / Matsumoto, S. / Kamei, Y. / Matsumoto, K.-i. et al. | 2010
- 147
-
Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and NeedsNakakoji, K. / Ye, Y. / Yamamoto, Y. et al. | 2010
- 159
-
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)Bekki, D. et al. | 2010
- 161
-
Representing Covert Movements by Delimited ContinuationsBekki, D. / Asai, K. et al. | 2010
- 181
-
Problems with Intervention and Binding into RelationsButler, A. / Yoshimoto, K. et al. | 2010
- 197
-
A Translation from Logic to English with Dynamic SemanticsCoppock, E. / Baxter, D. et al. | 2010
- 217
-
Semantics of Possibility Suffix ``(Rar)e''Iida, T. et al. | 2010
- 235
-
An Adaptive Logic for the Formal Explication of Scalar ImplicaturesLycke, H. et al. | 2010
- 252
-
Two Kinds of Procedural Semantics for Privative ModificationPrimiero, G. / Jespersen, B. et al. | 2010
- 272
-
On the Nature and Formal Analysis of Indexical PresuppositionsYanovich, I. et al. | 2010
- 292
-
Non-standard Uses of German 1st Person Singular PronounsZobel, S. et al. | 2010
- 315
-
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)Yamamoto, A. / Hirata, K. / Minato, S.-i. et al. | 2010
- 317
-
Inferability of Unbounded Unions of Certain Closed Set SystemsKameda, Y. / Tokunaga, H. et al. | 2010
- 331
-
Mining Frequent k-Partite Episodes from Event SequencesKatoh, T. / Arimura, H. / Hirata, K. et al. | 2010
- 345
-
Learning from Positive Data Based on the MINL Strategy with Refinement OperatorsOuchi, S. / Yamamoto, A. et al. | 2010
- 358
-
Computing Minimal Models by Positively Minimal DisjunctsSatoh, K. et al. | 2010