• Article  

      ACLP: Abductive Constraint Logic Programming 

      Kakas, Antonis C.; Michael, Antonia; Mourlas, Constantinos (2000)
      This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...
    • Article  

      Aggregated bandwidth allocation: Investigation of performance of classical constrained and genetic algorithm based optimisation techniques 

      Pitsillides, Andreas; Stylianou, Georgios; Pattichis, Constantinos S.; Sekercioglu, Y. Ahmet; Vasilakos, Athanasios V. (2002)
      We consider a high speed integrated services network, and investigate compare and contrast the performance of two algorithms for solving the Aggregated Bandwidth Allocation (BA) problem. The algorithms we focus our attention ...
    • Report  

      Algebraic and Geometric Approach in Function Problem Solving 

      Mousoulides,Nicholas G.; Gagatsis, Athanasios (International Group for the Psychology of Mathematics Education, 2004)
      This study explores students algebraic and geometric approach in solving tasks in functions and the relation of these approaches with complex geometric problem solving. Data were obtained from 95 sophomore pre-service ...
    • Article  

      An analytical method for linear elliptic PDEs and its numerical implementation 

      Fulton, S. R.; Fokas, A. S.; Xenophontos, Christos A. (2004)
      A new numerical method for solving linear elliptic boundary value problems with constant coefficients in a polygonal domain is introduced. This method produces a generalized Dirichlet-Neumann map: given the derivative of ...
    • Article  

      Application of abductive ILP to learning metabolic network inhibition from temporal data 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)
      In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
    • Conference Object  

      Applications of minimum principle for continuous-time partially observable risk-sensitive control problems 

      Charalambous, Charalambos D.; Hibey, Joseph L. (IEEE, 1995)
      This paper employs the minimum principle derived in [1], for nonlinear partially observable exponential of integral control problems, to solve linear-exponential-quadratic-Gaussian (LEQG) tracking problems using two different ...
    • Article  

      Approximate Equilibria and Ball Fusion 

      Koutsoupias, Elias; Mavronicolas, Marios; Spirakis, Paul G. (2003)
      We consider selfish routing over a network consisting of m parallel links through which n selfish users route their traffic trying to minimize their own expected latency. We study the class of mixed strategies in which the ...
    • Conference Object  

      Approximating optimal place sensor selection for structural observability in discrete event systems modeled by petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2007)
      In this paper, we study place sensor selection problems in Discrete Event Systems modeled by Petri nets with outputs (i.e., Petri nets with transition and place sensors). Our goal is to place a minimal number of sensors ...
    • Article  

      Are registers of representations and problem solving processes on functions compartmentalized in students' thinking? 

      Gagatsis, Athanasios; Elia, Iliada; Mousoulides,Nicholas G. (2006)
      The purpose of the present study is twofold: first, to review and summarize previous research on the compartmentalization of different registers of representations and problem solving approaches related to the concept of ...
    • Conference Object  

      Argumentation and temporal persistence 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2011)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
    • Article  

      Argumentation and the event calculus 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2012)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language for ε Reasoning about Actions and Change into a Logic Programming ...
    • Conference Object  

      Argumentation Based Decision Making for Autonomous Agents 

      Kakas, Antonis C.; Moraïtis, Pavlos (2003)
      This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is dynamic, with arguments and their strength ...
    • Conference Object  

      Argumentation based modeling of decision aiding for autonomous agents 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Tsoukiàs, A. (2004)
      Decision Aiding can be abstractly described as the process of assisting a user/client/decision maker by recommending possible courses of his action. This process has to be able to cope with incomplete and/or inconsistent ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Article  

      Argumentation Logic 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)
      We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
    • Article  

      Argumentative agent deliberation, roles and context 

      Kakas, Antonis C.; Moraïtis, Pavlos (2002)
      This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles ...
    • Conference Object  

      Argumentative alternating offers 

      Hadidi, N.; Dimopoulos, Yannis; Moraïtis, Pavlos (International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2010)
      This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotiation mechanism is based on an abstract preference based argumentation framework where both epistcmic and ...
    • Conference Object  

      Aspect oriented programming for a component-based real life application: A case study 

      Papapetrou, Odysseas; Papadopoulos, George Angelos (2004)
      Aspect Oriented Programming, a relatively new programming paradigm, earned the scientific community's attention. The paradigm is already evaluated for traditional OOP and component-based software development with remarkable ...
    • Article  

      Assessing Student Problem-Solving Skills 

      Kyriakides, Leonidas; Gagatsis, Athanasios (Structural Equation Modeling: A Multidisciplinary Journal, 2003)
      This study examines the construct validity of the Mathematical Patterns Test using data from 848 Cypriot primary school students. Descriptive analyses across 5 age groups suggested a developmental structure of individual ...
    • Article  

      Balancing networks: State of the art 

      Mavronicolas, Marios (1997)
      Balancing networks have recently been proposed by Aspnes et al. (Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, May 1991, pp. 348-358 as a new class of distributed, low-contention data structures ...