 | 2011 |
|---|
| 12 |       | Nikos Gorogiannis,
Max I. Kanovich,
Peter W. O'Hearn:
The Complexity of Abduction for Separated Heap Abstractions.
SAS 2011: 25-42 |
| 11 | | Nikos Gorogiannis,
Anthony Hunter:
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.
Artif. Intell. 175(9-10): 1479-1497 (2011) |
| 2010 |
|---|
| 10 | | Robin Hirsch,
Nikos Gorogiannis:
The Complexity of the Warranted Formula Problem in Propositional Argumentation.
J. Log. Comput. 20(2): 481-499 (2010) |
| 2009 |
|---|
| 9 | | Nikos Gorogiannis,
Anthony Hunter,
Vivek Patkar,
Matthew Williams:
Argumentation about Treatment Efficacy.
KR4HC 2009: 169-179 |
| 8 | | Nikos Gorogiannis,
Anthony Hunter,
Matthew Williams:
An argument-based approach to reasoning with clinical knowledge.
Int. J. Approx. Reasoning 51(1): 1-22 (2009) |
| 2008 |
|---|
| 7 | | Nikos Gorogiannis,
Anthony Hunter:
Merging First-Order Knowledge Using Dilation Operators.
FoIKS 2008: 132-150 |
| 6 | | Nikos Gorogiannis,
Anthony Hunter:
Implementing semantic merging operators using binary decision diagrams.
Int. J. Approx. Reasoning 49(1): 234-251 (2008) |
| 2007 |
|---|
| 5 | | Nikos Gorogiannis,
Mark Ryan:
Minimal refinements of specifications in model and termporal logics.
Formal Asp. Comput. 19(1): 35-62 (2007) |
| 4 | | Nikos Gorogiannis,
Mark Ryan:
Minimal refinements of specifications in modal and temporal logics.
Formal Asp. Comput. 19(2): 273 (2007) |
| 3 | | Nikos Gorogiannis,
Mark Ryan:
Minimal refinements of specifications in modal and temporal logics.
Formal Asp. Comput. 19(4): 417-444 (2007) |
| 2002 |
|---|
| 2 | | Nikos Gorogiannis,
Mark Ryan:
Requirements, specifications, and minimal refinement.
Electr. Notes Theor. Comput. Sci. 67: 218-232 (2002) |
| 1 | | Nikos Gorogiannis,
Mark Ryan:
Implementation of Belief Change Operators Using BDDs.
Studia Logica 70(1): 131-156 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page