Now showing items 1-20 of 80

  • AI Bridges and Dreams 

    Bundy, Alan (SpringerLink, 1987-07)
    This paper is a modified version of my acceptance lecture for the 1986 SPL-Insight Award. It turned into something of a personal credo — describing my view of the nature of AI the potential social benefit of applied ...
  • The arrow calculus 

    Lindley, Sam; Wadler, P.; Yallop, J. (Cambridge University Press, 2010-01)
    We introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relations both to Moggi's metalanguage for monads and to Paterson's arrow notation. Arrows arc classically defined by extending ...
  • Automatic Annotation of Context and Speech Acts for Dialogue Corpora. 

    Kallirroi, Georgila; Lemon, Oliver; Henderson, James; Moore, Johanna D. (Cambridge University Press, 2009-06)
    Richly annotated dialogue corpora are essential for new research directions in statistical learning approaches to dialogue management, context-sensitive interpretation, and context-sensitive speech recognition. In particular, ...
  • Behaviour Generation in Humanoids by Learning Potential-based Policies from Constrained Motion 

    Howard, Matthew; Klanke, Stefan; Gienger, Michael; Goerick, Christian; Vijayakumar, Sethu (Taylor and Francis, 2008-12)
    Movement generation that is consistent with observed or demonstrated behaviour is an efficient way to seed movement planning in complex, high-dimensionalmovement systems like humanoid robots.We present a method for learning ...
  • Being Old Doesn't Mean Acting Old: How Older Users Interact with Spoken Dialogue System. 

    Wolters, Maria K.; Georgila, Kallirroi; Moore, Johanna D.; MacPherson, Sarah E. (ACM, 2009-05)
    Most studies on adapting voice interfaces to older users work top-down by comparing the interaction behavior of older and younger users. In contrast, we present a bottom-up approach. A statistical cluster analysis of 447 ...
  • Calculating Criticalities 

    Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. (Elsevier, 1996-12)
    We present a novel method for building style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. ...
  • A Calculus for Access Control in Distributed Systems 

    Abadi, Martin; Burrows, Michael; Lampson, Butler; Plotkin, Gordon (1993)
    We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, ...
  • Coalition Agents Experiment: Multi-Agent Co-operation in an International Coalition Setting 

    Allsopp, D.N; Beautement, P; Bradshaw, J M; Durfee, E H; Kirton, M; Knoblock, C.A; Suri, N; Tate, Austin; Thompson, C W (IEEE Computer Society, 2002)
    Military coalitions are examples of large-scale, multi-faceted, virtual organizations, which sometimes need to be rapidly created and flexibly changed as circumstances alter. The Coalition Agents Experiment (CoAX) aims to ...
  • Collaborative Task Support and e-Response 

    Potter, S; Tate, Austin; Dalton, J (Society for the Study of Artificial Intelligence and Simulation of Behaviour, 2004)
    Rather than seeking to automate the tasks performed by humans, the trend in modern AI research and application development is towards providing support to human agents in the workplace. The impetus for this lies in an ...
  • A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence 

    Bundy, Alan; Liu, W. (Elsevier, 1994-06)
    Dealing with uncertainty problems in intelligent systems has attracted a lot of attention in the AI community. Quite a few techniques have been proposed. Among them, the Dempster-Shafer theory of evidence (DS theory) has ...
  • A Computational Model of Limb Impedance Control Based on Principles of Internal Model Uncertainty 

    Mitrovic, Djordje; Klanke, Stefan; Osu, Rieko; Kawato, Mitsuo; Vijayakumar, Sethu (PLoS, 2010-10)
    Efficient human motor control is characterized by an extensive use of joint impedance modulation, which is achieved by co-contracting antagonistic muscles in a way that is beneficial to the specific task. While there is ...
  • Conjecture Synthesis for Inductive Theories 

    Johansson, Moa; Dixon, Lucas; Bundy, Alan (SpringerLink, 2010)
    We have developed a program for inductive theory formation, called IsaCoSy, which synthesises conjectures ‘bottom-up’ from the available constants and free variables. The synthesis process is made tractable by only generating ...
  • Constraints and AI Planning 

    Nareyek, A; Freuder, E C; Fourer, R; Giunchiglia, R P; Kautz, H; Rintanen, J; Tate, Austin (IEEE Computer Society, 2005)
    Tackling real-world problems often requires to take various types of constraints into account. Such constraint types range from simple numerical comparators to complex resources. This article describes how planning techniques ...
  • Constructing Probabilistic ATMS Using Extended Incidence Calculus 

    Bundy, Alan; Liu, W. (Elsevier, 1996-08)
    This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing ...
  • Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus 

    Bundy, Alan (SpringerLink, 1986-06)
    Incidence Calculus is a technique for associating uncertainty values with logical sentences. These uncertainty values are called incidences and they are sets of points, which may be thought of as representing equivalence ...
  • Density of states of disordered systems 

    van Rossum, Mark; Nieuwenhuizen, Th.M; Hofstetter, E; Schreiber, M (The American Physical Society, 1994-05-15)
    Density of states calculations for the tight-binding model with diagonal disorder are presented. An instanton approach is used to calculate the tails of the spectrum, including all prefactors. It is shown that a Hartree ...
  • Detecting Recombination in 4-Taxa DNA Sequence Alignments with Bayesian Hidden Markov Models and Markov Chain Monte Carlo 

    McGuire, Graine; Husmeier, Dirk (2003-01-01)
    This article presents a statistical method for detecting recombination in DNA sequence alignments, which is based on combining two probabilistic graphical models: (1) a taxon graph (phylogenetic tree) representing the ...
  • Deviations from the Gaussian distribution of mesoscopic conductance fluctuations 

    van Rossum, Mark; Lerner, Igor; Altshuler, Boris; Nieuwenhuizen, Th.M (The American Physical Society, 1997)
    The conductance distribution of metallic mesoscopic systems is considered. The variance of this distribution describes the universal conductance fluctuations, yielding a Gaussian distribution of the conductance. We calculate ...
  • Early-Stage Waves in the Retinal Network Emerge Close to a Critical State Transition between Local and Global Functional Connectivity 

    Hennig, M H; Willshaw, David; Adams, C; Sernagor, E (2009-01-28)
    A novel, biophysically realistic model for early-stage, acetylcholine-mediated retinal waves is presented. In this model, neural excitability is regulated through a slow after-hyperpolarization (sAHP) operating on two ...