Autor der Publikation

Using Argumentation Logic for Firewall Policy Specification and Analysis.

, , , und . DSOM, Volume 4269 von Lecture Notes in Computer Science, Seite 185-196. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, , und . ???, (???)An Abductive Approach for Handling Inconsistencies in SCR Specifications., , , und . ICSE2000 Workshop on Intelligence Software Engineering, (2000)Learning Weak Constraints in Answer Set Programming., , und . CoRR, (2015)Discrete Reasoning Templates for Natural Language Understanding., , und . EACL (Student Research Workshop), Seite 80-87. Association for Computational Linguistics, (2021)Tensor-Based Abduction in Horn Propositional Programs., , und . ILP Up-and-Coming / Short Papers, Volume 2206 von CEUR Workshop Proceedings, Seite 68-75. CEUR-WS.org, (2018)Learning Invariants through Soft Unification., und . NeurIPS, (2020)PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics., , und . CoRR, (2021)A Unifying Framework for Learning Argumentation Semantics., , , , und . CoRR, (2023)NSL: Hybrid Interpretable Learning From Noisy Raw Data., , , , und . CoRR, (2020)RADON: rational decomposition and orchestration for serverless computing., , , , , , , , , und 4 andere Autor(en). SICS Softw.-Intensive Cyber Phys. Syst., 35 (1-2): 77-87 (2020)