Results 11 to 20 of about 136,009 (290)
SHACL: A Description Logic in Disguise [PDF]
International Conference on Logic Programming and Non-Monotonic Reasoning, 2021 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its ...
B. Bogaerts +2 more
semanticscholar +1 more source
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
Logical Methods in Computer Science, 2011 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
Kord Eickmeyer, Martin Grohe
doaj +1 more source
An Axiomatic Account of Question Evocation: The Propositional Case
Axioms, 2016 An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven.
Andrzej Wiśniewski
doaj +1 more source
Erotetic Reasoning Corpus. A data set for research on natural question processing
Journal of Language Modelling, 2018 The aim of this paper is to present the Erotetic Reasoning Corpus (ERC) which constitutes a data set for research on natural question processing. We describe the theoretical background, linguistic data and tags used for the annotation process.
Paweł Łupkowski +12 more
doaj +1 more source
La determinación de la lógica como ciencia común intencional en Duns Escoto
Franciscanum, 2016 This paper studies the first two questions of John Duns Scotus’s Commentary on Porphyry’s Isagoge. In these questions, Scotus establishes the scientific character of logic against the Aristotelian objection which defines logic as method of science.
Héctor Hernando Salinas
doaj +1 more source
The Potential of Negation Questions for Affecting the Audience in Dehkhoda's Amsal-o-Hekam [PDF]
Literary ArtsThe negation question is one of the rhetorical questions that are widely used in language and literature. Poets and writers use it according to the situation to persuade the audience.
Zohre Ahmadipooranari +2 more
doaj +1 more source
Open Problems in a Logic of Gossips [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on a point-to-point or group communication.
Krzysztof R. Apt, Dominik Wojtczak
doaj +1 more source
Alles eine Frage der Logik?! Erkenntnisse einer Mixed-Method-Studie zur Pkw-Nutzung in Berlin [PDF]
Geographica Helvetica, 2021 This paper is an empirical mixed-method study on car use in an urban context. It explores the questions: What mobility practices do people in the city display? What role does car use play in this context?
L. Gebhardt, R. Oostendorp
doaj +1 more source
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj +1 more source
Informal Logic, 2000 In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we
J. Anthony Blair, Ralph H. Johnson
doaj +1 more source