Authors: GUFFANTI, Francesca
Superior Title: Theory and Applications of Categories (2024)
Subject Terms: Mathematics - Category Theory, Mathematics - Logic, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques
Relation: urn:issn:1201-561X; https://orbilu.uni.lu/handle/10993/60173; info:hdl:10993/60173; https://orbilu.uni.lu/bitstream/10993/60173/1/2310.08380.pdf; arXiV:2310.08380v2
Authors: ALECCI, Marco, SAMHI, Jordan, LI, Li, BISSYANDE, Tegawendé François d Assise, KLEIN, Jacques
Superior Title: IEEE Transactions on Dependable and Secure Computing (2024)
Subject Terms: Logic Bomb, Malware, Android Security, Static Analysis, Clustering, Anomaly Detection, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: FNR16344458 - Pre And Post Processing For Comprehensive And Practical Android App Static Analysis, 2021 (01/07/2022-30/06/2025) - Jacques Klein; urn:issn:1545-5971; urn:issn:1941-0018; https://orbilu.uni.lu/handle/10993/60053; info:hdl:10993/60053; https://orbilu.uni.lu/bitstream/10993/60053/1/Improving_Logic_Bomb_Identification_in_Android_Apps_via_Context-Aware_Anomaly_Detection.pdf; scopus-id:2-s2.0-85184002326
Authors: Kurz, Alexander, POIGER, Wolfgang
Superior Title: urn:isbn:978-3-9597728-7-7 ; 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, 17 (2023-09); CALCO 2023, Bloomington, Usa [Usa], 19-06-2023 => 21-06-2023
Subject Terms: algebraic semantics, coalgebraic modal logic, many-valued logic, presenting functors, primal algebras, Algebraic semantic, Coalgebraic, Coalgebraic logic, Functors, Modal logic, Presenting functor, Truth degree, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://orbilu.uni.lu/handle/10993/57051; info:hdl:10993/57051; https://orbilu.uni.lu/bitstream/10993/57051/1/LIPIcs-CALCO-2023-17.pdf; scopus-id:2-s2.0-85171249225
Authors: Knoks, Aleks
Superior Title: Review of Symbolic Logic, 16 (3), 740–87 (2023-08-25)
Subject Terms: Disagreement, Conciliationism, Self-defeat, Abstract argumentation theory, Defeasible logic, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/abs/conciliatory-reasoning-selfdefeat-and-abstract-argumentation/10E6FB69B25EAD5AD406B7221AA38FE2; urn:issn:1755-0211; https://orbilu.uni.lu/handle/10993/49577; info:hdl:10993/49577; https://orbilu.uni.lu/bitstream/10993/49577/1/CV-SD-AA.pdf; scopus-id:2-s2.0-85120908629; wos:000742223600001
Authors: KNOKS, Aleks, STREIT, David D
Superior Title: Deontic Logic and Normative Systems: 16th International Conference (DEON2023), 119–37 (2023-07-05); Deontic Logic and Normative Systems: 16th International Conference (DEON2023), Trois-Rivieres, Canada [CA], July 7--9, 2023
Subject Terms: reasons, dual-role approaches, defeasible logic, supererogation, all or nothing problem, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://orbilu.uni.lu/handle/10993/58134; info:hdl:10993/58134; https://orbilu.uni.lu/bitstream/10993/58134/1/Beyond-reasons.pdf
Authors: Abidi, Abdelhamid, LIBAL, Tomer
Superior Title: Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (2022-12-14); Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022), December 14, 2022
Subject Terms: legal science, legal representation, binary tree, interpretation Automated Driving, Traffic Rules, Formalization Traffic Rules, Norms, Defeasible Deontic Logic Legal formalization, Knowledge representation, Domain specific languages Logic of Norms, Deontic Logic, Legal Logic, Formalisation of Traffic Rules Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Logical English Systematic Compilation of Implicit Norms, Autonomous Driving, Formalization of Legal Norms, Traffic Law Legal ontology, Autonomous vehicle, Legal detection, Argumentation theory, Explainable AI Semantic model, legal maintenance, industrial maintenance, Engineering, computing & technology, Computer science, Ingénierie
Relation: https://orbilu.uni.lu/handle/10993/59984; info:hdl:10993/59984; https://orbilu.uni.lu/bitstream/10993/59984/1/_2305.12203.pdf
Authors: Knoks, Aleks
Superior Title: Synthese, 200 (2), 1-23 (2022-04-15)
Subject Terms: Disagreement, Epistemic peer, Conciliationism, Self-undermining, Defeasible logic, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://doi.org/10.1007/s11229-022-03503-6; urn:issn:0039-7857; https://orbilu.uni.lu/handle/10993/50870; info:hdl:10993/50870; https://orbilu.uni.lu/bitstream/10993/50870/1/CV-HOD-DL.pdf; scopus-id:2-s2.0-85128257991; wos:000783209800033
Contributors: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Trustworthy Software Engineering (TruX)
Superior Title: 44th International Conference on Software Engineering (ICSE 2022) (2022-05-21); 44th International Conference on Software Engineering (ICSE 2022), Pittsburgh, United States [US], from 21-05-2022 to 29-05-2022
Subject Terms: Static Analysis, Android Security, Logic Bomb, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://www.computer.org/csdl/proceedings-article/icse/2022/922100a723/1EmrYyZvxCM; FNR14596679 - Dissecting Android Applications Using Static Analysis, 2020 (01/03/2020-31/10/2023) - Jordan Samhi; https://orbilu.uni.lu/handle/10993/49268; info:hdl:10993/49268; https://orbilu.uni.lu/bitstream/10993/49268/1/difuzer_preprint.pdf; scopus-id:2-s2.0-85127271898
Authors: Dawes, Joshua, Bianculli, Domenico
Contributors: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Superior Title: Proceedings of the 18th International Conference on Formal Aspects of Component Software (2022-11); 18th International Conference on Formal Aspects of Component Software, from 10-11-2022 to 11-11-2022
Subject Terms: specification language, temporal logic, cyber-physical systems, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: info:eu-repo/grantAgreement/EC/H2020/957254; https://orbilu.uni.lu/handle/10993/52185; info:hdl:10993/52185; https://orbilu.uni.lu/bitstream/10993/52185/1/camera-ready.pdf
Contributors: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Trustworthy Software Engineering (TruX)
Superior Title: 19th International Conference on Mining Software Repositories, Data Showcase, (MSR 2022) (2022-05-23); 19th International Conference on Mining Software Repositories, Data Showcase, (MSR 2022), Pittsburgh, United States [US], From 23/05/2022 to 24/05/2022
Subject Terms: Dataset, Android Security, Logic bomb, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://www.computer.org/csdl/proceedings-article/msr/2022/930300a459/1Eo6084ojde; FNR14596679 - Dissecting Android Applications Using Static Analysis, 2020 (01/03/2020-31/10/2023) - Jordan Samhi; https://orbilu.uni.lu/handle/10993/50528; info:hdl:10993/50528; https://orbilu.uni.lu/bitstream/10993/50528/1/paper.pdf; scopus-id:2-s2.0-85134077266
Authors: Samhi, Jordan, Bartel, Alexandre
Contributors: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other
Superior Title: IEEE Transactions on Dependable and Secure Computing (2021-08)
Subject Terms: Logic bomb, Android Security, Static Analysis, Malware, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://ieeexplore.ieee.org/document/9524530; FNR14596679 - Dissecting Android Applications Using Static Analysis, 2020 (01/03/2020-31/10/2023) - Jordan Samhi; urn:issn:1941-0018; https://orbilu.uni.lu/handle/10993/48098; info:hdl:10993/48098; https://orbilu.uni.lu/bitstream/10993/48098/1/paper.pdf; scopus-id:2-s2.0-85113897255; wos:000881987900017
Authors: Knoks, Aleks
Superior Title: Ergo, An Open Access Journal of Philosophy, 8 (6), 141-174 (2021-12-13)
Subject Terms: Epistemic normativity, Higher-order evidence, Rationality ideals, Defeasible logic, Epistemic dilemmas, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://journals.publishing.umich.edu/ergo/article/id/1143/; urn:issn:2330-4014; https://orbilu.uni.lu/handle/10993/48986; info:hdl:10993/48986; https://orbilu.uni.lu/bitstream/10993/48986/1/_ergo-1143-knoks.pdf; wos:000731352200001
Authors: Steen, Alexander, Benzmüller, Christoph
Superior Title: Journal of Automated Reasoning, 65, 775-807 (2021-03-27)
Subject Terms: Automated Theorem Proving, Higher-Order Logic, Automated Reasoning, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://rdcu.be/chCsq; urn:issn:1573-0670; https://orbilu.uni.lu/handle/10993/46727; info:hdl:10993/46727; https://orbilu.uni.lu/bitstream/10993/46727/1/main.pdf; scopus-id:2-s2.0-85103428398; wos:000633733500001
Contributors: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Superior Title: Journal of Systems and Software, 174, 110881 (2021-04)
Subject Terms: signals, signal-based properties, temporal logic, taxonomy, cyber-physical systems, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: info:eu-repo/grantAgreement/EC/H2020/694277; urn:issn:0164-1212; urn:issn:1873-1228; https://orbilu.uni.lu/handle/10993/44916; info:hdl:10993/44916; https://orbilu.uni.lu/bitstream/10993/44916/1/main.pdf; scopus-id:2-s2.0-85098205883; wos:000618555900001
Authors: de Wit, Vincent, Doder, Dragan, Meyer, John Jules
Superior Title: IfCoLog Journal of Logics and Their Applications (2023)
Subject Terms: Monadic Deontic Logic, Normative Reasoning, Probabilistic Logic, Completeness, Decidability, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: urn:issn:2055-3714; https://orbilu.uni.lu/handle/10993/54011; info:hdl:10993/54011
Availability: https://orbilu.uni.lu/handle/10993/54011
Contributors: Herzig, Andreas, Jieting, Luo, PARDO VENTURA, Pere
Subject Terms: Logic, Formal Argumentation, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: Lecture Notes in Artificial Intelligence; https://link.springer.com/content/pdf/10.1007/978-3-031-40875-5.pdf; https://orbilu.uni.lu/handle/10993/58138; info:hdl:10993/58138; urn:isbn:978-3-03-140875-5; urn:isbn:978-3-03-140874-8
Authors: Benzmüller, Christoph, Farjami, Ali, Parent, Xavier
Superior Title: MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg [LU], 17-09-2018
Subject Terms: Dyadic deontic logic E, Preference models, Classical higher-order logic, Semantic embedding, Automated reasoning, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: info:eu-repo/grantAgreement/EC/H2020/690974; https://orbilu.uni.lu/handle/10993/37014; info:hdl:10993/37014; https://orbilu.uni.lu/bitstream/10993/37014/1/System%20E%20final.pdf
Authors: Teheux, Bruno, Kurz, Alexander
Superior Title: Advances in Modal Logic (AIML) 2018, Bern, Switzerland [CH], from 27-08-2018 to 31-08-2018
Subject Terms: modal logic, Łukasiewicz logic, coalgebras, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques
Relation: https://orbilu.uni.lu/handle/10993/36465; info:hdl:10993/36465; https://orbilu.uni.lu/bitstream/10993/36465/1/AAA_Teheux_June_2018.pdf
Contributors: Benzmüller, Christoph, Otten, Jens
Superior Title: CEUR Workshop Proceedings, 2095, 100 (2018-06-25)
Subject Terms: Automated Reasoning, Non-Classical Logics, Quantified Logics, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: http://ceur-ws.org/Vol-2095/index.html; urn:issn:1613-0073; https://orbilu.uni.lu/handle/10993/37465; info:hdl:10993/37465; https://orbilu.uni.lu/bitstream/10993/37465/1/ARQNL2018_CEUR_Proceedings-2.pdf
Authors: Benzmüller, Christoph, Scott, Dana
Superior Title: Journal of Automated Reasoning (2019-01-01)
Subject Terms: Category Theory, Free Logic, Higher-Order Logic, Semantical Embedding, Universal Reasoning, Automated Reasoning, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: http://dx.doi.org/10.13140/RG.2.2.11432.83202; urn:issn:1573-0670; https://orbilu.uni.lu/handle/10993/37593; info:hdl:10993/37593; https://orbilu.uni.lu/bitstream/10993/37593/1/article.pdf; scopus-id:2-s2.0-85059445669; wos:000511908600003