×

Found 175 Documents (Results 1–100)

Comparing social network dynamic operators. (English) Zbl 07810606

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 66-81 (2023).
MSC:  91D30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bridging the gap between formal semantics and neurolinguistics: the case of the N400 and the LPP. (English) Zbl 07570775

Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 79-112 (2022).
MSC:  91F20
PDFBibTeX XMLCite
Full Text: DOI

The quotient in preorder theories. (English) Zbl 07455750

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 216-233 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Characterizing strongly first order dependencies: the non-jumping relativizable case. (English) Zbl 07453077

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 66-82 (2019).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

What drives people’s choices in turn-taking games, if not game-theoretic rationality? (English) Zbl 1484.91103

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 265-284 (2017).
MSC:  91A90 91A35
PDFBibTeX XMLCite
Full Text: arXiv Link

A formal approach to the problem of logical non-omniscience. (English) Zbl 1483.68377

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 221-235 (2017).
MSC:  68T27 91B24
PDFBibTeX XMLCite
Full Text: arXiv Link

Nash equilibrium and bisimulation invariance. (English) Zbl 1442.68143

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 17, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Natural language processing, moving from rules to data. (English) Zbl 1435.68334

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 24-38 (2017).
MSC:  68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

Preference at first sight. (English) Zbl 1483.68421

Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 207-226 (2016).
PDFBibTeX XMLCite
Full Text: arXiv Link

Do players reason by forward induction in dynamic perfect information games? (English) Zbl 1484.91102

Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 159-175 (2016).
MSC:  91A90 91A26 91A18
PDFBibTeX XMLCite
Full Text: arXiv Link

Dependence and independence in social choice: Arrow’s theorem. (English) Zbl 1429.91156

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 235-260 (2016).
MSC:  91B14 03B60 03B80
PDFBibTeX XMLCite
Full Text: DOI

Games for inclusion logic and fixed-point logic. (English) Zbl 1429.03117

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 73-98 (2016).
MSC:  03B60 91A40
PDFBibTeX XMLCite
Full Text: DOI

Belief contraction in the context of the general theory of rational choice. (English) Zbl 1384.03107

Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 269-302 (2016).
MSC:  03B42 91B06
PDFBibTeX XMLCite
Full Text: DOI Link

Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution. (English) Zbl 1485.03068

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 149-174 (2016).
MSC:  03B65 03B40 91F20
PDFBibTeX XMLCite
Full Text: DOI

Compositional event semantics in pregroup grammars. (English) Zbl 1483.68457

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 99-115 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Overtly anaphoric control in type logical grammar. (English) Zbl 1478.03059

Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 183-199 (2016).
MSC:  03B65 03B47 91F20
PDFBibTeX XMLCite
Full Text: DOI Link

Human strategic reasoning in dynamic games: experiments, logics, cognitive models. (English) Zbl 1471.91079

van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 116-128 (2015).
MSC:  91A90 91A25 91A26
PDFBibTeX XMLCite
Full Text: DOI

Consensus game acceptors. (English) Zbl 1386.68084

Potapov, Igor (ed.), Developments in language theory. 19th international conference, DLT 2015, Liverpool, UK, July 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21499-3/pbk; 978-3-319-21500-6/ebook). Lecture Notes in Computer Science 9168, 108-119 (2015).
MSC:  68Q45 91A12
PDFBibTeX XMLCite
Full Text: DOI

Relating paths in transition systems: the fall of the modal mu-calculus. (English) Zbl 1465.68173

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 179-191 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Logic and complexity in cognitive science. (English) Zbl 1319.91136

Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 787-824 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Word order alternation in Sanskrit via precyclicity in pregroup grammars. (English) Zbl 1408.91185

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 229-249 (2014).
MSC:  91F20
PDFBibTeX XMLCite
Full Text: DOI

Italian clitic patterns in pregroup grammar: state of the art. (English) Zbl 1285.03025

Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 156-171 (2014).
MSC:  03B65 91F20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software