×

Found 30,229 Documents (Results 1–100)

Constraint satisfaction problem: what makes the problem easy. (English) Zbl 07823032

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1530-1552 (2023).
PDFBibTeX XMLCite
Full Text: DOI

The Paris-Harrington principle and second-order arithmetic – bridging the finite and infinite Ramsey theorem. (English) Zbl 07823031

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1504-1528 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Measurable graph combinatorics. (English) Zbl 07823030

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1488-1502 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Ramsey theory of homogeneous structures: current trends and open problems. (English) Zbl 07823029

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1462-1486 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tameness in geometry and arithmetic: beyond o-minimality. (English) Zbl 07823028

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1440-1461 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Mathematics of computation through the lens of linear equations and lattices. (English) Zbl 07821717

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4914-4969 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Generalized neighborhood systems approach for information retrieval systems. (English) Zbl 07820172

Zeidan, Dia (ed.) et al., Mathematics and computation. IACMC 2022. Selected papers based on the presentations at the 7th international Arab conference on mathematics and computations, Zarqa, Jordan, May 11–13, 2022. Singapore: Springer. Springer Proc. Math. Stat. 418, 1-14 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Smooth factors of integers and elliptic curve based factoring with an oracle. (English) Zbl 07819362

Grześkowiak, Maciej (ed.) et al., Number-theoretic methods in cryptology, NuTMiC 22. Selected papers based on the presentations at the 3rd conference, Poznań, Poland, August 2022. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 126, 73-88 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Semantic analysis of subexponential modalities in distributive non-commutative linear logic. (English) Zbl 07818975

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60-70 (2023).
MSC:  03B47 03B65 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multimodality in the hypergraph Lambek calculus. (English) Zbl 07818974

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 46-59 (2023).
MSC:  03B47 03B65 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

DisCoCat for donkey sentences. (English) Zbl 07818973

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 32-45 (2023).
MSC:  03B47 03B65 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A Kripke semantics for Hajek’s BL. (English) Zbl 07818972

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 20-31 (2023).
MSC:  03B47 03B65 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explorations in subexponential non-associative non-commutative linear logic. (English) Zbl 07818971

Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 4-19 (2023).
MSC:  03B47 03B65 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal proof of the strong normalization theorem for system T in Agda. (English) Zbl 07810647

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 81-99 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nominal sets in Agda – a fresh and immature mechanization. (English) Zbl 07810646

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 67-80 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Equational theorem proving for clauses over strings. (English) Zbl 07810645

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49-66 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Analyzing innermost runtime complexity through tuple interpretations. (English) Zbl 07810644

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 34-48 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(ReLo\): a dynamic logic to reason about Reo circuits. (English) Zbl 07810643

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 16-33 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Paraconsistent transition systems. (English) Zbl 07810642

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 3-15 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Knowledge-wh and false belief sensitivity: a logical study (an extended abstract). (English) Zbl 07810638

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

Aggregating credences into beliefs: agenda conditions for impossibility results (extended abstract). (English) Zbl 07810637

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

Mining for unknown unknowns. (English) Zbl 07810636

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

A logic-based analysis of responsibility. (English) Zbl 07810634

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

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

Cognitive bias and belief revision. (English) Zbl 07810632

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, 441-454 (2023).
MSC:  03-XX 68T27
PDFBibTeX XMLCite
Full Text: DOI arXiv

A theory of bounded inductive rationality. (English) Zbl 07810631

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, 421-440 (2023).
MSC:  03-XX 68T27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Exploiting asymmetry in logic puzzles: using ZDDs for symbolic model checking dynamic epistemic logic. (English) Zbl 07810630

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, 407-420 (2023).
MSC:  03-XX 68T27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Epistemic syllogistic: first steps. (English) Zbl 07810629

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

Tableaux for the logic of strategically knowing how. (English) Zbl 07810628

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

Metatickles and death in Damascus. (English) Zbl 07810627

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

Incentive engineering for concurrent games. (English) Zbl 07810626

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, 344-358 (2023).
MSC:  91A20 91B43 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

An acceptance semantics for stable modal knowledge. (English) Zbl 07810625

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

Belief revision from probability. (English) Zbl 07810623

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

System of spheres-based two level credibility-limited revisions. (English) Zbl 07810621

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

Maximizing social welfare in score-based social distance games. (English) Zbl 07810620

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

Satisfiability of arbitrary public announcement logic with common knowledge is \(\Sigma^1_1\)-hard. (English) Zbl 07810619

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

Presumptive reasoning in a paraconsistent setting. (English) Zbl 07810617

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

Joint behavior and common belief. (English) Zbl 07810616

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

On imperfect recall in multi-agent influence diagrams. (English) Zbl 07810615

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

Causal Kripke models. (English) Zbl 07810614

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

Complete conditional type structures (extended abstract). (English) Zbl 07810613

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

Comparing the update expressivity of communication patterns and action models. (English) Zbl 07810612

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

Characterization of AGM belief contraction in terms of conditionals. (English) Zbl 07810611

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

Sequential language-based decisions. (English) Zbl 07810610

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

Epistemic logics of structured intensional groups. (English) Zbl 07810609

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

Implicit knowledge in unawareness structures – extended abstract –. (English) Zbl 07810608

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

Simple axioms for local properties. (English) Zbl 07810607

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

Depth-bounded epistemic logic. (English) Zbl 07810605

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

Resilient information aggregation. (English) Zbl 07810604

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

Strengthening consistency results in modal logic. (English) Zbl 07810602

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

Focus-style proofs for the two-way alternation-free \(\mu \)-calculus. (English) Zbl 07810573

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 318-335 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parallelism in realizability models. (English) Zbl 07810571

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 292-304 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Parameterized complexity of propositional inclusion and independence logic. (English) Zbl 07810570

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 274-291 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey’s update rule. (English) Zbl 07810569

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 256-273 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Validity in choice logics. A game-theoretic investigation. (English) Zbl 07810566

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 211-226 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Structural completeness and superintuitionistic inquisitive logics. (English) Zbl 07810565

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 194-210 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Conditional obligations in justification logic. (English) Zbl 07810564

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 178-193 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

A separation logic with histories of epistemic actions as resources. (English) Zbl 07810563

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 161-177 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

An evidence logic perspective on Schotch-Jennings forcing. (English) Zbl 07810562

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 135-160 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

An axiom system for basic hybrid logic with propositional quantifiers. (English) Zbl 07810561

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 118-134 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Two-layered logics for paraconsistent probabilities. (English) Zbl 07810560

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 101-117 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Effective Skolemization. (English) Zbl 07810558

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 69-82 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

From Gödel’s incompleteness theorem to the completeness of bot beliefs (extended abstract). (English) Zbl 07810556

Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 33-50 (2023).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Valuative lattices and spectra. (English) Zbl 07800905

Chabert, Jean-Luc (ed.) et al., Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19–24, 2021. Cham: Springer. 275-341 (2023).
MSC:  13A18 03F65 14C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Non-iterative Wagner-Hagras general type-2 Mamdani singleton fuzzy logic system optimized by central composite design in quality assurance by image processing. (English) Zbl 07799457

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 201-216 (2023).
MSC:  94A08 03B52
PDFBibTeX XMLCite
Full Text: DOI

Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023).
MSC:  68V15 03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023).
PDFBibTeX XMLCite
Full Text: DOI

An \(O(\sqrt{k})\)-approximation algorithm for minimum power \(k\) edge disjoint \(st\)-paths. (English) Zbl 07787588

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 287-296 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improved complexity analysis of quasi-polynomial algorithms solving parity games. (English) Zbl 07787587

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 275-286 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Structural complexity of rational interactive proofs. (English) Zbl 07787584

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 231-245 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Turning block-sequential automata networks into smaller parallel networks with isomorphic limit dynamics. (English) Zbl 07787583

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 214-228 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On guarded extensions of MMSNP. (English) Zbl 07787582

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 202-213 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software