1. 2010
  2. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108. p. 60 71 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Complexity of Propositional Proofs Under a Promise

    Dershowitz, N. & Tzameret, I., 2010, In: ACM Transactions on Computational Logic. 11, 3, p. 1-30 30 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2010, 2nd ed. London: Springer-Verlag.

    Research output: Book/ReportBook

  6. Published

    EVATAR - A Prototyping Middleware Embodying Virtual Agents to Autonomous Robots

    Dipsis, N. & Stathis, K., 2010, p. 167-175. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  7. Published

    iCampus: A Connected Campus in the Ambient Event Calculus

    Bromuri, S., Urovi, V. & Stathis, K., 2010, In: International Journal of Ambient Computing and Intelligence. 2, 1, p. 59-65

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Note on Maximal Bisection above Tight Lower Bound

    Gutin, G. & Yeo, A., 2010, In: Information Processing Letters. 110, 21, p. 966-969 4 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs

    Gutin, G., Kim, E. J., Szeider, S., Soleimanfallah, A. & Yeo, A., 2010.

    Research output: Contribution to conferencePaper

  10. Published

    Playing with Agent Coordination Patterns in MAGE

    Urovi, V. & Stathis, K., 2010, Lecture Notes in Computer Science. Springer, Vol. 6069. p. 86-101 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 2010, p. 158--169.

    Research output: Contribution to conferencePaperpeer-review

  12. Published

    Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction

    Sadri, F. & Stathis, K., 2010, In: The Computer Journal. 53, 8, p. 1136-1137 2 p.

    Research output: Contribution to journalEditorialpeer-review

  13. Published

    Strong Transversals in Hypergraphs and Double Total Domination in Graphs

    Henning, M. A. & Yeo, A., 2010, In: SIAM Journal on Discrete Mathematics. 24, 4, p. 1336-1355

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Systems of Linear Equations over F-2 and Problems Parameterized above Average

    Crowston, R., Gutin, G., Jones, M., Kim, E. J. & Ruzsa, I. Z., 2010, In: ALGORITHM THEORY - SWAT 2010, PROCEEDINGS. 6139, p. 164-175 12 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Towards Distributed Agent Environments for Pervasive Healthcare

    Bromuri, S., Schumacher, M. & Stathis, K., 2010, p. 125-137. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  16. Published

    Towards Runtime Support for Norm-Governed Multi-Agent Systems

    Urovi, V., Bromuri, S., Stathis, K. & Artikis, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Published

    Towards Self-Managing Systems Inspired by Economic Organizations

    Arnautovic, E., Vallee, M., Rehm, S-V., Muethel, M., Mulvenna, M., Baumgarten, M., Karyotis, V., Papavassiliou, S., Hadjiantonis, A. M. & Stathis, K., 2010, p. -. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  18. Published

    Type-Theoretical Semantics with Coercive Subtyping

    Luo, Z., 2010, Semantics and Linguistic Theory. Vol. 20. p. 38-56 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. 2009
  20. Published

    Algorithms for generating convex sets in acyclic digraphs

    Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Game-based e-retailing in GOLEM agent environments

    Bromuri, S., Urovi, V. & Stathis, K., Oct 2009, In: Pervasive and Mobile Computing. 5, 5, p. 623-638

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Special Issue: Reinforcement Learning Preface

    Stathis, K., Garcez, A. DA. & Givan, R., Oct 2009, In: Journal of Algorithms. 64, 4, p. 125-126 2 p.

    Research output: Contribution to journalEditorialpeer-review

  23. Published

    Convex Sets in Acyclic Digraphs

    Balister, P., Gerke, S. & Gutin, G., Mar 2009, In: Order: a Journal on the Theory of Ordered Sets and its Applications. 26, 1, p. 95-100 6 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A polynomial kernel for Multicut In Trees

    Bousquet, N., Daligault, J., Thomasse, S. & Yeo, A., 2009, p. 183--194.

    Research output: Contribution to conferencePaper

  25. Published

    Analysis of Data Reduction: Transformations give evidence for non-existence of polynomial kernels

    Bodlaender, H. L., Thomasse, S. & Yeo, A., 2009, p. 635--646.

    Research output: Contribution to conferencePaper

  26. Published

    Arguing over Motivations within the V3A-Architecture for Self-Adaptation

    Morge, M., Stathis, K. & Vercouter, L., 2009, ICAART 2009: Proceedings of the International Conference on Agents and Artificial Intelligence. SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL, p. 214-219 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Published

    Better Than Optimal: Fast Identification of Custom Instruction Candidates

    Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A., 2009, CSE '09: International Conference on Computational Science and Engineering, 2009. Vol. 2. p. 17-24 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Published

    Dependent record types revisited

    Luo, Z., 2009, Modules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series. Vol. 429.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Published

    Distributed agent environments in the Ambient Event Calculus

    Bromuri, S., Stathis, K., Gokhale, A. S. (ed.) & Schmidt, D. C. (ed.), 2009.

    Research output: Contribution to conferencePaperpeer-review

  31. Published

    Manifest fields and module mechanisms in intensional type theory

    Luo, Z., 2009, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. p. 237-255 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Minimum Cost Homomorphism Dichotomy for Oriented Cycles

    Gutin, G., Rafiey, A. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 4, p. 521-531 11 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    On the number of connected convex subgraphs of a connected acyclic graph

    Gutin, G. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1660-1662 3 p.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    Some complexity problems on single input double output controllers

    Hangos, K. M., Tuza, Z. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1146-1158 13 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Spanning directed trees with many leaves

    Alon, N., Fomin, F., Gutin, G., Krivelevich, M. & Saurabh, S., 2009, In: SIAM Journal on Discrete Mathematics. 23, p. 466–-476

    Research output: Contribution to journalArticlepeer-review

  36. Published

    The expressive power of binary submodular functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, In: Discrete Applied Mathematics. 157, 15, p. 3347-3358 12 p.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    The Expressive Power of Binary Submodular Functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, MFCS 2009. p. 744-757

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Published

    The Proof Complexity of Polynomial Identities

    Hrubes, P. & Tzameret, I., 2009, Proceedings of the 24th IEEE Conference on Computational Complexity (CCC). IEEE Computer Society Press, p. 41-51 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Published

    Total domination in 2-connected graphs and in graphs with no induced 6-cycles

    Henning, M. & Yeo, A., 2009, In: Journal of Graph Theory. 60, p. 55-79 25 p.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    Total domination in partitioned graphs

    Frendrup, A., Vestergaard, P. D. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 2, p. 181-196 16 p.

    Research output: Contribution to journalArticlepeer-review

  41. 2008
  42. Published

    The expressive power of valued constraints: Hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Živný, S., 6 Dec 2008, In: Theoretical Computer Science. 409, 1, p. 137-153 17 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Computational Logic Foundations of KGP Agents

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., Nov 2008, In: Journal of Artificial Intelligence Research. 33, p. 285-348

    Research output: Contribution to journalArticlepeer-review

  44. Published

    A unified theory of structural tractability for constraint satisfaction problems

    Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Coercions in a polymorphic type system

    Luo, Z., Aug 2008, In: Mathematical Structures in Computer Science. 18, 4, p. 729-751 23 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    A Dichotomy for Minimum Cost Graph Homomorphisms

    Gutin, G., Hell, P., Rafiey, A. & Yeo, A., May 2008, In: European Journal of Combinatorics. 29, 4, p. 900-911 12 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Domain permutation reduction for constraint satisfaction problems

    Green, M. J. & Cohen, D. A., May 2008, In: Artificial Intelligence. 172, 8-9, p. 1094-1118 25 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    An Argumentative Model for Service-oriented Agents

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P. & Stathis, K., 1 Mar 2008, Proc. of the International Symposium on Architectures for Intelligent Theory-Based Agents. Balduccini, M. & Baral, C. (eds.). p. 6 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Published

    Ambient Intelligence

    Sadri, F. & Stathis, K., 2008, Encyclopedia of Artificial Intelligence. Idea Group Inc, p. 85-91

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  50. Published

    An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Argumentation sur les motivations propres dans l'architecture V3A pour des agents auto-adaptatifs

    Morge, M., Stathis, K. & Vercouter, L., 2008, Actes des 16ème Journées Francophones sur les Systèmes Multi-Agen ts (JFSMA). France: Cepudes

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Published

    Automating Workflows using Dialetical Argumentation

    Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.

    Research output: Contribution to journalArticlepeer-review

  53. Published

    Fixed-Parameter Complexity of Minimum Profile Problems

    Gutin, G., Szeider, S. & Yeo, A., 2008, In: Algorithmica. 52, 2, p. 133-152 20 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms

    Cohen, D., Cooper, M. & Jeavons, P., 2008, In: Theoretical Computer Science. 401, 1-3, p. 36-51 16 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Hoang-Reed conjecture holds for tournaments

    Havet, F., Thomasse, S. & Yeo, A., 2008, In: Discrete Mathematics. 308, 15, p. 3412-3415 4 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    Hypergraphs with large transversal number and with edge sizes at least three

    Henning, M. & Yeo, A., 2008, In: Journal of Graph Theory. 59, p. 326-348 23 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: SIAM Journal on Discrete Mathematics. 22, 4, p. 1624-1639 16 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Minimum Cost Homomorphisms to Semicomplete Multipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 12, p. 2429-2435 7 p.

    Research output: Contribution to journalArticlepeer-review

  59. Published

    On matching and total domination in graphs

    Henning, M., Kang, L., Shan, E. & Yeo, A., 2008, In: Discrete Mathematics. 308, 11, p. 2313-2318 6 p.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    Resolution over Linear Equations and Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Annals of Pure and Applied Logic. 155, 3, p. 194-224 31 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Situating cognitive agents in GOLEM

    Bromuri, S. & Stathis, K., 2008, Engineering Environment-Mediated Multi-Agent Systems (EEMAS'07). Springer, Vol. 5049. p. 115-134 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Some Parameterized Problems on Digraphs

    Gutin, G. & Yeo, A., 2008, In: The Computer Journal. 51, 3, p. 363-371 9 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Structural subtyping for inductive types with functorial equality rules

    Luo, Z. & Adams, R., 2008, In: Mathematical Structures in Computer Science. 18, 5, p. 931-972 42 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Studies in Algebraic and Propositional Proof Complexity

    Tzameret, I., 2008, Tel Aviv. 214 p.

    Research output: ThesisDoctoral Thesis

  65. Published

    The ArguGRID platform: An overview

    Toni, F., Grammatikou, M., Kafetzoglou, S., Lymberopou, L., Papavassileiou, S., Gaertner, D., Morge, M., Bromuri, S., McGinnis, J., Stathis, K., Curcin, V., Ghanem, M. & Guo, L., 2008, p. 217-225. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  66. Published

    The minimum spanning strong subdigraph problem is fixed parameter tractable

    Bang-Jensen, J. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 15, p. 2924-2929 6 p.

    Research output: Contribution to journalArticlepeer-review

  67. Published

    The Strength of Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Computational Complexity. 17, 3, 51 p.

    Research output: Contribution to journalArticlepeer-review

  68. Published

    Total domination in graphs with given girth

    Henning, M. & Yeo, A., 2008, In: Graphs and Combinatorics. 24, 4, p. 333-348 16 p.

    Research output: Contribution to journalArticlepeer-review

  69. 2007
  70. Published

    Proofs and pedagogy; science and systems: The grammar tool box

    Johnstone, A. & Scott, E., 1 Dec 2007, In: Science of Computer Programming. 69, 1-3, p. 76-85 10 p.

    Research output: Contribution to journalArticlepeer-review

  71. Published

    BRNGLR: a cubic Tomita-style GLR parsing algorithm

    Scott, E., Johnstone, A. & Economopoulos, R., Oct 2007, In: Acta Informatica. 44, 6, p. 427-461 35 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Automatic recursion engineering of reduction incorporated parsers

    Johnstone, A. & Scott, E., 1 Sep 2007, In: Science of Computer Programming. 68, 2, p. 95-110 16 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Experiences in Automated Workflow using Dialectical Argumentation

    Urovi, V., Bromuri, S., McGinnis, J., Stathis, K. & Omicini, A., 1 Jul 2007, Proceedings of Intelligent Systems and Agents International Conference (IADIS07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Published

    Sensor Network Grids: Agent Environment combined with QoS in Wireless Sensor Networks

    Stathis, K., Kafetzoglou, S. & Bromuri, S. P. A. N. S., 1 Jun 2007, Proceedings of the 3rd International Conference on Autonomic and Autonomous Systems (ICAS'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  75. Published

    Automated Workflows using Dialectical Argumentation

    McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Published

    The expressive power of valued constraints: hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Zivný, S., 1 Apr 2007.

    Research output: Working paper

  77. Published

    A new upper bound on the total domination number of a graph

    Henning, M. & Yeo, A., 2007, In: The Electronic Journal of Combinatorics. 14, 1

    Research output: Contribution to journalArticlepeer-review

  78. Published

    A transition from total domination in graphs to transversals in hypergraphs

    Henning, M. & Yeo, A., 2007, In: Quaestiones Mathematicae. 30, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  79. Published

    A type-theoretic framework for formal reasoning with different logical foundations

    Luo, Z., 2007, Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. Published

    An algorithm for finding connected convex subgraphs of an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., 2007, p. 69-82. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  81. Published

    Competence checking for the global e-service society using games

    Stathis, K., Lekeas, G. & Kloukinas, C., 2007, Engineering societies in the agents world VII. Vol. 4457. p. 384-400 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Published

    Complexity of Propositional Proofs under a Promise

    Dershowitz, N. & Tzameret, I., 2007. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  83. Published

    First-class protocols for agent-based coordination of scientific instruments

    Miller, T., McBurney, P., McGinnis, J. & Stathis, K., 2007, WET ICE 2007: 16TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 41-46 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Published

    Paths and cycles containing given arcs, in close to regularmultipartite tournaments

    Yeo, A., 2007, In: Journal of Combinatorial Theory, Series B. 97, 6, p. 949-963 15 p.

    Research output: Contribution to journalArticlepeer-review

  85. Published

    Relationships between total domination, order, size and maximum degree of graphs

    Yeo, A., 2007, In: Journal of Graph Theory. 55, 4, p. 325-337 13 p.

    Research output: Contribution to journalArticlepeer-review

  86. Published

    The Expressive Power of Valued Constraints: Hierarchies and Collapses

    Cohen, D., Jeavons, P. & ŽZivný, S., 2007, Principles and Practice of Constraint Programming – CP 2007. Bessière, C. (ed.). Berlin and Heidelberg: Springer, p. 798-805 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  87. Published

    The Greedy Algorithm for the Symmetric TSP

    Gutin, G. & Yeo, A., 2007, In: Algorithmic Operations Research. 2, 1, p. 33-36 4 p.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    The Linear Arrangement Problem Parameterized Above Guaranteed Value

    Gutin, G., Rafiey, A., Szeider, S. & Yeo, A., 2007, In: Theory of Computing Systems. 41, 3, p. 521-538

    Research output: Contribution to journalArticlepeer-review

  89. Published

    The minimum feedback arc set problem is NP-hard for tournaments

    Charbit, P., Thomasse, S. & Yeo, A., 2007, In: Combinatorics, Probability and Computing. 16, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Tight lower bounds on the size of a matching in a regular graph

    Henning, M. & Yeo, A., 2007, In: Graphs and Combinatorics. 23, 6, p. 647-657 11 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Total domination of graphs and small transversals of hypergraphs

    Thomasse, S. & Yeo, A., 2007, In: Combinatorica. 27, 4, p. 473-487 15 p.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. 2006
  94. Published
  95. Published

    Vers une architecture modulaire d'agent argumentatif pour la composition de services

    Morge, M., McGinnis, J., Bromuri, S., Toni, F. C., Mancarella, P. & Stathis, K., 1 Nov 2006, Proc. of the of 15th Journees Francophones sur les Systemes M ulti-Agents (JFSMA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Published

    Building next generation Service-Oriented Architectures using Argumentation Agents

    Curcin, V., Ghanem, M., Guo, Y., Stathis, K. & Toni, F., 1 Sep 2006, 3rd International Conference on Grid Services Engineering and Management (GSEM 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. Published

    Evaluating GLR parsing algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., Aug 2006, In: Science of Computer Programming. 61, 3, p. 228-244 17 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Right nulled GLR parsers

    Scott, E. & Johnstone, A., 1 Jul 2006, In: ACM Transactions on Programming Languages and Systems. 28, 4, p. 577-618 42 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Rule Value Reinforcement Learning for Cognitive Agents

    Child, C. & Stathis, K., 1 May 2006, Proc. of 5th International Conference on Autonomous Agents an d Multi-agent Systems (AAMAS06). p. 792-794 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Published

    Ambient Intelligence: Agents and Interaction in Connected Communities

    Stathis, K., Spence, R., de Bruijn, O. & Purcell, P., 2006, Networked Neighbourhoods: The Connected Community in Context. Purcell, P. (ed.). London: Springer, p. 279-304

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. Published

    An algebraic characterisation of complexity for valued constraints

    Cohen, D., Cooper, M. & Jeavons, P., 2006, p. 107-121.

    Research output: Contribution to conferencePaper

  102. Published

    Crafting the Mind of PROSOCS Agents

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W. & Stathis, K., 2006, In: Applied Artificial Intelligence. 20, 4-5, p. 105-131

    Research output: Contribution to journalArticlepeer-review

  103. Published

    Decision Making with a KGP Agent System

    Forth, J., Stathis, K. & Toni, F., 2006, In: Journal of Decision Systems. 15, 2-3, p. 241-266 26 p.

    Research output: Contribution to journalArticlepeer-review

  104. Published

    Domination analysis for minimum multiprocessor scheduling

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, p. 2613-2619 7 p.

    Research output: Contribution to journalArticlepeer-review

  105. Published

    Domination in convex bipartite and round graphs

    Bang-Jensen, J., Huang, J., MacGillivray, G. & Yeo, A., 2006, In: International Journal of Mathematical Sciences. 5, 2

    Research output: Contribution to journalArticlepeer-review