Results 21 to 30 of about 6,864,933 (152)
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Estetika, 2020 Starting with Wittgenstein’s remark about his allegedly frequent visits to the performance of Wagner’s 'Die Meistersinger von Nürnberg,' the paper presents Wagner’s opera – being explicitly an opera about rules and rule-following – as a possible stimulus
Vojtěch Kolman
doaj +1 more source
Citizen_Petition_from_Daniel_F Kripke,_MD [PDF]
, 2016 The undersigned, Daniel F. Kripke, M.D., submits this Citizen Petition under the Federal Food, Drug & Cosmetic Act, 21 C.F.R. §§ 10.30, to request that the Commissioner of Food and Drugs take the following administrative actions with respect to the ...
Kripke, DF, Kripke, DF,
core +1 more source
LTL Model Checking Based on Binary Classification of Machine Learning
IEEE Access, 2019 Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking.
Weijun Zhu, Huanmei Wu, Miaolei Deng
doaj +1 more source
Use case to Kripke structure transformation.
, 2020 Use case to Kripke structure transformation.
Muddassar Azam Sindhu (8735385) +2 more
core +1 more source
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria
International Journal of Applied Mathematics and Computer Science, 2015 Consider games where players wish to minimize the cost to reach some state. A subgame-perfect Nash equilibrium can be regarded as a collection of optimal paths on such games.
Góngora Pedro A., Rosenblueth David A.
doaj +1 more source
Use case parameters and Kripke structure.
, 2020 Use case parameters and Kripke structure.
Muddassar Azam Sindhu (8735385) +2 more
core +1 more source
Kripke structure states to use case parameters.
, 2020 Kripke structure states to use case parameters.
Muddassar Azam Sindhu (8735385) +2 more
core +1 more source
Chomsky on Analytic and Necessary Propositions
Phenomenology and Mind, 2017 My aim is to critically discuss Chomsky’s position concerning the analytic-synthetic distinction and necessary propositions. To do so, I present Chomsky’s objection to Quine’s criticism of the analytic-synthetic distinction, and I point out that Chomsky ...
Enrico Cipriani
doaj +1 more source