Výsledky vyhledávání - "Theory of computation → Modal and temporal logics"
-
1
Autoři:
Přispěvatelé:
Témata: Theory of computation Keywords and phrases Cryptography, Sequent Calculus Digital Object Identifier 10.4230/LIPIcs.CSL.2025.24, Theory of computation Keywords and phrases Cryptography Modal Logic Sequent Calculus Digital Object Identifier 10.4230/LIPIcs.CSL.2025.24, Theory of computation → Proof theory, Sequent Calculus, 2012 ACM Subject Classification Security and privacy → Formal methods and theory of security, Modal Logic, Cryptography, Security and privacy → Formal methods and theory of security, Theory of computation → Modal and temporal logics, [INFO] Computer Science [cs], ddc:004
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: safety, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logic, computational complexity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], databases, Computing methodologies → Logical and relational learning, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], General and reference → Surveys and overviews, Computing methodologies → Machine learning approaches, machine learning, Computing methodologies → Artificial intelligence, learning theory, Theory of computation → Models of learning, Theory of computation → Constraint and logic programming, Theory of computation → Modal and temporal logics, verification
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-04774430 ; 2024.
Témata: 2012 ACM Subject Classification Theory of computation → Modal and temporal logics Theory of computation → Regular languages Theory Positive logic, LTL, separation, first-order, monotone Digital Object Identifier 10.4230/LIPIcs.CVIT.2016.23, 2012 ACM Subject Classification Theory of computation → Modal and temporal logics, Theory of computation → Regular languages, Theory Positive logic, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2406.17693; ARXIV: 2406.17693
-
4
Autoři: a další
Přispěvatelé: a další
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, epistemic logics, Mathematics - Logic, 16. Peace & justice, Logic in Computer Science (cs.LO), hypergraphs, Modal logics, FOS: Mathematics, F.4.1, [INFO]Computer Science [cs], Computer Science - Multiagent Systems, Theory of computation → Modal and temporal logics, multi-agent systems, ddc:004, Logic (math.LO), Multiagent Systems (cs.MA)
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: 33rd International Conference on Concurrency Theory, {CONCUR} 2022, LIPIcs
33rd International Conference on Concurrency Theory (CONCUR 2022)
https://hal.science/hal-03770358
33rd International Conference on Concurrency Theory (CONCUR 2022), Sep 2022, Warszawa, Poland. pp.28:1-28:19, ⟨10.4230/LIPIcs.CONCUR.2022.28⟩Témata: Theory of computation → Algebraic language theory phrases Mazurkiewicz traces, propositional dynamic logic, regular trace languages, asynchronous automata, cascade product, Krohn Rhodes theorem, Theory of computation → Modal and temporal logics, 2012 ACM Subject Classification Theory of computation → Concurrency, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: FSTTCS 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; https://cnrs.hal.science/hal-04047617 ; FSTTCS 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2022, Madras, India. pp.162 - 177, ⟨10.4230/LIPIcs.FSTTCS.2022.31⟩
Témata: Delay games, Strategic reasoning, Temporal logic, 2012 ACM Subject Classification Theory of computation → Modal and temporal logics, Theory of computation → Logic and verification, Theory of computation → Automata over infinite objects phrases Temporal dependency, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: India
Time: Madras, India
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: 32nd International Conference on Concurrency Theory
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, information flow, hyperproperties, alternating-time temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 7. Clean energy, model checking, Logic in Computer Science (cs.LO), temporal logic, 0202 electrical engineering, electronic engineering, information engineering, F.4.1, Theory of computation → Modal and temporal logics, multi-agent systems, ddc:004, asynchronous hyperproperties
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/2107.02509
https://arxiv.org/abs/2107.02509
https://drops.dagstuhl.de/opus/volltexte/2021/14401/
https://dblp.uni-trier.de/db/journals/corr/corr2107.html#abs-2107-02509
https://drops.dagstuhl.de/opus/volltexte/2021/14401/pdf/LIPIcs-CONCUR-2021-24.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.24 -
8
Autoři: a další
Přispěvatelé: a další
Zdroj: 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Témata: Software engineering, Computer logic, Computer software -- Verification, Software and its engineering → Formal software verification, monitorability, runtime verification, Theory of computation → Modal and temporal logics, Object monitors (Computer software), ddc:004, branching-time logics
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 1st International Conference on Internet of Things and Machine Learning. :1-7
Témata: Health informatics, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], 0209 industrial biotechnology, Decision support system in medicine, • Applied computing → Health care infor- mation systems, PHD, CCS CONCEPTS • Theory of computation → Modal and temporal logics, 02 engineering and technology, Diagnosis, 0202 electrical engineering, electronic engineering, information engineering, Clin- ical model, PHD Student KEYWORDS Fuzzy vectorial space, Human Trace Complex Digital Campus † MD, • Computing methodologies → Vagueness and fuzzy logic, Emotion, cardiologist, [SDV.MHEP] Life Sciences [q-bio]/Human health and pathology, Prognosis, Tem- poral reasoning, 3. Good health, Fuzzy logic, Unitwin UNESCO Complex System, MD, Care relationship, Therapy, [SHS] Humanities and Social Sciences
Přístupová URL adresa: https://hal.science/hal-03451219v1
https://doi.org/10.1145/3109761.3109790
https://hal.science/hal-02435860v1
https://doi.org/10.1145/3109761.3109790
https://dl.acm.org/doi/10.1145/3109761.3109790
https://dblp.uni-trier.de/db/conf/iml/iml2017.html#CollocYSSPA17
https://hal.archives-ouvertes.fr/hal-02435860 -
10
Autoři: a další
Přispěvatelé: a další
Zdroj: MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science
Témata: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, Formal Languages and Automata Theory (cs.FL), 4. Education, 1. No poverty, Computer Science - Formal Languages and Automata Theory, Logic in Computer Science (cs.LO), linear-time logic, 8. Economic growth, nominal sets, Theory of computation → Modal and temporal logics, ddc:004
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer and information sciences, D.2.4, Linear temporal logic, 0102 computer and information sciences, Computational Complexity (cs.CC), Theory of computation → Logic and verification, 01 natural sciences, F.4.1, Model Checking, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, Expressivity, Theory of computation → Modal and temporal logics, ddc:004, 0101 mathematics, Hyperproperties
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; https://polytechnique.hal.science/hal-04451517 ; Leibniz International Proceedings in Informatics , 2024, ⟨10.4230/LIPIcs.CSL.2024.30⟩
Témata: Modal logics, epistemic logics, multi-agent systems, hypergraphs, Theory of computation → Modal and temporal logics, [INFO]Computer Science [cs]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: LIPICS ; STACS ; https://polytechnique.hal.science/hal-04451546 ; STACS, Mar 2022, Marseille, France. ⟨10.4230/LIPIcs.STACS.2022.33⟩
Témata: Epistemic logic, Simplicial complexes, Distributed computing, Theory of computation → Modal and temporal logics, [INFO]Computer Science [cs]
Nájsť tento článok vo Web of Science