24,249 research outputs found

    Introduction to the 26th International Conference on Logic Programming Special Issue

    Get PDF
    This is the preface to the 26th International Conference on Logic Programming Special IssueComment: 6 page

    Automated Error-Detection and Repair for Compositional Software Specifications

    Get PDF

    Editorial: Composition in the English/literacy classroom

    Get PDF
    The act of writing is a complex task. About that, there is almost complete agreement, whether you are a psychologist, a linguist, a socio-cultural theorist, a teacher, or a student battling with an assignment deadline and a blank page. For the emergent writer in the infant classroom, the challenge of communicating in writing is compounded by the sheer effort of transcription – remembering to put spaces between words, shaping upper and lower case letters, marking sentence boundaries with full stops, and representing words in your head as accurately spelled sequences of letters on the page. For the older writer, the complexity persists, though the challenges change. Although transcribing text onto paper or screen may be less effortful, understanding the expectations of the writing task and imagining the needs of the (implied) reader create different obstacles to effortless composition

    What Can Artificial Intelligence Do for Scientific Realism?

    Get PDF
    The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling
    • 

    corecore