Philosophy

Filter
Conference contribution

Search results

  • 2024

    Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach

    Kishida, K., 2024, Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Revised Selected Papers. Bekki, D., Mineshima, K. & McCready, E. (eds.). Springer, p. 321-336 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14569 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2021

    Balisage Paper: Presentational Markup: What's going on?

    Renear, A. H. & Mak, B., 2021, Proceedings of Balisage: The Markup Conference 2021. Mulberry Tecnologies, Inc., (Balisage Series on Markup Technologies; vol. 26).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2020

    A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper

    Fu, P., Kishida, K., Ross, N. J. & Selinger, P., Jul 9 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 153-168 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12227 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract

    Fu, P., Kishida, K. & Selinger, P., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 440-453 14 p. 3394765. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    On the Normativity of Pure General Logic

    Newton, A. M., Nov 5 2018, Natur und Freiheit: Akten des XII. Internationalen Kant-Kongresses. Waibel, V. L., Ruffing, M. & Wagner, D. (eds.). De Gruyter

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2016

    Discerning the intellectual focus of annotations

    Jett, J., Cole, T. W., Dubin, D. & Renear, A. H., 2016, Proceedings of Balisage: The Markup Conference 2016. Mulberry Tecnologies, Inc., (Balisage Series on Markup Technologies; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2014

    Panel - The ethics of nuclear energy in the post-Fukushima Era

    Gardoni, P., Hillerbrand, R., Murphy, C. & Taebi, B., 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014. Institute of Electrical and Electronics Engineers Inc., 6893373. (2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2013

    Kant on the Form of Aesthetic Judgment

    Newton, A. M., Oct 2013, Kant und die Philosophie in weltbürgerlicher Absicht: Akten des XI. Kant-Kongresses 2010. Bacin, S., Ferrarin, A., La Rocca, C. & Ruffing, M. (eds.). De Gruyter, Vol. 4. p. 169-180 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    The logical form of the proposition expressed by a metadata record

    Wickett, K. M. & Renear, A. H., 2012, JCDL '12 - Proceedings of the 12th ACM/IEEE-CS Joint Conference on Digital Libraries. p. 413-414 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards a logical form for descriptive metadata

    Wickett, K. M., Urban, R. J. & Renear, A. H., 2012, Proceedings of the 2012 iConference: Culture, Design, Society, iConference 2012. p. 574-575 2 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    Applications of an implementation story for non-sentential models

    Waskan, J., 2010, Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Magnani, L., Carnielli, W. & Pizzi, C. (eds.). p. 463-476 14 p. (Studies in Computational Intelligence; vol. 314).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • There are no documents

    Renear, A. H. & Wickett, K. M., 2010, Proceedings of Balisage: The Markup Conference 2010. (Balisage Series on Markup Technologies; vol. 5).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Documents cannot be edited

    Renear, A. H. & Wickett, K. M., 2009, Proceedings of Balisage: The Markup Conference 2009. (Balisage Series on Markup Technologies; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2008

    The return of the trivial: Problems formalizing collection/item metadata relationships

    Renear, A. H., Wickett, K. M., Urban, R. J. & Dubin, D., 2008, JCDL'08: Proceedings of the 8th ACM/IEEE-CS Joint Conference on Digital Libraries 2008. p. 464 1 p. (Proceedings of the ACM International Conference on Digital Libraries).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • When digital objects change - Exactly what changes?

    Renear, A. H., Dubin, D. & Wickett, K. M., 2008, ASIST 2008: Proceedings of the 71st ASIST Annual Meeting: People Transforming Information - Information Transforming People. American Society for Information Science and Technology, Vol. 45.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2007

    How incorrect information delivers correct search results: A pragmatic analysis of queries

    Lee, J. H. & Renear, A., 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. John Wiley & Sons, Ltd., Vol. 44.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Three of the four FRBR group 1 entity types are roles, not types

    Renear, A. H. & Dubin, D., 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. John Wiley & Sons, Ltd., Vol. 44.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • What exactly is an item in the digital world?

    Floyd, I. R. & Renear, A. H., 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. American Society for Information Science and Technology, Vol. 44.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2003

    XML semantics and digital libraries

    Renear, A., Dubin, D., Sperberg-McQueen, C. M. & Huitfeldt, C., 2003, Proceedings - 2003 Joint Conference on Digital Libraries, JCDL 2003. Delcambre, L., Henry, G. & Marshall, C. C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 303-305 3 p. 1204879. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Towards a Semantics for XML Markup

    Renear, A., Dubin, D., Sperberg-McQueen, C. M. & Huitfeldt, C., 2002, Proceedings of the 2002 ACM Symposium on Document Engineering. Furuta, R., Maletic, J. I., Munson, E., Furuta, R., Maletic, J. I. & Munson, E. (eds.). p. 119-126 8 p. (Proceedings of the 2002 ACM Symposium on Document Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Same, Models and Representation

    Lasersohn, P., 2000, SALT 10: Proceedings of the 10th Semantics and Linguistic Theory Conference. Jackson, B. & Matthews, T. (eds.). Ithaca: Linguistic Society of America, Vol. 10. p. 83-97 (Semantics and Linguistic Theory; vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    Adnominal Conditionals

    Lasersohn, P., 1996, SALT 6: Proceedings of the 6th Semantics and Linguistic Theory Conference. Galloway, T. & Spence, J. (eds.). Linguistic Society of America, p. 154-166 (Semantics and Linguistic Theory; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1993

    Lexical Distributivity and Implicit Arguments

    Lasersohn, P., 1993, SALT 3: Proceedings from the 3rd Semantics and Linguistic Theory Conference. Lahiri, U. & Wyner, A. Z. (eds.). Linguistic Society of America, p. 145-161 (Semantics and Linguistic Theory; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1987

    Collective Nouns and Distributive Determiners

    Lasersohn, P. N., 1987, CLS 23: Papers from the 23rd Annual Regional Meeting of the Chicago Linguistic Society. Need, B., Schiller, E. & Bosch, A. (eds.). Chicago: Chicago Linguistic Society, p. 215-229

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1986

    The Semantics of Appositive and Pseudo-Appositive NP’s

    Lasersohn, P. N., 1986, ESCOL 86: Proceedings of the Third Eastern States Conference on Linguistics. Marshall, F. (ed.). p. 311-322

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution