Publikationer 1995 2019

Filter
Konferencebidrag i proceedings
2018

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, (Accepteret/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2018, .... Springer Nature, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, (Accepteret/In press) BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA: Cascadilla Press

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

The Indian Summer of al-Andalus Mathematics? An Expended Addendum

Høyrup, J., 2018, Actes du XIIe Coloque Maghrébin sur l'Histoire des Mathématiques Arabes. Marrakech, 26 au 28 mai 2016. Laabid, E. (red.). Marrakech: École Normale Supérieure, Marrakech, s. 139-152

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil
2017

What is mathematics? Perspectives inspired by anthropology

Høyrup, J., 2017, The Nature and Development of Mathematics: Cross Disciplinary Perspectives on Cognition, Learning and Culture. Adams, J. W., Barmby, P. & Mesoudi, A. (red.). London & New York: Routledge, s. 179-196

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil
2016

Polite Interactions with Robots

Benotti, L. & Blackburn, P. R., 2016, What Social Robots Can and Should Do: Proceedings of Robophilosophy 2016 / TRANSOR 2016. Seibt, J., Nørskov, M. & Andersen, S. S. (red.). Amsterdam: IOS Press, s. 293-302 10 s. (Frontiers in Artificial Intelligence and Applications, Bind 290).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Berlin: Springer, s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (red.). College Publications, Bind 11, s. 302-321

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2015

Written mathematical traditions in Ancient Mesopotamia: Knowledge, ignorance, and reasonable guesses

Høyrup, J., 2015, Traditions of Written Knowledge in Ancient Egypt and Mesopotamia: Proceedings of Two Workshops Held at Goethe-University, Frankfurt/Main in December 2011 and May 2012. Bawanypeck, D. & Imhausen, A. (red.). Münster: Ugarit-verlag, s. 189-213 (Alter Orient und Altes Testament, Bind AOAT 403).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2014

Toward a Theory for the Design of Human Technologies

Nielsen, J. L., Simonsen, J., Hertzum, M. & Riis, S., 2 dec. 2014, OzCHI '14 Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design. New York: Association for Computing Machinery, 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2013

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (red.). Heidelberg: Springer Publishing Company, s. 147-163 16 s. (Lecture Notes in Computer Science, Bind 8312).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Contextual Validity in Hybrid Logic

Blackburn, P. R. & Jørgensen, K. F., 2013, Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Brezillion, P. & Blackburn, P. (red.). Springer Publishing Company, s. 185-198 14 s. (Lecture Notes in Computer Science, Bind 8175).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Was Babylonian Mathematics Created by `Babylonian Mathematicians´?

Høyrup, J., 2013, Wissenskultur im Alten Orient: Weltanschauung, Wissenschaften, Techniken, Technologien : 4. Internationales Colloquium der Deutschen Orient-Gesellschaft, 20.-22. Februar 2002, Münster. Wiesbaden: Harrassowitz Verlag, s. 105-115 (Colloquien der Deutschen Orient-Gesellschaft, Bind 4).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
2012

Indexical Hybrid Tense Logic

Blackburn, P. R. & Jørgensen, K. F., 2012, Advances in Modal Logic. London, s. 144-160 16 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

'Proportions' in the Liber abbaci

Høyrup, J., 2012, Proportions: Science - Musique - Peinture & Architecture. Rommevaux, S., Vendrix, P. & Zara, V. (red.). Turnhout: Brepols Publishers, s. 83-100 18 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil
2010

A diluted al-Karajî in Abbacus Mathematics

Høyrup, J., 2010, Actes du 10ième Colloque Maghrébin sur l'Histoire des Mathématiques Arabes (Tunis, 29–30–31 mai 2010). Tunis: Association Tunisienne des Sciences Mathématiques, s. 187-198 11 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

Fil

Logical knowledge representation of regulatory relations in biomedical pathways

Zambach, S. & Hansen, J. U., 2010, ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. Khuri, S., Lhotská, L. & Pisanti, N. (red.). Springer, s. 186-200 14 s. (Lecture Notes in Computer Science, Bind 6266).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2008

The Algorithm Concept: Tool for Historiographic Interpretation or Red Herring?

Høyrup, J., 2008, The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. Beckmann, A., Dimitracopoulos, C. & Löwe, B. (red.). Springer, Bind 5028, s. 261-272 12 s. (Lecture Notes in Computer Science, Bind 5028).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

The Tortuous Ways toward a New Understanding of Algebra in the Italian Abbacus School (14th-16th Centuries)

Høyrup, J., 2008, Proceedings of the Joint Meeting of PME 32 and PME-NA XXX. Figueras, O., Cortina, J. L., Alatorre, S., Rojano, T. & Sepúlveda, A. (red.). Cinvestav–UMSNH, Bind 1, s. 1-15 15 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

2006

The Boeing 777: Development Life Cycle Follows Artifact

Jørgensen, N., 2006, Proceedings of the 9th World Conference on Integrated Design and Process Technology (IDPT). CD-Rom, Society of Design and Process Science.. Society for Design and Process Science

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review