Search Results

An answer set programming-based implementation of epistemic probabilistic event calculus

• Authors : D'Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke

Subjects: Answer set programming (ASP); Epistemic reasoning; Probabilistic reasoning

• Source: International Journal of Approximate Reasoning , 165 , Article 109101. (2024)

Record details

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

• Authors : McPheat, Lachlan; Sadrzadeh, Mehrnoosh; Wazni, Hadi

• Source: Compositionality , 5 , Article 2. (2023)

Record details

A Calculus for Amortized Expected Runtimes

• Authors : Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter

Subjects: Quantitative verification; randomized data structures; amortized analysis

• Source: Proceedings of the ACM on Programming Languages , 7 (POPL) , Article 67. (2023)

Record details

Decompositions of High-Frequency Helmholtz Solutions via Functional Calculus, and Application to the Finite Element Method

• Authors : Galkowski, J; Lafontaine, D; Spence, EA

Subjects: Helmholtz; FEM; hp-FEM

• Source: SIAM Journal on Mathematical Analysis , 55 (4) pp. 3903-3958. (2023)

Record details

Bracket induction for Lambek calculus with bracket modalities

• Authors : Morrill, G; Kuznetsov, S; Kanovich, M ...

Subjects: Lambek calculus with brackets; bracket induction; categorial grammar

• Source: In: Foret, A and Kobele, G and Pogodalla, S, (eds.) Proceedings of the 23rd International Conference on Formal Grammar (FG 2018). (pp. pp. 84-101). Springer: Berlin, Heidelberg. (2018)

Record details

Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

• Authors : Mcpheat, L; Wijnholds, G; Sadrzadeh, M

• Source: Journal of Cognitive Science , 22 (2) pp. 1-34. (2021)

Record details

A Pre-expectation Calculus for Probabilistic Sensitivity

• Authors : Aguirre, A; Barthe, G; Hsu, J

Subjects: probabilistic programming; verification

• Source: Proceedings of the ACM on Programming Languages , 5 (POPL) , Article 52. (2021)

Record details

Quantitative Strongest Post: A Calculus for Reasoning about the Flow of Quantitative Information

• Authors : Zhang, Linpeng; Kaminski, Benjamin Lucien

Subjects: Incorrectness Logic; Quantitative Verification; Strongest Postcondition

• Source: In: Proceedings of the ACM on Programming Languages. ACM: Association for Computing Machinery (2022) (In press).

Record details

2020 World Society of Emergency Surgery updated guidelines for the diagnosis and treatment of acute calculus cholecystitis

• Authors : Pisano, M; Allievi, N; Gurusamy, K

Subjects: Acute cholecystitis; Antibiotics; Early and delayed cholecystectomy

• Source: World Journal of Emergency Surgery , 15 (1) , Article 61. (2020)

Record details

Categorical vector space semantics for lambek calculus with a relevant modality (extended abstract)

• Authors : McPheat, L; Sadrzadeh, M; Wazni, H ...

• Source: In: Spivak, D and Vicary, J, (eds.) EPTCS 333 Proceedings of the 3rd Annual International Applied Category Theory Conference 2020. (pp. pp. 168-182). EPTCS: Cambridge, MA, USA. (2021)

Record details