×

Found 112 Documents (Results 1–100)

Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. (English) Zbl 07815705

Lecture Notes in Computer Science 14401. Cham: Springer (ISBN 978-3-031-51776-1/pbk; 978-3-031-51777-8/ebook). xi, 137 p. (2024).
MSC:  03-06 03B70 00B25
PDFBibTeX XMLCite
Full Text: DOI

An abstract look at awareness models and their dynamics. (English) Zbl 07810633

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, 455-469 (2023).
MSC:  03-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

Collective wind farm operation based on a predictive model increases utility-scale energy production. arXiv:2202.06683

Preprint, arXiv:2202.06683 [math.OC] (2022).
BibTeX Cite
Full Text: arXiv

Thinking about causation: a causal language with epistemic operators. (English) Zbl 07437013

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 17-32 (2020).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

A logical analysis of the interplay between social influence and friendship selection. (English) Zbl 1496.03139

Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 71-87 (2020).
PDFBibTeX XMLCite
Full Text: DOI

A formal model for explicit knowledge as awareness-of plus awareness-that. (English) Zbl 1505.03043

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 101-115 (2019).
MSC:  03B42
PDFBibTeX XMLCite

Towards a logical formalisation of Theory of Mind: a study on false belief tasks. (English) Zbl 07160618

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 297-312 (2019).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A logical and empirical study of right-nested counterfactuals. (English) Zbl 07160615

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 259-272 (2019).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Bipolar argumentation frameworks, modal logic and semantic paradoxes. (English) Zbl 07160612

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 214-229 (2019).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI Link

A logical perspective on social group creation. (English) Zbl 1418.03145

Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 271-288 (2018).
MSC:  03B80 03B42 91D30
PDFBibTeX XMLCite

Reconsidering the ‘ingredients’ of explicit knowledge. (English) Zbl 1418.03048

Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 47-60 (2018).
MSC:  03B42
PDFBibTeX XMLCite

Beliefs based on evidence and argumentation. (English) Zbl 1509.68248

Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10944, 289-306 (2018).
MSC:  68T27 03B42
PDFBibTeX XMLCite
Full Text: DOI

The creation and change of social networks: a logical study based on group size. (English) Zbl 1499.91080

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 171-184 (2018).
MSC:  91D30 03B42 03B80
PDFBibTeX XMLCite
Full Text: DOI

Dynamic epistemic logics of introspection. (English) Zbl 1499.03013

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 82-97 (2018).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: DOI

Argument-based belief in topological structures. (English) Zbl 1483.68386

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, 489-503 (2017).
MSC:  68T27 03B42
PDFBibTeX XMLCite
Full Text: arXiv Link

How to make friends: a logical approach to social group creation. (English) Zbl 1495.91097

Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 377-390 (2017).
MSC:  91D30 03B42
PDFBibTeX XMLCite
Full Text: DOI

A note on reliability-based preference dynamics. (English) Zbl 1471.91137

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, 129-142 (2015).
MSC:  91B14 91B08
PDFBibTeX XMLCite
Full Text: DOI

Tableaux for non-normal public announcement logic. (English) Zbl 1304.03047

Banerjee, Mohua (ed.) et al., Logic and its applications. 6th Indian conference, ICLA 2015, Mumbai, India, January 8–10, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-45823-5/pbk). Lecture Notes in Computer Science 8923, 132-145 (2015).
MSC:  03B42 68Q17 68T15
PDFBibTeX XMLCite
Full Text: DOI HAL

Pairwise and global dependence in trivariate copula models. (English) Zbl 1420.62229

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 243-251 (2014).
MSC:  62H05 62H20
PDFBibTeX XMLCite
Full Text: DOI

Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\). (English) Zbl 1432.68449

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 253-266 (2014).
MSC:  68T27 03B42
PDFBibTeX XMLCite
Full Text: DOI

Computer aided systems theory – EUROCAST 2011. 13th international conference, Las Palmas de Gran Canaria, Spain, February 6–11, 2011. Revised selected papers, Part II. (English) Zbl 1233.93003

Lecture Notes in Computer Science 6928. Berlin: Springer (ISBN 978-3-642-27578-4/pbk). xxvi, 637 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Computer aided systems theory – EUROCAST 2011. 13th international conference, Las Palmas de Gran Canaria, Spain, February 6–11, 2011. Revised selected papers, Part I. (English) Zbl 1233.68024

Lecture Notes in Computer Science 6927. Berlin: Springer (ISBN 978-3-642-27548-7/pbk). xxv, 637 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

A qualitative approach to uncertainty. (English) Zbl 1303.03040

Banerjee, Mohua (ed.) et al., Logic and its applications. 4th Indian conference, ICLA 2011, Delhi, India, January 5–11, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18025-5/pbk). Lecture Notes in Computer Science 6521. Lecture Notes in Artificial Intelligence, 90-104 (2010).
MSC:  03B42 68T27 68T37
PDFBibTeX XMLCite
Full Text: DOI

Dynamic logics for explicit and implicit information. (English) Zbl 1196.03026

He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 325-326 (2009).
MSC:  03B42 68T27 68T42
PDFBibTeX XMLCite
Full Text: DOI

Twelve angry men: A study on the fine-grain of announcements. (English) Zbl 1196.03019

He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 147-160 (2009).
MSC:  03B42 03A05
PDFBibTeX XMLCite
Full Text: DOI

Learning and teaching as a game: A sabotage approach. (English) Zbl 1196.03034

He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 119-132 (2009).
MSC:  03B45 68Q32 91A43
PDFBibTeX XMLCite
Full Text: DOI

Computer aided systems theory – EUROCAST 2009. 12th international conference, Las Palmas de Gran Canaria, Spain, February 15–20, 2009. Revised selected papers. (English) Zbl 1173.68313

Lecture Notes in Computer Science 5717. Berlin: Springer (ISBN 978-3-642-04771-8/pbk). xvii, 950 p. (2009).
PDFBibTeX XMLCite
Full Text: DOI

Expressing belief flow in assertion networks. (English) Zbl 1236.03009

Bosch, Peter (ed.) et al., Logic, language, and computation. 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00664-7/pbk). Lecture Notes in Computer Science 5422. Lecture Notes in Artificial Intelligence, 124-138 (2009).
MSC:  03A05 03B42 03B60
PDFBibTeX XMLCite
Full Text: DOI

Computer aided systems theory – EUROCAST 2007. 11th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 12–16, 2007. Revised selected papers. (English) Zbl 1141.68324

Lecture Notes in Computer Science 4739. Berlin: Springer (ISBN 978-3-540-75866-2/pbk). xix, 1233 p. (2007).
PDFBibTeX XMLCite
Full Text: DOI

The discrete Pólya algorithm on finite spaces. (El algoritmo de Pólya discreto en espacios finitos.) (Spanish. English summary) Zbl 1146.41010

Jiménez Pozo, Miguel Antonio (ed.) et al., Tópicos de teoría de la aproximación II. Puebla: Benemérita Universidad Autónoma de Puebla (ISBN 978-968-9282-41-2/pbk). 49-72 (2007).
MSC:  41A50
PDFBibTeX XMLCite

Computer aided systems theory – EUROCAST 2005. 10th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7–11, 2005. Revised selected papers. (English) Zbl 1084.93002

Lecture Notes in Computer Science 3643. Berlin: Springer (ISBN 3-540-29002-8/pbk). xiv, 629 p. (2005).
PDFBibTeX XMLCite
Full Text: DOI

What are copulas? (English) Zbl 1038.60011

Madaune-Tort, M. (ed.) et al., 7th Zaragoza-Pau conference on applied and statistical mathematics, Jaca (Huesca), September 17–18, 2001. Zaragoza: Univ. de Zaragoza, Seminario Matemático “García de Galdeano” (ISBN 84-96214-04-4/pbk). Monogr. Semin. Mat. “García de Galdeano” 27, 499-506 (2003).
MSC:  60E05 62H05 62H20
PDFBibTeX XMLCite

Some new properties of quasi-copulas. (English) Zbl 1135.62339

Cuadras, Carles M. (ed.) et al., Distributions with given marginals and statistical modelling. Papers presented at the meeting, Barcelona, Spain, July 17–20, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0914-3/hbk). 187-194 (2002).
MSC:  62H05 60E05 62E17
PDFBibTeX XMLCite

Multivariate Archimedean quasi-copulas. (English) Zbl 1135.62338

Cuadras, Carles M. (ed.) et al., Distributions with given marginals and statistical modelling. Papers presented at the meeting, Barcelona, Spain, July 17–20, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0914-3/hbk). 179-185 (2002).
MSC:  62H05 60E05
PDFBibTeX XMLCite

Some properties of linear positive operators defined in terms of finite differences. (English) Zbl 1049.41017

Gasca, Mariano (ed.), Multivariate approximation and interpolation with applications. Proceedings of the 6th international workshop, MAIA 2001, Almuñécar, Spain, September 10–14, 2001. Zaragoza: Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza. Monogr. Acad. Cienc. Exactas Fís. Quím. Nat. Zaragoza 20, 87-96 (2002).
MSC:  41A36 41A30
PDFBibTeX XMLCite

Biologically based CAST-mechanism for visual motion analysis. (English) Zbl 1023.68825

Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 316-327 (2001).
MSC:  68U99 68T45
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field