Now showing items 116-135 of 1759

    • B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 

      Bryl, V; Mello, P; Montali, M; Torroni, P; Zannone, N (Springer, 2008)
      The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational ...
    • Back to the Future: An Interaction-oriented Framework for Social Computing 

      Baldoni M; Baroglio C; Marengo E; Patti V; Ricci A (IEEE, 2011)
      We propose an interaction-oriented framework and the related support infrastructure, that reifies commitment-based interaction protocols into programmable environments and artifacts. The use of commitments gives a normative ...
    • A Basic Characterization of Relation Migration 

      Keet, CM; Artale, A (Springer, 2010)
      Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tuples of a relation (ORM facts) can evolve along time. ...
    • Basic Description Logics 

      Baader F; Nutt W (Cambridge University Press, 2003)
      This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it ...
    • The Bayesian Description Logic BEL 

      Ceylan, II; Penaloza, R (Springer, 2014)
      We introduce the probabilistic Description Logic BEL. In BEL, axioms are required to hold only in an associated context. The probabilistic component of the logic is given by a Bayesian network that describes the joint ...
    • Bayesian Description Logics 

      Ceylan I; Peñaloza R (CEUR, 2014)
      We present Bayesian Description Logics (BDLs): an extension of Description Logics (DLs) with contextual probabilities encoded in a Bayesian network (BN). Classical DL reasoning tasks are extended to consider also the ...
    • The Bayesian Ontology Language BEL 

      Ceylan II; Peñaloza R (2016)
      We introduce the new probabilistic description logic (DL) (Formula presented.), which extends the light-weight DL (Formula presented.) with the possibility of expressing uncertainty about the validity of some knowledge. ...
    • The Bayesian Ontology Reasoner is BORN! 

      Ceylan I; Mendez J; Peñaloza R (CEUR, 2015)
      Bayesian ontology languages are a family of probabilistic ontology languages that allow to encode probabilistic information over the axioms of an ontology with the help of a Bayesian network. The Bayesian ontology language ...
    • BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies 

      Arif MF; Mencía C; Ignatiev A; Manthey N; Peñaloza R; Marques-Silva J (Springer-Verlag, 2016)
      Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the EL family of DLs stands out due to the availability of polynomial-time inference algorithms and its ...
    • Behavior-oriented Commitment-based Protocols 

      Baldoni, M; Baroglio, C; Marengo, E (IOS Press, 2010)
      Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, i.e. the behavior ...
    • Benchmark requirements for microservices architecture research 

      Aderaldo CM; Mendonça NC; Pahl C; Jamshidi P (IEEE Press, 2017)
      Microservices have recently emerged as a new architectural style in which distributed applications are broken up into small independently deployable services, each running in its own process and communicating via lightweight ...
    • Best Service Synthesis in the Weighted Roman Model 

      Calvanese D; Santoso A (CEUR-WS.org, 2012)
      This paper presents an extension of a framework for synthesizing a composition of services, named Roman Model, such that it is able to model the best service composition synthesis problem. In such extension, which we call ...
    • Better Code for Better Apps: A Study on Source Code Quality and Market Success of Android Applications 

      Fronza, I; Corral Velazquez, LR (ACM, 2015)
      The quality of a mobile application is a major concern for developers, users and application stores. Even though several mobile-specific techniques have been proposed to evaluate the quality of a mobile software product, ...
    • Beyond OWL 2 QL in OBDA: Rewritings and approximations 

      Botoeva E; Calvanese D; Santarelli V; Fabio Savo D; Solimando A; Xiao G (AAAI, 2016)
      Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-LiteR, which is the logic underpinning the ...
    • BiCGCR2: A new extension of conjugate residual method for solving non-Hermitian linear systems 

      Gu XM; Huang TZ; Carpentieri B (2016)
      In the present paper, we introduce a new extension of the conjugate residual (CR) method for solving non-Hermitian linear systems with the aim of developing an alternative basic solver to the established biconjugate gradient ...
    • The BiCOR and CORS iterative algorithms for solving nonsymmetric linear systems 

      Carpentieri B; Jing YF; Huang TZ (2011)
      We present two iterative algorithms for solving real nonsymmetric and complex non-Hermitian linear systems of equations and that were developed from variants of the nonsymmetric Lanczos method. In this paper, we give the ...
    • Blending Evidence and Users for TEL: An Overture 

      Di Mascio T; Gennari R; Vittorini P (Springer, 2013)
      TERENCE is an adaptive learning system for reasoning about stories with children having deep text comprehension problems. It develops reading interventions in the form of smart games for stimulating the text comprehension ...
    • Blending Mobile Programming and Liberal Education in a Social-Economic High School 

      Fronza I; El Ioini N; Corral L (ACM, 2016)
      Mobile programming is one of the fastest growing approaches in many fields, such as marketing or e-commerce. From the educational perspective, this means that students should understand that they can build mobile applications ...
    • Blending under deconstruction: The roles of logic, ontology, and cognition in computational concept invention 

      Confalonieri R; Kutz O (2019)
      The cognitive-linguistic theory of conceptual blending was introduced by Fauconnier and Turner in the late 90s to provide a descriptive model and foundational approach for the (almost uniquely) human ability to invent new ...
    • A block GMRES method with deflated restarting for solving linear systems with multiple shifts and multiple right-hand sides 

      Sun DL; Huang TZ; Jing YF; Carpentieri B (2018)
      The restarted block generalized minimum residual method (BGMRES) with deflated restarting (BGMRES-DR) was proposed by Morgan to dump the negative effect of small eigenvalues from the convergence of the BGMRES method. More ...