Mostrando recursos 41 - 60 de 5.297

  1. Using linear logic and proof theory to unify computational logic

    Miller, Dale
    International audience

  2. Using linear logic and proof theory to unify computational logic

    Miller, Dale
    International audience

  3. Satisfiability Modulo Theories and Assignments

    Bonacina, Maria,; Graham-Lengrand, Stéphane; Shankar, Natarajan
    International audience

  4. Satisfiability Modulo Theories and Assignments

    Bonacina, Maria,; Graham-Lengrand, Stéphane; Shankar, Natarajan
    International audience

  5. An MCSAT treatment of Bit-Vectors (preliminary report)

    Graham-Lengrand, Stéphane; Jovanović, Dejan
    International audience

  6. An MCSAT treatment of Bit-Vectors (preliminary report)

    Graham-Lengrand, Stéphane; Jovanović, Dejan
    International audience

  7. On the Plural Conceptions of Logic: A Dialogical Framework for the Teaching and Study of Logical Systems

    Rahman, Shahid
    About 40 years ago, or perhaps even earlier, logical systems started to emerge at a breath-taking pace almost every day. At the same time several unifying approaches have been proposed, that are also plural. Let me focus on two main families of unifying approaches based on two different ways to conceive Logic: 1. One approach takes up the traditional conception of logic, according to which a logical systems is determined by the set of inferential rules. 2. The other main approach that appeared around the 60ties, conceives logical systems as the set of valid formulae they determine. Thus, according to...

  8. On the Plural Conceptions of Logic: A Dialogical Framework for the Teaching and Study of Logical Systems

    Rahman, Shahid
    About 40 years ago, or perhaps even earlier, logical systems started to emerge at a breath-taking pace almost every day. At the same time several unifying approaches have been proposed, that are also plural. Let me focus on two main families of unifying approaches based on two different ways to conceive Logic: 1. One approach takes up the traditional conception of logic, according to which a logical systems is determined by the set of inferential rules. 2. The other main approach that appeared around the 60ties, conceives logical systems as the set of valid formulae they determine. Thus, according to...

  9. A qualitative and quantitative performance evaluation of Swaziland’s Rural Health Motivator program

    Geldsetzer, Pascal; Vaikath, Maria; de Neve, Jan-Walter J.l.m.; Bärnighausen, Till; Bossert, Thomas John
    Background: Community health workers (CHWs) are increasingly used to increase access to primary healthcare, and considered to be a key health worker cadre to achieve the UNAIDS 90-90-90 target. Despite the recent policy interest in effectively designing, implementing, and evaluating new CHW programs, there is limited evidence on how long-standing CHW programs are performing. Using the CHW Performance Logic model as an evaluation framework, this study aims to assess the performance of Swaziland’s long-standing national CHW program, called the rural health motivator (RHM) program. Methods: This study was carried out in the Manzini and Lubombo regions of Swaziland. We conducted...

  10. A qualitative and quantitative performance evaluation of Swaziland’s Rural Health Motivator program

    Geldsetzer, Pascal; Vaikath, Maria; de Neve, Jan-Walter J.l.m.; Bärnighausen, Till; Bossert, Thomas John
    Background: Community health workers (CHWs) are increasingly used to increase access to primary healthcare, and considered to be a key health worker cadre to achieve the UNAIDS 90-90-90 target. Despite the recent policy interest in effectively designing, implementing, and evaluating new CHW programs, there is limited evidence on how long-standing CHW programs are performing. Using the CHW Performance Logic model as an evaluation framework, this study aims to assess the performance of Swaziland’s long-standing national CHW program, called the rural health motivator (RHM) program. Methods: This study was carried out in the Manzini and Lubombo regions of Swaziland. We conducted...

  11. Introducing Consistency in a Dialogical Framework for Paraconsistent Logic

    Barrio, Eduardo; Clerbout, Nicolas; Rahman, Shahid
    Abstract The Logics of Formal Inconsistency are logics tolerant to someamount of inconsistency but in which some versions of explosion still hold.The main result of this paper is to provide a reconstruction of two such logicsin the dialogical framework. By doing so, we achieve two things. On theone hand, we provide a formal approach to argumentative situations in whichsome inconsistencies may occur while keeping the idea that there may stillbe situations in which some propositions are “safe” in the sense of immune tothe contradictions. On the other hand, we open a new line of study on theselogics, in the context...

  12. Interacción, Lógica y Contenido Diálogos materiales y lenguajes completamente interpretados en la Teoría Constructiva de Tipos

    Rahman, Shahid; Redmond, Juan; Clerbout, Nicolas
    Lo que distingue a los diálogos formales de los materiales es que en estos últimos la formulación de la Regla Socrática prescribe una forma de interacción que permite al Proponente basar la afirmación de una proposición elemental en identidades específicas a la proposición en cuestión. El objetivo del presente artículo es describir sucintamente la forma de producir diálogos materiales y al mismo tiempo discutir sus vínculos con el desarrollo de lenguajes totalmente interpretados en la Teoría Constructiva de Tipos (TCT). A modo de ilustración discutiremos brevemente la formulación de la Regla Socrática para el conjunto de números naturales, para la...

  13. On the Plural Conceptions of Logic: A Dialogical Framework for the Teaching and Study of Logical Systems

    Rahman, Shahid
    About 40 years ago, or perhaps even earlier, logical systems started to emerge at a breath-taking pace almost every day. At the same time several unifying approaches have been proposed, that are also plural. Let me focus on two main families of unifying approaches based on two different ways to conceive Logic: 1. One approach takes up the traditional conception of logic, according to which a logical systems is determined by the set of inferential rules. 2. The other main approach that appeared around the 60ties, conceives logical systems as the set of valid formulae they determine. Thus, according to...

  14. Compositional proofs in differential dynamic logic dL

    Lunel, Simon; Boyer, Benoît; Talpin, Jean-Pierre
    International audience

  15. Compositional proofs in differential dynamic logic dL

    Lunel, Simon; Boyer, Benoît; Talpin, Jean-Pierre
    International audience

  16. On shift-invariant maximal filters and hormonal cellular automata

    Cervelle, Julien; Lafitte, Grégory
    International audience

  17. Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence

    Mounier-Kuhn, Pierre
    Part 1: Invited Talks

  18. Effectiveness of Production Planning and Control (PPC) in a Baby Fashion Cluster, Under the Prism of Paraconsistent Logic

    Lima, Elizangela; Papalardo, Fabio; Sacomano, Jose,; Tavares, Priscila,; Barboza, Esdras
    Part 3: Knowledge-Based PLM

  19. Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ

    Pimenta Junior, Avelino,; Abe, Jair,; Silva, Genivaldo,
    Part 1: Computational Intelligence in Production Managements

  20. ERP Software Quality Using Paraconsistent Logic

    Tavaves, Priscila,; Abe, Jair,; Silva, Genivaldo,; Pimenta Jr., Avelino,
    Part 17: Knowledge Management in Production Systems

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.