Authors: Kidmose, Brooke Elizabeth, Meng, Weizhi
Superior Title: Kidmose , B E & Meng , W 2023 , can-logic: Automotive Intrusion Detection via Temporal Logic . in Proceedings of the 13th International Conference on the Internet of Things . Association for Computing Machinery , pp. 113-120 , 13th International Conference on the Internet of Things , Nagoya , Japan , 07/11/2023 . https://doi.org/10.1145/3627050.3627059
Subject Terms: Automotive, Controller area network, Intrusion detection system, Temporal logic, Metric temporal logic, Monitor
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/df0d2fa2-0059-4c33-b07e-212f0596021d; urn:ISBN:979-8-4007-0854-1
Authors: Gierasimczuk, Nina
Superior Title: Gierasimczuk , N 2023 , Inductive Inference and Epistemic Modal Logic . in Proceedings of the 31st EACSL Annual Conference on Computer Science Logic . vol. 252 , 2 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , 31st EACSL Annual Conference on Computer Science Logic , Warsaw , Poland , 13/02/2023 . https://doi.org/10.4230/LIPIcs.CSL.2023.2
Subject Terms: Computational learning theory, Dynamic epistemic logic, Finite identifiability, Identifiability in the limit, Inductive inference, Modal logic, Topological semantics
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/48d245ba-5ba5-4238-9b45-115280405bb9; urn:ISBN:978-3-95977-264-8
Authors: From, Asta Halkjær
Superior Title: From , A H 2023 , Formally Correct Deduction Methods for Computational Logic . Technical University of Denmark .
Subject Terms: Propositional logic, Henkin-style completeness, Isabelle/HOL
File Description: application/pdf
Availability:
https://orbit.dtu.dk/en/publications/e184af33-f29f-445d-88a3-406cf97faf2c
https://backend.orbit.dtu.dk/ws/files/330349164/Afhandling_Asta_From.pdf
Superior Title: Villadsen , J , From , A H , Jensen , A B & Schlichtkrull , A 2022 , Interactive Theorem Proving for Logic and Information . in Natural Language Processing in Artificial Intelligence . vol. 999 , Springer , Studies in Computational Intelligence , vol. 999 , pp. 25-48 , 13th International Conference on Agents and Artificial Intelligence , 04/02/2021 . https://doi.org/10.1007/978-3-030-90138-7_2
Subject Terms: Epistemic logic, Interactive theorem proving, Isabelle/HOL proof assistant, Propositional logic, Public announcement logic
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/f2502f31-2216-4976-8f4c-353287ac1815; urn:ISBN:978-3-030-90137-0
Authors: Schröer, Philipp, Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Superior Title: Schröer , P , Batz , K , Kaminski , B L , Katoen , J-P & Matheja , C 2023 , ' A Deductive Verification Infrastructure for Probabilistic Programs ' , Proceedings of the ACM on Programming Languages , vol. 7 , no. OOPSLA2 , 294 . https://doi.org/10.1145/3622870
Subject Terms: Deductive verification, Quantitative verification, Probabilistic programs, Weakest preexpectations, Real-valued logics, Automated reasoning
File Description: application/pdf
Authors: From, Asta Halkjær, Villadsen, Jørgen
Superior Title: From , A H & Villadsen , J 2023 , A Naive Prover for First-Order Logic : A Minimal Example of Analytic Completeness . in Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023 . vol. 14278 , Springer , Lecture Notes in Computer Science , pp. 468–480 , 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , Prague , Czech Republic , 18/09/2023 . https://doi.org/10.1007/978-3-031-43513-3_25
Subject Terms: First-Order Logic, Prover, Completeness, Isabelle/HOL
File Description: application/pdf
Superior Title: Henriksen , M M , Larsen , D Ø & Muntal , P L 2023 , ' A Design Methodology for High-Voltage, Highly-Integrated Switched-Capacitor Power Converters, and Implementation at 48 V-12 V, 23 W/cm 3 and 93.5 % Peak Efficiency ' , IEEE Transactions on Power Electronics , vol. 38 , no. 10 , 10159472 , pp. 12254-12264 . https://doi.org/10.1109/TPEL.2023.3288592
Subject Terms: Switches, Capacitors, Logic gates, Topology, Resistance, Clocks, Inductors
File Description: application/pdf
Availability:
https://doi.org/10.1109/TPEL.2023.3288592
https://orbit.dtu.dk/en/publications/e34f9624-bc60-493a-b762-9905a9c6f092
https://backend.orbit.dtu.dk/ws/files/331554177/A_Design_Methodology_for_High_Voltage_Highly_Integrated_Switched_Capacitor_Power_Converters_and_Implementation_at_48nbspV_12nbspV_23nbspW_cm3_and_93.5nbsp_Peak_Efficiency.pdf
Superior Title: Thoft , K B P & Gierasimczuk , N 2024 , Learning by Intervention in Simple Causal Domains . in Proceedings of the 5th International Workshop of Dynamic Logic. New Trends and Applications : DaLí 2023 . vol. 14401 , Springer , pp. 104-118 , Dynamic Logic. New Trends and Applications 2023 , Tbilisi , Georgia , 15/09/2023 . https://doi.org/10.1007/978-3-031-51777-8_7
Subject Terms: Causality, Casual models, Dependence models, Dependence logic, Learning by intervention, Finite identifiability, Artificial intelligence
Relation: https://orbit.dtu.dk/en/publications/a61a9267-6f58-44b4-9f36-20b7024c9040; urn:ISBN:978-3-031-51776-1
Authors: Halkjær, Asta, Jacobsen, Frederik Krogsdal
Contributors: Andronick, June, de Moura, Leonardo
Superior Title: Halkjær , A & Jacobsen , F K 2022 , Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL . in J Andronick & L de Moura (eds) , Proceedings of 13 th International Conference on Interactive Theorem Proving . , 13 , Schloß Dagstuhl , Leibniz International Proceedings in Informatics, LIPIcs , vol. 237 , pp. 13:1--13:22 , 13 th International Conference on Interactive Theorem Proving , Haifa , Israel , 07/08/2022 .
Subject Terms: Completeness, First-Order Logic, Isabelle/HOL, Prover, SeCaV, Soundness
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/ea45d3a4-befb-4830-b078-efc0ad5ea6cc; urn:ISBN:9783959772525
Availability:
https://orbit.dtu.dk/en/publications/ea45d3a4-befb-4830-b078-efc0ad5ea6cc
https://backend.orbit.dtu.dk/ws/files/288244297/LIPIcs_ITP_2022_13.pdf
Authors: From, Asta Halkjær
Contributors: Basold, Henning, Cockx, Jesper, Ghilezan, Silvia
Superior Title: From , A H 2022 , A Succinct Formalization of the Completeness of First-Order Logic . in H Basold , J Cockx & S Ghilezan (eds) , Proceedings of 27 th International Conference on Types for Proofs and Programs . , 8 , Schloß Dagstuhl , Leibniz International Proceedings in Informatics, LIPIcs , vol. 239 , pp. 8:1-8:24 , 27 th International Conference on Types for Proofs and Programs , 14/06/2021 . https://doi.org/10.4230/LIPIcs.TYPES.2021.8
Subject Terms: Completeness, First-Order Logic, Isabelle/HOL
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/f899282d-618b-44dd-aa05-b474a2d9bb38; urn:ISBN:9783959772549
Authors: Astrauskas, Vytautas, Bílý, Aurel, Fiala, Jonáš, Grannan, Zachary, Matheja, Christoph, Müller, Peter, Poli, Federico, Summers, Alexander J.
Contributors: Deshmukh, Jyotirmoy V., Havelund, Klaus, Perez, Ivan
Superior Title: Astrauskas , V , Bílý , A , Fiala , J , Grannan , Z , Matheja , C , Müller , P , Poli , F & Summers , A J 2022 , The Prusti Project : Formal Verification for Rust . in J V Deshmukh , K Havelund & I Perez (eds) , NASA Formal Methods . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13260 LNCS , pp. 88-108 , 14 th International Symposium on NASA Formal Methods , Pasadena , California , ....
Subject Terms: Deductive verification, Rust, Separation logic
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/5dd8818e-c952-4c09-93b2-ea030240954a; urn:ISBN:9783031067723
Superior Title: Barragan-Moreno , A , Izquierdo Gomez , P & Dragicevic , T 2022 , Enhancement of Stress Cycle-counting Algorithms for Li-ion Batteries by means of Fuzzy Logic . in Proceedings of 2022 IEEE Transportation Electrification Conference & Expo (ITEC) . IEEE , 2022 Ieee Transportation Electrification Conference and Expo (itec) , pp. 981-985 , 2022 IEEE Transportation Electrification Conference and Expo , Anaheim , California , United States , 15/06/2022 . https://doi.org/10.1109/ITEC53557.2022.9814022
Subject Terms: Degradation, Diagnosis, Energy storage, Fuzzy logic, Li-ion battery, Load collective, Rainflow, State of health, Stress cycles
File Description: application/pdf
Relation: https://orbit.dtu.dk/en/publications/929e02a1-daac-4207-aebc-41615487e1cd; urn:ISBN:978-1-6654-0561-4
Authors: Jacobsen, Frederik Krogsdal, Villadsen, Jørgen
Superior Title: Jacobsen , F K & Villadsen , J 2022 , Teaching Logic for Computer Science Students: Proof Assistants and Related Tools . in Proceedings of LogTeach-22 . LogTeach-22 , Haifa , Israel , 31/07/2022 .
Subject Terms: Logic, Automated Reasoning, Isabelle Proof Assistant
File Description: application/pdf
Availability:
https://orbit.dtu.dk/en/publications/8d6be745-82d7-49d4-b442-25bfccb784e8
https://backend.orbit.dtu.dk/ws/files/301869139/LogTeach.pdf
Authors: Lund, Simon Tobias, Villadsen, Jørgen
Superior Title: Lund , S T & Villadsen , J 2022 , On Verified Automated Reasoning in Propositional Logic . in Intelligent Information and Database Systems. . Springer , Lecture Notes in Computer Science , vol. 13757 , pp. 390–402 , 14 th Asian Conference on Intelligent Information and Database Systems , Ho Chi Minh City , Viet Nam , 28/11/2022 . https://doi.org/10.1007/978-3-031-21743-2_31
Subject Terms: Logic, Automated Reasoning, Isabelle Proof Assistant
File Description: application/pdf
Authors: Bolander, Thomas, Lequen, Arnaud
Superior Title: Bolander , T & Lequen , A 2022 , ' Parameterized Complexity of Dynamic Belief Updates: A Complete Map ' , Journal of Logic and Computation . https://doi.org/10.1093/logcom/exac010
Subject Terms: Parameterized complexity, Model checking, Dynamic epistemic logic, Plan verification
File Description: application/pdf
Authors: Afrasiabi, Shahabodin, Afrasiabi, Mousa, Parang, Benyamin, Mohammadi, Mohammad, Samet, Haidar, Dragicevic, Tomislav
Superior Title: Afrasiabi , S , Afrasiabi , M , Parang , B , Mohammadi , M , Samet , H & Dragicevic , T 2022 , ' Fast GRNN-Based Method for Distinguishing Inrush Currents in Power Transformers ' , IEEE Transactions on Industrial Electronics , vol. 69 , no. 8 , pp. 8501 - 8512 . https://doi.org/10.1109/TIE.2021.3109535
Subject Terms: Deep learning, Differential protection, Fast gated recurrent neural network (FGRNN), Fault currents, Feature extraction, Inrush current, Internal fault, Logic gates, Power transformers, Real-time systems, Transient analysis
File Description: application/pdf
Superior Title: From , A H , Jensen , A B & Villadsen , J 2021 , Formalized Soundness and Completeness of Epistemic Logic . in Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning . International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning , 03/05/2021 .
Subject Terms: Epistemic Logic, Isabelle/HOL, Formal Proof, Agent Logic
File Description: application/pdf
Availability:
https://orbit.dtu.dk/en/publications/4564df77-d713-4363-a7cd-a9e1eefbe7b4
https://backend.orbit.dtu.dk/ws/files/266397294/Formalized_Soundness.pdf
Superior Title: Occhipinti Liberman , A , Achen , A & Rendsvig , R K 2020 , ' Dynamic term-modal logics for first-order epistemic planning ' , Artificial Intelligence , vol. 286 , 103305 . https://doi.org/10.1016/j.artint.2020.103305
Subject Terms: Epistemic planning, Planning formalisms, Multi-agent systems, Term-modal logic, Dynamic epistemic logic
File Description: application/pdf
Authors: From, Asta Halkjær
Superior Title: From , A H 2020 , ' Hybrid Logic in the Isabelle Proof Assistant: Benefits, Challenges and the Road Ahead ' , Paper presented at Advances in Modal Logic 2020 , 24/08/2020 - 28/08/2020 pp. 23-27 .
Subject Terms: Hybrid logic, Seligman-style tableau, Isabelle/HOL
File Description: application/pdf
Availability:
https://orbit.dtu.dk/en/publications/7dc0d9ed-4d69-4cb4-853d-4c3ec96065ea
https://backend.orbit.dtu.dk/ws/files/236443315/aiml2020_ahfrom.pdf
Authors: From, Asta Halkjær, Villadsen, Jørgen
Superior Title: From , A H & Villadsen , J 2020 , ' A Concise Sequent Calculus for Teaching First-Order Logic ' , Paper presented at Isabelle Workshop 2020 , 30/06/2020 - 30/06/2020 .
Subject Terms: First-Order Logic, Sequent Calculus, Isabelle/HOL
File Description: application/pdf
Availability:
https://orbit.dtu.dk/en/publications/98306e51-5c0e-4048-9ebe-d1b8d514a320
https://backend.orbit.dtu.dk/ws/files/236443090/Isabelle_2020_paper_6.pdf