Items where Author / Artist / Editor is "Gorogiannis, Nikos"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 22.

Article

Vannucchi, Claudia and Diamanti, Michelangelo and Mazzante, Gianmarco and Cacciagrano, Diletta and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668

Gorogiannis, Nikos and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10). pp. 1479-1497. ISSN 0004-3702

Gorogiannis, Nikos and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10). pp. 1479-1497. ISSN 00043702

Hirsch, R. and Gorogiannis, Nikos (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2). pp. 481-499. ISSN 0955-792X

Gorogiannis, Nikos and Hirsch, Robin (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2). pp. 481-499. ISSN 0955-792X

Gorogiannis, Nikos and Hunter, Anthony and Williams, Matthew (2009) An argument-based approach to reasoning with clinical knowledge. International Journal of Approximate Reasoning, 51 (1). pp. 1-22. ISSN 0888613X

Gorogiannis, Nikos and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1). pp. 234-251. ISSN 0888-613X

Gorogiannis, Nikos and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1). pp. 234-251. ISSN 0888613X

Gorogiannis, Nikos and Ryan, Mark (2007) Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing, 19 (4). pp. 417-444. ISSN 0934-5043

Gorogiannis, Nikos and Ryan, Mark D. (2002) Implementation of belief change operators using BDDs. Studia Logica, 70 (1). pp. 131-156. ISSN 00393215

Conference or Workshop Item

Brotherston, James and Gorogiannis, Nikos and Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA.

Brotherston, James and Gorogiannis, Nikos (2015) Disproving inductive entailments in separation logic via base pair approximation. In: TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 21-24 Sep 2015, Wroclaw, Poland.

Bordoni, Mirco and Bottone, Michele and Fields, Bob and Gorogiannis, Nikos and Margolis, Michael and Primiero, Giuseppe and Raimondi, Franco (2015) Towards cyber-physical systems as services: the ASIP protocol. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy.

Brotherston, James and Fuhs, Carsten and Pérez, Juan A. Navarro and Gorogiannis, Nikos (2014) A decision procedure for satisfiability in separation logic with inductive predicates. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria.

Brotherston, James and Gorogiannis, Nikos (2014) Cyclic abduction of inductively defined safety and termination preconditions. In: 21st International Static Analysis Symposium, SAS 2014, 11-13 Sept 2014, Munich, Germany.

Antonopoulos, Timos and Gorogiannis, Nikos and Haase, Christoph and Kanovich, Max and Ouaknine, Joël (2014) Foundations for decision problems in separation logic with general inductive predicates. In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France.

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Brotherston, James and Gorogiannis, Nikos and Petersen, Rasmus L. (2012) A generic cyclic theorem prover. In: APLAS 2012.

Gorogiannis, Nikos and Kanovich, Max and O’Hearn, Peter W. (2011) The complexity of abduction for separated heap abstractions. In: SAS 2011.

Gorogiannis, Nikos and Hunter, Anthony and Patkar, Vivek and Williams, Matthew (2010) Argumentation about treatment efficacy. In: KR4HC 2010.

Gorogiannis, Nikos and Hunter, Anthony (2008) Merging first-order knowledge using dilation operators. In: FOIKS 2008.

Gorogiannis, Nikos and Ryan, Mark (2002) Requirements, specifications, and minimal refinement. In: WOLLIC 2002.

This list was generated on Sat Sep 23 04:37:52 2017 BST.