Browsing by Subject "Problem solving"
Now showing items 120 of 159

Article
ACLP: Abductive Constraint Logic Programming
(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
(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
(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 preservice ...

Article
An analytical method for linear elliptic PDEs and its numerical implementation
(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 DirichletNeumann map: given the derivative of ...

Article
Application of abductive ILP to learning metabolic network inhibition from temporal data
(2006)In this paper we use a logicbased 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 continuoustime partially observable risksensitive control problems
(IEEE, 1995)This paper employs the minimum principle derived in [1], for nonlinear partially observable exponential of integral control problems, to solve linearexponentialquadraticGaussian (LEQG) tracking problems using two different ...

Article
Approximate Equilibria and Ball Fusion
(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
(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?
(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
(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
(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
(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
(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
(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
(2014)We propose a novel logicbased 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
(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
(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 componentbased real life application: A case study
(2004)Aspect Oriented Programming, a relatively new programming paradigm, earned the scientific community's attention. The paradigm is already evaluated for traditional OOP and componentbased software development with remarkable ...

Article
Assessing Student ProblemSolving Skills
(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
(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. 348358 as a new class of distributed, lowcontention data structures ...