|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 18 keywords
|
|
|
|
|
Results
Found 68 publication records. Showing 68 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo |
Risk-based security decisions under uncertainty.  |
CODASPY  |
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 | Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo |
Probabilistic Rule Learning in Nonmonotonic Domains. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman |
Policy refinement: Decomposition and operationalization for dynamic domains. |
CNSM |
2011 |
DBLP 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 | Jorge Lobo, 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 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Multi-agent abductive reasoning with confidentiality. |
AAMAS |
2011 |
DBLP 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 | Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda |
Speculative constraint processing for hierarchical agents. |
AI Commun. |
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, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh |
Speculative Abductive Reasoning for Hierarchical Agent Systems. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman |
Decomposition techniques for policy refinement. |
CNSM |
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 | Domenico Corapi, Alessandra Russo, Emil Lupu |
Inductive Logic Programming as Abductive Search. |
ICLP (Technical Communications) |
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 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Distributed abductive reasoning with constraints. |
AAMAS |
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. |
COIN@AAMAS&MALLOW |
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 | 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 | 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 Transactions on 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 | 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 | Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh |
On the Implementation of Speculative Constraint Processing. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu |
Learning Rules from User Behaviour. |
AIAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo |
SAGE: A Logical Agent-Based Environment Monitoring and Control System. |
AmI |
2009 |
DBLP DOI BibTeX RDF |
Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control |
| 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 | Tim Kimber, Krysia Broda, Alessandra Russo |
Induction on Failure: Learning Connected Horn Theories. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
Inverse Entailment, Abductio, Inductive Logic Programming |
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu |
Multi-agent planning with confidentiality. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Learning operational requirements from goal models. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo, 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 | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark |
DARE: a system for distributed abductive reasoning. |
Autonomous Agents and Multi-Agent Systems |
2008 |
DBLP DOI BibTeX RDF |
Distributed inference, Multi-thread Prolog, Abduction |
| 1 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
Deriving Non-zeno Behavior Models from Goal Models Using ILP. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark |
A Dynamic System for Distributed Reasoning. |
AAAI Spring Symposium: Emotion, Personality, and Social Behavior |
2008 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano |
Speech Emotion Classification Using Machine Learning Algorithms. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
emo-db, susas, ETSI ES 202-211 standard, machine learning, speech analysis, emotion classification |
| 1 | Salvatore Casale, Alessandra Russo, Salvatore Serrano |
Multistyle classification of speech under stress using feature subset selection based on genetic algorithms. |
Speech Communication |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arosha K. Bandara, Alessandra Russo, Emil C. Lupu |
Towards Learning Privacy Policies. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou |
Policy refinement for IP differentiated services Quality of Service management. |
IEEE Transactions on Network and Service Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay |
Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo |
Using Argumentation Logic for Firewall Policy Specification and Analysis. |
DSOM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
Inferring operational requirements from scenarios and goal models using inductive learning. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering |
| 1 | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel |
Extracting Requirements from Scenarios with ILP. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William Heaven, Alessandra Russo |
Enhancing the Alloy Analyzer with Patterns of Analysis |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola |
Policy Conflict Analysis for Quality of Service Management. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | William Heaven, Alessandra Russo |
Enhancing the Alloy Analyzer with Patterns of Analysis. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou |
Policy refinement for DiffServ quality of service management. |
Integrated Network Management |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Krysia Broda, Alessandra Russo |
Compiled Labelled Deductive Systems for Access Control. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Oliver Ray, Krysia Broda, Alessandra Russo |
A Hybrid Abductive Inductive Proof Procedure. |
Logic Journal of the IGPL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo |
A Goal-based Approach to Policy Refinement. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo |
Reasoning About Requirements Evolution Using Clustered Belief Revision. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Ray, Krysia Broda, Alessandra Russo |
Generalised Kernel Sets for Inverse Entailment. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Combining abductive reasoning and inductive learning to evolve requirements specifications. |
IEE Proceedings - Software |
2003 |
DBLP BibTeX RDF |
|
| 1 | Arosha K. Bandara, Emil Lupu, Alessandra Russo |
Using Event Calculus to Formalise Policy Specification and Analysis. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Ray, Krysia Broda, Alessandra Russo |
Hybrid Abductive Inductive Learning: A Generalisation of Progol. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo |
Labelled Natural Deduction for Conditional Logics of Normality. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer |
An Abductive Approach for Analysing Event-Based Requirements Specifications. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo |
Making inconsistency respectable in software development. |
Journal of Systems and Software |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
An Analysis-Revision Cycle to Evolve Requirements Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo |
Leveraging Inconsistency in Software Development. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Alessandra Russo |
Using Abduction to Evolve Inconsistent Requirements Specification. |
Australasian J. of Inf. Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | Krysia Broda, Marcelo Finger, Alessandra Russo |
Labelled Natural Deduction for Substructural Logics. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Restructuring requirement specifications. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. (PDF / PS) |
ICRE |
1998 |
DBLP DOI BibTeX RDF |
managing inconsistency, requirement engineering, restructuring |
| 1 | Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo |
Grafting Modalities onto Substructural Implication Systems. |
Studia Logica |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo |
Generalising Propositional Modal Logic Using Labelled Deductive Systems. |
Frontiers of Combining Systems (FroCos) |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fiorella de Rosis, Sebastiano Pizzutilo, Alessandra Russo, Dianne C. Berry, F. Javier Nicolau Molina |
Modeling the User Knowledge by Belief Networks. |
User Model. User-Adapt. Interact. |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #68 of 68 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")