Browsing by Author "Michael, Loizos"

Now showing items 1-20 of 21

    • Conference Object  

      Applying swarm intelligence to a novel congestion control approach for wireless sensor networks 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Engelbrecht, A.; Blackwell, T.; Michael, Loizos (2011)
      Recently, sensor networks have attracted significant research interest. However, most studies have mainly focused on protocols for applications in which network performance assurances are not considered essential. With the ...
    • Conference Object  

      Argumentation: Reconciling human and automated reasoning 

      Kakas, Antonis C.; Michael, Loizos; Toni, F. (CEUR-WS, 2016)
      We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at ...
    • Conference Object  

      Ceteris paribus preference elicitation with predictive guarantees 

      Dimopoulos, Yannis; Michael, Loizos; Athienitou, F. (2009)
      CP-networks have been proposed as a simple and intuitive graphical tool for representing conditional ceteris paribus preference statements over the values of a set of variables. While the problem of reasoning with CP-networks ...
    • Article  

      Computing on a partially eponymous ring 

      Mavronicolas, Marios; Michael, Loizos; Spirakis, Paul G. (2009)
      We study the partially eponymous model of distributed computation, which simultaneously generalizes the anonymous and the eponymous models. In this model, processors have identities, which are neither necessarily all ...
    • Article  

      Computing on a partially eponymous ring 

      Mavronicolas, Marios; Michael, Loizos; Spirakis, Paul G. (2006)
      We study the partially eponymous model of distributed computation, which simultaneously generalizes the anonymous and the eponymous models. In this model, processors have identities, which are neither necessarily all ...
    • Article  

      Congestion control in wireless sensor networks based on bird flocking behavior 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Blackwell, T.; Engelbrecht, A.; Michael, Loizos (2013)
      This paper proposes that the flocking behavior of birds can guide the design of a robust, scalable and self-adaptive congestion control protocol in the context of wireless sensor networks (WSNs). The proposed approach ...
    • Article  

      Congestion control in wireless sensor networks based on the bird flocking behavior 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Engelbrecht, A.; Blackwell, T.; Michael, Loizos (2009)
      Recently, performance controlled wireless sensor networks have attracted significant interest with the emergence of mission-critical applications (e.g. health monitoring). Performance control can be carried out by robust ...
    • Article  

      Knowledge qualification through argumentation 

      Michael, Loizos; Kakas, Antonis C. (2009)
      We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis ...
    • Article  

      Modular-E and the role of elaboration tolerance in solving the qualification problem 

      Kakas, Antonis C.; Michael, Loizos; Miller, R. (2010)
      We describe Modular-E (ME), a specialized, model-theoretic logic for reasoning about actions. ME is able to represent non-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications), ...
    • Article  

      Modular-ε: An elaboration tolerant approach to the ramification and qualification problems 

      Kakas, Antonis C.; Michael, Loizos; Miller, R. (2005)
      We describe Modular-ε (Mε), a specialized, modeltheoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
    • Conference Object  

      Modular-ε: An elaboration tolerant approach to the ramification and qualification problems - Preliminary report 

      Kakas, Antonis C.; Michael, Loizos; Miller, R. (2005)
      We describe Modular-ε (ME), a specialized, model-theoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
    • Conference Object  

      Non-Monotonic Reasoning and Story Comprehension 

      Diakidoy, Irene-Anna N.; Kakas, Antonis; Michael, Loizos; Miller, Rob (2014)
    • Article  

      Preface 

      Michael, Loizos; Kakas, Antonis C. (2016)
    • Article  

      The price of defense 

      Mavronicolas, Marios; Michael, Loizos; Lesta, Vicky Papadopoulou; Philippou, Anna; Spirakis, Paul G. (2006)
      We consider a strategic game with two classes of confronting randomized players on a graph G(V, E): v attackers, each choosing vertices and wishing to minimize the probability of being caught, and a defender, who chooses ...
    • Conference Object  

      Programming cognitive 

      Michael, Loizos; Kakas, Antonis C.; Miller, R.; Turán, G. (CEUR-WS, 2015)
      The widespread access to computing-enabled devices and the World Wide Web has, in a sense, liberated the ordinary user from reliance on technically-savvy experts. To complete this emancipation, a new way of interacting ...
    • Conference Object  

      A psychology-inspired approach to automated narrative text comprehension 

      Diakidoy, Irene-Anna N.; Kakas, Antonis C.; Michael, Loizos; Miller, R. (AAAI press, 2014)
      We report on an ongoing research program to develop a formal framework for automated narrative text comprehension, bringing together know-how from research in Artificial Intelligence and the Psychology of Reading and ...
    • Conference Object  

      Reasoning about actions and change in answer set programming 

      Dimopoulos, Yannis; Kakas, Antonis C.; Michael, Loizos (Springer Verlag, 2004)
      This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness ...
    • Conference Object  

      STAR: A system of argumentation for story comprehension and beyond 

      Diakidoy, Irene-Anna N.; Kakas, Antonis C.; Michael, Loizos; Miller, R. (AI Access Foundation, 2015)
      This paper presents the STAR system, a system for automated narrative comprehension, developed on top of an argumentation-theoretic formulation of defeasible reasoning, and strongly following guidelines from the psychology ...
    • Article  

      Story Comprehension through Argumentation 

      Diakidoy, Irene-Anna N.; Kakas, Antonis C.; Michael, Loizos; Miller, R. (2014)
      This paper presents a novel application of argumentation for automated Story Comprehension (SC). It uses argumentation to develop a computational approach for SC as this is understood and studied in psychology. Argumentation ...
    • Article  

      A substitution theorem for graceful trees and its applications 

      Mavronicolas, Marios; Michael, Loizos (2009)
      A graceful labeling of a graph G = (V, E) assigns | V | distinct integers from the set {0, ..., | E |} to the vertices of G so that the absolute values of their differences on the | E | edges of G constitute the set {1, ...