|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 18 keywords
|
|
|
|
|
Results
Found 145 publication records. Showing 144 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Tuckey, Krysia Broda, Alessandra Russo |
Saliency Maps Generation for Automatic Text Summarization.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nuri Cingillioglu, Alessandra Russo |
Learning Invariants through Soft Unification. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Russo, Andy Schürr, Heike Wehrheim |
Editorial. |
Formal Asp. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham White 0002, John Ingham, Mark Law, Alessandra Russo |
Using an ASG Based Generative Policy to Model Human Rules. |
SMARTCOMP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo (eds.) |
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. |
ESEC/SIGSOFT FSE |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo 0001 |
Representing and Learning Grammars in Answer Set Programming. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuri Cingillioglu, Alessandra Russo |
DeepLogic: Towards End-to-End Differentiable Logical Reasoning. |
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering |
2019 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Graham White 0002, Jorge Lobo 0001, John Ingham, Gregory H. Cirincione, Alessandra Russo, Mark Law, Seraphin B. Calo, Irene Manotas, Dinesh C. Verma, Amani Abu Jabal, Daniel Cunnington, Geeth de Mel |
Generative Policies for Coalition Systems - A Symbolic Learning Framework. |
ICDCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo |
Learning Classical Planning Strategies with Policy Gradient. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Logic-Based Learning of Answer Set Programs. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
The complexity and generality of learning answer set programs. |
Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cussens, Alessandra Russo |
Preface to the special issue on inductive logic programming. |
Machine Learning |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo |
Learning Classical Planning Strategies with Policy Gradient. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nuri Cingillioglu, Alessandra Russo |
DeepLogic: End-to-End Logical Reasoning. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Inductive Learning of Answer Set Programs from Noisy Examples. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Dalal Alrajeh, Alessandra Russo |
Logic-Based Learning: Theory and Application. |
Machine Learning for Dynamic Software Analysis |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue |
Learning Commonsense Knowledge Through Interactive Dialogue. |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaniv Aspis, Krysia Broda, Alessandra Russo |
Tensor-Based Abduction in Horn Propositional Programs. |
ILP Up-and-Coming / Short Papers |
2018 |
DBLP BibTeX RDF |
|
| 1 | Seraphin B. Calo, Irene Manotas, Geeth de Mel, Daniel Cunnington, Mark Law, Dinesh C. Verma, Alessandra Russo, Elisa Bertino |
AGENP: An ASGrammar-based GENerative Policy Framework. |
PADG@ESORICS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo, Andy Schürr (eds.) |
Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Optimizing Resource Allocation for Virtualized Network Functions in a Cloud Center Using Genetic Algorithms. |
IEEE Trans. Network and Service Management |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo, Antonio Bucchiarone |
Towards learning domain-independent planning heuristics. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Geeth de Mel, Alessandra Russo, Seraphin B. Calo, Dinesh C. Verma |
Community-based self generation of policies and processes for assets: Concepts and research directions. |
BigData |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cussens, Alessandra Russo (eds.) |
Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016. |
ILP (Short Papers) |
2017 |
DBLP BibTeX RDF |
|
| 1 | James Cussens, Alessandra Russo (eds.) |
Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers |
ILP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, Bashar Nuseibeh |
Learning to share: engineering adaptive decision-support for online social networks. |
ASE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda |
Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. |
COMMONSENSE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda |
Probabilistic abductive logic programming using Dirichlet priors. |
Int. J. Approx. Reasoning |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. |
IEEE Trans. Knowl. Data Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Iterative Learning of Answer Set Programs from Context Dependent Examples. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Iterative Learning of Answer Set Programs from Context Dependent Examples. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller 0002, Alessandra Russo, Holger Voos |
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. |
ICAART (2) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadeel Al-Negheimish, Alessandra Russo |
Reduction of ILP Search Space with Bottom-Up Propositionalisation. |
ILP (Short Papers) |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc |
An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. |
ILP (Short Papers) |
2016 |
DBLP BibTeX RDF |
|
| 1 | Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Risk-driven revision of requirements models. |
ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer |
Logic-based learning in software engineering. |
ICSE (Companion Volume) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gül Çalikli, Mark Law, Arosha K. Bandara, Alessandra Russo, Luke Dickens, Blaine A. Price, Avelie Stuart, Mark Levine, Bashar Nuseibeh |
Privacy dynamics: learning privacy norms for social software. |
SEAMS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Learning Weak Constraints in Answer Set Programming. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Automated support for diagnosis and repair. |
Commun. ACM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Learning weak constraints in answer set programming. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Windhya Rankothge, Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Towards making network function virtualization a cloud computing service. |
IM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Deane, Krysia Broda, Alessandra Russo |
Reasoning in the presence of inconsistency through Preferential ALC. |
LPAR (short papers) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Anna Lavygina, Alessandra Russo, Naranker Dulay |
Integrating Privacy and Safety Criteria into Planning Tasks. |
STM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda |
Probabilistic Abductive Logic Programming using Dirichlet Priors. |
PLP@ICLP |
2015 |
DBLP BibTeX RDF |
|
| 1 | Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Detecting distributed signature-based intrusion: The case of multi-path routing attacks. |
INFOCOM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Naranker Dulay, Anna Lavygina, Annapaola Marconi, Heorhi Raik, Alessandra Russo |
An Approach for Collective Adaptation in Socio-Technical Systems. |
SASO Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Windhya Rankothge, Franck Le, Alessandra Russo, Jorge Lobo 0001 |
Experimental results on the use of genetic algorithms for scaling virtualized network functions. |
NFV-SDN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah Smith, Anna Lavygina, Alessandra Russo, Naranker Dulay |
When did your smartphone bother you last? |
UbiComp Adjunct |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah Smith, Anna Lavygina, Jiefei Ma, Alessandra Russo, Naranker Dulay |
Learning to recognise disruptive smartphone notifications. |
Mobile HCI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh |
Inductive Learning Using Constraint-Driven Bias. |
ILP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Inductive Learning of Answer Set Programs. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay |
Supporting incremental behaviour model elaboration. |
Computer Science - R&D |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Elaborating Requirements Using Model Checking and Inductive Learning. |
IEEE Trans. Software Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Rob Miller 0002, Alessandra Russo, Sebastián Uchitel |
Reasoning about Triggered Scenarios in Logic Programming. |
TPLP |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo 0001 |
A declarative approach to distributed computing: Specification, execution and analysis. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda |
On Minimality and Integrity Constraints in Probabilistic Abduction. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo |
Learning Through Hypothesis Refinement Using Answer Set Programming. |
ILP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue |
Learning revised models for planning in adaptive systems. |
ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak |
Computational alignment of goals and scenarios for complex systems. |
ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo 0001, Alessandra Russo |
Risk-based security decisions under uncertainty. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Dickens, Ian Molloy, Jorge Lobo 0001, Pau-Chen Cheng, Alessandra Russo |
Learning Stochastic Models of Information Flow. |
ICDE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Handling change in normative specifications. |
AAMAS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Handling Change in Normative Specifications. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Franck Le |
Declarative Distributed Computing. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Duangtida Athakravi, Krysia Broda, Alessandra Russo |
Predicate Invention in Inductive Logic Programming. |
ICCSW |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Y. Becker, Alessandra Russo, Nik Sultana |
Foundations of Logic-Based Trust Management. |
IEEE Symposium on Security and Privacy |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel |
Generating obstacle conditions for requirements completeness. |
ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Learning from Vacuously Satisfiable Scenario-Based Specifications. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Normative design using inductive learning |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Normative design using inductive learning. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman |
Refinement of History-Based Policies. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
An Inductive Approach for Modal Transition System Refinement. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Multi-agent Confidential Abductive Reasoning. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Emil Lupu |
Inductive Logic Programming in Answer Set Programming. |
ILP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Markitanis, Domenico Corapi, Alessandra Russo, Emil C. Lupu |
Learning User Behaviours in Real Mobile Domains. |
ILP (Late Breaking Papers) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer |
Integrating Model Checking and Inductive Logic Programming. |
ILP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo 0001, Emil Lupu, Alessandra Russo, Morris Sloman |
Policy refinement: Decomposition and operationalization for dynamic domains. |
CNSM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo |
Probabilistic Rule Learning in Nonmonotonic Domains. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Multi-agent abductive reasoning with confidentiality. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda |
Speculative constraint processing for hierarchical agents. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Deriving non-Zeno behaviour models from goal models using ILP. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo |
Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. |
|
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu |
Distributed Abductive Reasoning with Constraints. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Emil Lupu |
Inductive Logic Programming as Abductive Search. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Maria Maggi, Domenico Corapi, Alessandra Russo, Emil Lupu, Giuseppe Visaggio |
Revising Process Models through Inductive Learning. |
Business Process Management Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Dickens, Krysia Broda, Alessandra Russo |
The Dynamics of Multi-Agent Reinforcement Learning. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo 0001, Emil C. Lupu, Alessandra Russo, Morris Sloman |
Decomposition techniques for policy refinement. |
CNSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh |
Speculative Abductive Reasoning for Hierarchical Agent Systems. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh |
Norm Refinement and Design through Inductive Learning. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh |
Norm Refinement and Design through Inductive Learning. |
COIN@AAMAS&MALLOW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Distributed abductive reasoning with constraints. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Casale, Alessandra Russo, Salvatore Serrano |
Analysis of robustness of attributes selection applied to speech emotion recognition. |
EUSIPCO |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francesco Beritelli, Salvatore Casale, Alessandra Russo, Salvatore Serrano |
Adaptive V/UV Speech Detection Based on Characterization of Background Noise. |
EURASIP J. Audio, Speech and Music Processing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman |
Policy conflict analysis for diffserv quality of service management. |
IEEE Trans. Network and Service Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel |
Using abduction and induction for operational requirements elaboration. |
J. Applied Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo |
Using argumentation logic for firewall configuration management. |
Integrated Network Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara |
Expressive policy analysis with enhanced system dynamicity. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
security, authorization, policies, formal analysis |
| 1 | Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu |
Learning Rules from User Behaviour. |
AIAI |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 144 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license