Relevant bibliographies by topics / Question (Logic)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Question (Logic)'

Author: Grafiati
Published: 4 June 2021
Last updated: 31 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Question (Logic).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Question (Logic)"

1

Girle, Roderic A., and Jonathan McKeown-Green. "Methodological Issues for the Logic of Questions and Commands." International Journal of Cognitive Informatics and Natural Intelligence 6, no. 3 (July 2012): 1–18. http://dx.doi.org/10.4018/jcini.2012070101.

Full text
Abstract:
There has been much recent interest in logics for questions and commands. The authors approve, but they argue that methodological issues must be addressed, before it is possible to understand what such logics are for and what they should be like. In particular, the authors deny that the formulas in such logics correspond directly to sentences in ordinary language. Logic is not linguistics. What then are the semantics for the formulas of logics of questions and commands? The focus here is mostly on questions. The authors argue that logics designed to capture the conditions for correct reasoning involving questions require a semantics that treats question-answer pairs as values. They also argue that formal dialogue approaches to the logic of questions should be interpreted in the light of the denial that logic is about language.
APA, Harvard, Vancouver, ISO, and other styles
2

Trzęsicki, Kazimierz. "Indeterministic Temporal Logic." Studies in Logic, Grammar and Rhetoric 42, no. 1 (September 1, 2015): 139–62. http://dx.doi.org/10.1515/slgr-2015-0034.

Full text
Abstract:
Abstract The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.
APA, Harvard, Vancouver, ISO, and other styles
3

Furbach, Ulrich, Ingo Glöckner, Hermann Helbig, and Björn Pelzer. "Logic-Based Question Answering." KI - Künstliche Intelligenz 24, no. 1 (February 5, 2010): 51–55. http://dx.doi.org/10.1007/s13218-010-0010-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zhelnin, Anton Igorevich. "Objective embodiment of logic: from computational machines to life and intelligence?" Философская мысль, no. 2 (February 2024): 34–48. http://dx.doi.org/10.25136/2409-8728.2024.2.69896.

Full text
Abstract:
The subject of article is a critical analysis of the objectification of logic and, in particular, the idea of its embodiment in the living. The question of the essence and boundaries of the concept of bio-logic is raised and considered. The problem of logics's embodiment raises from its fuzzy ontological status. The novelty of the study lies in that it shows that the solution of the question of bio-logic directly depends on the question of the essence of logics as such, the views on which has gone through strong transformations during its history. Idea of logic's objectivization has became possible due to not only conceptual philosophical constructions, but also the computational revolution, which made practical implementation of logical principles in the functioning of computing machines possible. Concept of logic has subtly expanded and transformed into the idea of orderliness and algorithmicity. It is shown that such an expansive interpretation of the logical is not applicable to biosystems, because they are living totalities, where everything is reciprocal and continuously interconnected. Even such computationally similar systems as the genome and the brain turn out to be autopoietic entities that nonlinearly create themselves without following formal rules. Paradoxically, the intelligence, which was considered the cradle of logic, also turns out to be flexible and adaptive, because it is also rooted in biology. The vital fundament of living intelligence prevents its artificial modelling through logico-computational and algorithmic phenomena. Main conclusion is that question of bio-logic depends on the optics of considering logic as such, and is also associated with bio-ontology, an understanding of the essence of life. Our analysis shows that there are not sufficient grounds to recognize the existence of a special biological logic immanent to living things, which, however, has potential as a philosophical and scientific metaphor.
APA, Harvard, Vancouver, ISO, and other styles
5

Shirley, Greg. "Logic: The Question of Truth." History and Philosophy of Logic 32, no. 2 (May 2011): 193–96. http://dx.doi.org/10.1080/01445340.2010.543360.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Маркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (April 9, 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.

Full text
Abstract:
In this paper we discuss a question about the trends in non-classical logic that were exactly anticipated by Niko- lai Vasiliev. We show the influence of Vasiliev’s Imaginary logic on paraconsistent logic. Metatheoretical relations between Vasiliev’s logical systems and many-valued predicate logics are established. We also make clear that Vasiliev has developed a sketch of original system of intensional logic and expressed certain ideas of modal and temporal logics.
APA, Harvard, Vancouver, ISO, and other styles
7

Kuznetsov, Stepan. "Action Logic is Undecidable." ACM Transactions on Computational Logic 22, no. 2 (May 15, 2021): 1–26. http://dx.doi.org/10.1145/3445810.

Full text
Abstract:
Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. One of the operations of this logic is the Kleene star, which is axiomatized by an induction scheme. For a stronger system that uses an -rule instead (infinitary action logic), Buszkowski and Palka (2007) proved -completeness (thus, undecidability). Decidability of action logic itself was an open question, raised by Kozen in 1994. In this article, we show that it is undecidable, more precisely, -complete. We also prove the same undecidability results for all recursively enumerable logics between action logic and infinitary action logic, for fragments of these logics with only one of the two lattice (additive) connectives, and for action logic extended with the law of distributivity.
APA, Harvard, Vancouver, ISO, and other styles
8

Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.

Full text
Abstract:
AbstractFrom the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emergence of a wide variety of non-classical logics and the understanding of the limitations presented by first-order classical logic, it became necessary to consider logic programming based on other types of reasoning in addition to classical reasoning. A type of reasoning that has been well studied is the paraconsistent, that is, the reasoning that tolerates contradictions. However, although there are many paraconsistent logics with different types of semantics, their application to logic programming is more delicate than it first appears, requiring an in-depth study of what can or cannot be transferred directly from classical first-order logic to other types of logic.Based on studies of Tarcisio Rodrigues on the foundations of Paraconsistent Logic Programming (2010) for some Logics of Formal Inconsistency (LFIs), this thesis intends to resume the research of Rodrigues and place it in the specific context of LFIs with three- and four-valued semantics. This kind of logics are interesting from the computational point of view, as presented by Luiz Silvestrini in his Ph.D. thesis entitled “A new approach to the concept of quase-truth” (2011), and by Marcelo Coniglio and Martín Figallo in the article “Hilbert-style presentations of two logics associated to tetravalent modal algebras” [Studia Logica (2012)]. Based on original techniques, this study aims to define well-founded systems of paraconsistent logic programming based on well-known logics, in contrast to the ad hoc approaches to this question found in the literature.Abstract prepared by Kleidson Êglicio Carvalho da Silva Oliveira.E-mail: kecso10@yahoo.com.brURL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/322632
APA, Harvard, Vancouver, ISO, and other styles
9

Somerville, James. "Collingwood’s Logic of Question and Answer." Monist 72, no. 4 (1989): 526–41. http://dx.doi.org/10.5840/monist198972427.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Achilleos, Antonis. "A complexity question in justification logic." Journal of Computer and System Sciences 80, no. 6 (September 2014): 1038–45. http://dx.doi.org/10.1016/j.jcss.2014.03.009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Question (Logic)"

1

Aston, G. V. "Early Indian logic and the question of Greek influence." Thesis, University of Canterbury. Philosophy, 2004. http://hdl.handle.net/10092/4626.

Full text
Abstract:
The main arguments for Greek influence in Indian logic are that the Indian and Greek systems of logic display more similarities than can be reasonably explained as the result of coincidence; that Indian logic, unlike Greek logic, shows no signs of progressing through stages of development; that Greek logic pre-dates Indian logic; that the Greeks were in India at the right time to influence Indian logicians; and that the Greeks are known to have influenced Indians in areas other than logic, e.g. art and astronomy. I show that the arguments for Greek influence in Indian logic are not compelling. Moreover, I present a case that Indian logic most likely developed without Greek influence. The main argument against Greek influence in Indian logic is that there are developmental stages in Indian logic, and these demonstrate that logic in India most probably evolved from the ancient tradition of debate in a manner completely independent of any Greek influence. My account of early Indian logic draws on a wide variety of sources. These range from the very earliest surviving records that describe the days of the Buddha (fifth century BC) down to the works of Nāgārjuna (second century AD). These sources include ancient works on debate, as well as religious, philosophical and medical works. The logically significant material scattered through these works has been separated from all other extraneous material and arranged both chronologically and by topic. My thesis therefore presents the essential features of early Indian logic without the complications normally associated with research in this area. The stages in the development of early Indian logic show that there is no need to invoke Greek influence in order to account for the existence of well-developed logic in India during the Hellenistic period.
APA, Harvard, Vancouver, ISO, and other styles
2

Masto, Meghan B. "Knowledge, questions and answers." Amherst, Mass. : University of Massachusetts Amherst, 2009. http://scholarworks.umass.edu/dissertations/AAI3379990/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Torres, Parra Jimena Cecilia. "A Perception Based Question-Answering Architecture Derived from Computing with Words." Available to subscribers only, 2009. http://proquest.umi.com/pqdweb?did=1967797581&sid=1&Fmt=2&clientId=1509&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Palavalasa, Swetha Rao. "Implementation of Constraint Propagation Tree for Question Answering Systems." Available to subscribers only, 2009. http://proquest.umi.com/pqdweb?did=1796121021&sid=6&Fmt=2&clientId=1509&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Besler, Arman. "A Discussion On How To Formulate The Question Of Contingency In Leibniz&#039." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12609504/index.pdf.

Full text
Abstract:
The main objective of this study is to shed light on some difficulties involved in the formulation of the problem of contingency in Leibniz&rsquo
s philosophical system. Leibniz&rsquo
s mature philosophy is characterized by the solutions he proposes for this problem, and the ontological ideas underlying or assisting them. &lsquo
The problem of contingency&rsquo
refers to the tension between his conceptual containment theory of truth and his claim that true existential propositions &ndash
that is, propositions which concern actual individuals &ndash
are all contingent. Though Leibniz does not seem to have one definite theory of contingency, two general lines of thought can nevertheless be discerned from his fragments on propositions and propositional truth. The first one is the infinite analysis theory, which is regarded in general as Leibniz&rsquo
s real theory of contingency, and the other is a theory of necessity, providing a division between absolute and hypothetical modalities. This thesis is not a study on the question whether Leibniz did really manage to solve the problem, but rather an attempt to trace the problem to its logical and ontological origins, and redefine it under a relatively simple form. It is first shown that Leibniz&rsquo
s theory of propositions relies heavily on his ontological conception of modalities, which covers the idea of a division between pure possibility and actuality
and then this idea is shown to be reflected on the logical level as a division between essential and existential truths. Finally it is argued that the two lines of thought and some peculiar characteristics of Leibniz&rsquo
s conception of modalities bring us to the conclusion that his real problem is the (deliberate) inability of his propositional calculus to express the difference between truths of reason (essential truths) and truths of fact (existential truths) as a logical structural one.
APA, Harvard, Vancouver, ISO, and other styles
6

Keller, Chantal. "Question de confiance : communication sceptique entre Coq et des prouveurs externes." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00838322.

Full text
Abstract:
Cette thèse présente une coopération entre l'assistant de preuve Coq et certains prouveurs externes basée sur l'utilisation de traces de preuves. Nous étudions plus particulièrement deux types de prouveurs pouvant renvoyer des certicats : d'une part, les réponses des prouveurs SAT et SMT peuvent être vériées en Coq afin d'augmenter à la fois la confiance qu'on peut leur porter et l'automatisation de Coq ; d'autre part, les théorèmes établis dans des assistants de preuves basés sur la Logique d'Ordre Supérieur peuvent être exportés en Coq et re-vérifiés, ce qui permet d'établir des preuves formelles mêlant ces deux paradigmes logiques. Cette étude a abouti à deux logiciels : SMTCoq, une coopération bi-directionnelle entre Coq et des prouveurs SAT/SMT, et HOLLIGHTCOQ, un outil important les théorèmes de HOL Light en Coq. L'architecture de chacun de ces deux développements a été pensée de manière modulaire et efficace, en établissant une séparation claire entre trois composants: un encodage en Coq du formalisme de l'outil externe qui est ensuite traduit avec soin vers des termes Coq, un vérificateur certifié pour établir les preuves, et un pré-processeur écrit en Ocaml traduisant les traces venant de prouveurs différents dans le même format de certicat. Grâce à cette séparation, un changement dans le format de traces n'affecte que le pré-processeur, sans qu'il soit besoin de modier du code ou des preuves Coq. Un autre composant essentiel pour l'efficacité et la modularité est la réflexion calculatoire, qui utilise les capacités de calcul de Coq pour établir des preuves à la fois courtes et génériques à partir des certificats.
APA, Harvard, Vancouver, ISO, and other styles
7

Uçan, Timur. "La question du solipsisme dans les premiers travaux de Sartre et Wittgenstein." Thesis, Bordeaux 3, 2016. http://www.theses.fr/2016BOR30065.

Full text
Abstract:
Le solipsisme a été thématisé comme un préalable pour fonder la connaissance au dix-septième siècle. Cette doctrine suggérait, qu’en vue de la certitude, il fallait admettre transitoirement la concevabilité d'un doute portant sur l'existence du monde extérieur en totalité et des autres esprits. L'existence du monde extérieur a pu ainsi être tenue pour établie à l'occasion de preuves de l'existence d'un créateur unique ou tenue pour assurée à l’aide d'une déduction transcendantale. En comparaison, rien ne semble pouvoir prouver l'existence des autres. D'une part, rien ne semble compter comme une preuve a posteriori de l'existence d’autrui, puisque ce doute ne peut s'appuyer sur l'expérience. D'autre part, une preuve permettant de lever ce doute ne peut être produite a priori, puisque l'absence empirique généralisée des autres est concevable a posteriori. Ainsi, rien ne semble exclure la possibilité d'une découverte a priori de son unicité. Cette thèse entreprend de mettre au jour le traitement de cette difficulté par Sartre et Wittgenstein. Les deux philosophes se sont confrontés à l'illusion de confinement qui est le corollaire de l’admission, à titre de possibilité pertinente, de l'absence généralisée des autres esprits. Sartre propose dans L'être et le néant une preuve conceptuelle de l'existence d'autrui pour montrer que ledit problème théorique de l'existence d'autrui est un faux-problème, tandis que Wittgenstein propose dans le Tractatus de dissoudre les problèmes philosophiques de l'existence du monde extérieur et des autres esprits par le biais d'une réflexion sur les conditions d'intelligibilité de l'expression. Dans les deux cas, il s'agit de dissiper l’apparence d’un doute portant sur le monde en totalité et du même coup sur les autres esprits. Non seulement une preuve de l'existence d'autrui est impossible, mais elle est en plus superflue. Ainsi, requérir une telle preuve ne peut que conduire à manquer l’obviété de nos engagements envers les autres, et par là au déni de leurs existences
Solipsism was conceived as a preliminary to grounding knowledge in the seventeenth century. This doctrine suggested that, in order to achieve certainty, one had to temporarily admit the conceivability of doubt about the existence of other minds and the external world as a whole. The existence of the external world was then taken to be established by means of proofs of the existence of a unique creator, or assured by means of transcendental deduction. By comparison, nothing seems to prove the existence of others. On the one hand, nothing seems to count as proof a posteriori of the existence of others, for the doubt it would dispel cannot be grounded in experience. On the other hand, nor can a proof which would dispel such doubt be produced a priori, for the empirical and generalized absence of others is conceivable a posteriori. Thus, nothing seems to exclude the possibility of an a priori discovery of one’s unicity. This thesis endeavours to bring out the similarity of the treatment of this difficulty by Sartre and Wittgenstein. Each of these philosophers confronted the illusion of confinement that presupposes admitting the generalized absence of others. In Being and Nothingness, Sartre proposes a conceptual means to establish that the theoretical problem of the existence of other minds is a pseudo-problem. In the Tractatus, Wittgenstein proposes to dissolve the philosophical problems of the existence of the external world and the existence of other minds via reflexion on the intelligibility conditions of expression. Both cases involve dispelling the appearance that doubt about the world and other minds is possible and required. Not only that proof of the existence of other minds is impossible, it is also superfluous. To require such a proof therefore can lead to nothing but missing the obviousness of our commitments to others, and thereby to denying their existence
APA, Harvard, Vancouver, ISO, and other styles
8

Ward, Jeffrey Alan. "Answer set programming with clause learning." Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1092840020.

Full text
Abstract:
Thesis (Ph. D.)--Ohio State University, 2004.
Title from first page of PDF file. Document formatted into pages; contains xv, 170 p. : ill. Advisors: Timothy J. Long and John S. Schlipf, Department of Computer Science and Engineering. Includes bibliographical references (p. 165-170).
APA, Harvard, Vancouver, ISO, and other styles
9

Ahmadi, Masoumeh. "La question du bonheur dans l'oeuvre de Christian Bobin." Phd thesis, Université de Bourgogne, 2012. http://tel.archives-ouvertes.fr/tel-00795714.

Full text
Abstract:
Cette thèse cherche à connaître le bonheur tel que Bobin conçoit et projette dans son œuvre. Pour ce but, l'approche bachelardienne nous a servi à définir dans l'œuvre de Bobin un élément symbolique pour le bonheur : la flamme. Pour traiter la question du temps et sa complexité, très liée à notre question principale, les réflexions de Bachelard, de Bergson et de la physique moderne sur le temps sont prises en référence ainsi que la " logique du contradictoire " (de Lupasco). Les images plus attachées à l'intellect sont analysées suivant les travaux d'Henry Corbin et définies comme " images-corps-réalités ". Elles témoignent d'un regard mystique chez Bobin. Une tendance vers la géopoétique pour acquérir l'Unité du monde s'ajoute aussi à ce regard. Et une langue d'" anima/animus " et un processus de la production du sens, " hélice du sens ", interviennent pour traduire l'intransmissible en fragments. Cela rend l'écriture de Bobin " fragmentaire ", ce que nous avons désigné comme un nouveau genre : " poésie-prose " mystique.
APA, Harvard, Vancouver, ISO, and other styles
10

Fialho, Pedro Miguel Rocha Pereira. "Sistema de pergunta-resposta em área médica." Master's thesis, Universidade de Évora, 2012. http://hdl.handle.net/10174/11785.

Full text
Abstract:
A correta implementação de sistemas de pergunta-resposta representa uma mudança no conceito de interação entre Homem e máquina devido à utilização exclusiva de linguagem humana na comunicação em ambos os sentidos. Existem ainda poucas alternativas de sistemas de pergunta-resposta para língua portuguesa, orientados a domínios médicos ou baseados em ontologias e/ou programação em lógica. Esta dissertação descreve a implementação e avaliação de um sistema de pergunta-resposta em lógica contextual para interrogação em português de uma ontologia de relatórios neurovasculares definindo uma combinação inovadora de tecnologias em sistemas de pergunta-resposta. Esta abordagem é avaliada com um conjunto de perguntas formulado especificamente para este domínio médico relativamente a precisão, cobertura, acerto e pontuação F revelando resultados satisfatórios/medianos; ### Abstract: The mature development of question answering systems sets a turning point in humancomputer interaction due to the exclusive use of human language on both ways of communication. There are still few alternatives for question answering systems for the portuguese language, medical domain oriented or based on ontologies and/or logic programming. This thesis describes the development and evaluation of a question answering system in contextual logic allowing portuguese queries on an ontology of neurovascular reports defining a new combination of technologies in question answering systems. This approach is evaluated with a domain specific question set for precision, recall, accuracy and F-score showing reasonable results.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Question (Logic)"

1

Béziau, Jean-Yves, Jean-Pierre Desclés, Amirouche Moktefi, and Anca Christine Pascu, eds. Logic in Question. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94452-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Heidegger, Martin. Logic: The question of truth. Bloomington: Indiana University Press, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Heidegger, Martin. Logic: The question of truth. Bloomington: Indiana University Press, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Obstfeld, Maurice. The logic of currency crisis. Berkeley, CA: University of California at Berkeley, Center for German and European Studies), 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Obstfeld, Maurice. The logic of currency crisis. Cambridge, MA: National Bureau of Economic Research, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Koj, Leon. Inquiries into the generating and proper use of questions. Lublin: Wydawn. Uniwersytetu Marii Curie-Skłodowskiej, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wiśniewski, Andrzej. The posing of questions: Logical foundations of erotetic inferences. Dordrecht: Kluwer Academic Publishers, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Averʹi͡anov, L. I͡A. Pochemu li͡udi zadai͡ut voprosy? Moskva: "Sot͡siolog", 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Akademia, Haykakan SSH Gitutʻyunneri, and Filosofskoe obshchestvo SSSR. Haykakan Bazhanmunkʻ, eds. Filosofskie problemy argumentat︠s︡ii. Erevan: Izd-vo AN Armi︠a︡nskoĭ SSR, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Obstfeld, Maurice. The logic of currency crises. Cambridge, MA: National Bureau of Economic Research, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Question (Logic)"

1

Ciardelli, Ivano. "Dependency as Question Entailment." In Dependence Logic, 129–81. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31803-5_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Williams, Leighton Vaughan. "A Question of Strategy." In Twisted Logic, 172–95. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Williams, Leighton Vaughan. "A Question of Chance." In Twisted Logic, 109–36. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Williams, Leighton Vaughan. "A Question of Choice." In Twisted Logic, 74–108. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Williams, Leighton Vaughan. "A Question of Paradox." In Twisted Logic, 35–73. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Williams, Leighton Vaughan. "A Question of Reason." In Twisted Logic, 137–54. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Williams, Leighton Vaughan. "A Question of Truth." In Twisted Logic, 155–71. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Williams, Leighton Vaughan. "A Question of Evidence." In Twisted Logic, 1–34. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003402862-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Girle, Roderic A. "The Question of the Question in Critical Thinking?" In Tools for Teaching Logic, 93–100. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21350-2_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kawana, Yuichiro. "The Politics of the Irish Land Question." In Logic and Society, 179–201. New York: Palgrave Macmillan US, 2017. http://dx.doi.org/10.1057/978-1-137-52221-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Question (Logic)"

1

Chumakov, V. A. "To the logic of the emergence of the universe." In General question of world science. "Наука России", 2019. http://dx.doi.org/10.18411/gq-30-03-2019-12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Burdescu, Dumitru Dan, Marian Cristian Mihaescu, and Bogdan Logofatu. "Question recommender with ML business logic." In 2008 30th International Conference on Information Technology Interfaces (ITI). IEEE, 2008. http://dx.doi.org/10.1109/iti.2008.4588485.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kamya, Suraj, Madhuri Sachdeva, Navdeep Dhaliwal, and Sonit Singh. "Fuzzy logic based Intelligent Question Paper Generator." In 2014 IEEE International Advance Computing Conference (IACC). IEEE, 2014. http://dx.doi.org/10.1109/iadcc.2014.6779494.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Khot, Tushar, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, and Oren Etzioni. "Exploring Markov Logic Networks for Question Answering." In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2015. http://dx.doi.org/10.18653/v1/d15-1080.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sethuraman, Muralikrishnna G., Ali Payani, Faramarz Fekri, and J. Clayton Kerce. "Visual Question Answering based on Formal Logic." In 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE, 2021. http://dx.doi.org/10.1109/icmla52953.2021.00157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

HUA, XIA, JIANG LIU, and GUOHUA WU. "ON A QUESTION OF CSIMA ON COMPUTATION-TIME DOMINATION." In Proceedings of the 12th Asian Logic Conference. WORLD SCIENTIFIC, 2013. http://dx.doi.org/10.1142/9789814449274_0010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bakari, Wided, Omar Trigui, and Mahmoud Neji. "Logic-based approach for improving Arabic question answering." In 2014 IEEE International Conference on Computational Intelligence and Computing Research (ICCIC). IEEE, 2014. http://dx.doi.org/10.1109/iccic.2014.7238319.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Shi, Jihao, Xiao Ding, Li Du, Ting Liu, and Bing Qin. "Neural Natural Logic Inference for Interpretable Question Answering." In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2021. http://dx.doi.org/10.18653/v1/2021.emnlp-main.298.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Groza, Adrian, and Cristian Nitu. "Question answering over logic puzzles using theorem proving." In SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3477314.3507177.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Monin, Benoit. "An answer to the Gamma question." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209117.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Question (Logic)"

1

Baader, Franz, Stefan Borgwardt, and Barbara Morawska. Computing Minimal EL-Unifiers is Hard. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.187.

Full text
Abstract:
Unification has been investigated both in modal logics and in description logics, albeit with different motivations. In description logics, unification can be used to detect redundancies in ontologies. In this context, it is not sufficient to decide unifiability, one must also compute appropriate unifiers and present them to the user. For the description logic EL, which is used to define several large biomedical ontologies, deciding unifiability is an NP-complete problem. It is known that every solvable EL-unification problem has a minimal unifier, and that every minimal unifier is a local unifier. Existing unification algorithms for EL compute all minimal unifiers, but additionally (all or some) non-minimal local unifiers. Computing only the minimal unifiers would be better since there are considerably less minimal unifiers than local ones, and their size is usually also quite small. In this paper we investigate the question whether the known algorithms for EL-unification can be modified such that they compute exactly the minimal unifiers without changing the complexity and the basic nature of the algorithms. Basically, the answer we give to this question is negative.
APA, Harvard, Vancouver, ISO, and other styles
2

Horrocks, Ian, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.94.

Full text
Abstract:
As widely argued [HG97; Sat96], transitive roles play an important role in the adequate representation of aggregated objects: they allow these objects to be described by referring to their parts without specifying a level of decomposition. In [HG97], the Description Logic (DL) ALCHR+ is presented, which extends ALC with transitive roles and a role hierarchy. It is argued in [Sat98] that ALCHR+ is well-suited to the representation of aggregated objects in applications that require various part-whole relations to be distinguished, some of which are transitive. However, ALCHR+ allows neither the description of parts by means of the whole to which they belong, or vice versa. To overcome this limitation, we present the DL SHI which allows the use of, for example, has part as well as is part of. To achieve this, ALCHR+ was extended with inverse roles. It could be argued that, instead of defining yet another DL, one could make use of the results presented in [DL96] and use ALC extended with role expressions which include transitive closure and inverse operators. The reason for not proceeding like this is the fact that transitive roles can be implemented more efficiently than the transitive closure of roles (see [HG97]), although they lead to the same complexity class (ExpTime-hard) when added, together with role hierarchies, to ALC. Furthermore, it is still an open question whether the transitive closure of roles together with inverse roles necessitates the use of the cut rule [DM98], and this rule leads to an algorithm with very bad behaviour. We will present an algorithm for SHI without such a rule. Furthermore, we enrich the language with functional restrictions and, finally, with qualifying number restrictions. We give sound and complete decision proceduresfor the resulting logics that are derived from the initial algorithm for SHI. The structure of this report is as follows: In Section 2, we introduce the DL SI and present a tableaux algorithm for satisfiability (and subsumption) of SI-concepts—in another report [HST98] we prove that this algorithm can be refined to run in polynomial space. In Section 3 we add role hierarchies to SI and show how the algorithm can be modified to handle this extension appropriately. Please note that this logic, namely SHI, allows for the internalisation of general concept inclusion axioms, one of the most general form of terminological axioms. In Section 4 we augment SHI with functional restrictions and, using the so-called pairwise-blocking technique, the algorithm can be adapted to this extension as well. Finally, in Section 5, we show that standard techniques for handling qualifying number restrictions [HB91;BBH96] together with the techniques described in previous sections can be used to decide satisfiability and subsumption for SHIQ, namely ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Although Section 5 heavily depends on the previous sections, we have made it self-contained, i.e. it contains all necessary definitions and proofs from scratch, for a better readability. Building on the previous sections, Section 6 presents an algorithm that decides the satisfiability of SHIQ-ABoxes.
APA, Harvard, Vancouver, ISO, and other styles
3

Bano, Masooda, and Daniel Dyonisius. Community-Responsive Education Policies and the Question of Optimality: Decentralisation and District-Level Variation in Policy Adoption and Implementation in Indonesia. Research on Improving Systems of Education (RISE), August 2022. http://dx.doi.org/10.35489/bsg-rise-wp_2022/108.

Full text
Abstract:
Decentralisation, or devolving authority to the third tier of government to prioritise specific policy reforms and manage their implementation, is argued to lead to pro-poor development for a number of reasons: local bureaucrats can better gauge the local needs, be responsive to community demands, and, due to physical proximity, can be more easily held accountable by community members. In the education sector, devolving authority to district government has thus been seen as critical to introducing reforms aimed at increasing access and improving learning outcomes. Based on fieldwork with district-level education bureaucracies, schools, and communities in two districts in the state of West Java in Indonesia, this article shows that decentralisation has indeed led to community-responsive policy-development in Indonesia. The district-level education bureaucracies in both districts did appear to prioritise community preferences when choosing to prioritise specific educational reforms from among many introduced by the national government. However, the optimality of these preferences could be questioned. The prioritised policies are reflective of cultural and religious values or immediate employment considerations of the communities in the two districts, rather than being explicitly focused on improving learning outcomes: the urban district prioritised degree completion, while the rural district prioritised moral education. These preferences might appear sub-optimal if the preference is for education bureaucracies to focus directly on improving literacy and numeracy outcomes. Yet, taking into account the socio-economic context of each district, it becomes easy to see the logic dictating these preferences: the communities and the district government officials are consciously prioritising those education policies for which they foresee direct payoffs. Since improving learning outcomes requires long-term commitment, it appears rational to focus on policies promising more immediate gains, especially when they aim, indirectly and implicitly, to improve actual learning outcomes. Thus, more effective community mobilisation campaigns can be developed if the donor agencies funding them recognise that it is not necessarily the lack of information but the nature of the local incentive structures that shapes communities’ expectations of education. Overall, decentralisation is leading to more context-specific educational policy prioritisation in Indonesia, resulting in the possibility of significant district-level variation in outcomes. Further, looking at the school-level variation in each district, the paper shows that public schools ranked as high performing had students from more privileged socio-economic backgrounds and were catering for communities that had more financial resources to support activities in the school, compared with schools ranked as low performing. Thus, there is a gap to bridge within public schools and not just between public and private schools.
APA, Harvard, Vancouver, ISO, and other styles
4

Ruschak, Ilga, Pilar Montesó-Curto, Lluís Rosselló, Carina Aguilar Martín, Laura Sánchez-Montesó, and Loren Toussaint. Fibromyalgia Syndrome Pain in Men and Women: A Scoping Review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, December 2022. http://dx.doi.org/10.37766/inplasy2022.12.0105.

Full text
Abstract:
Review question / Objective: This review aims to (1) determine how pain is assessed or what types of questionnaires are used, (2) examine whether there are differences in pain characteristics between men and women with FMS, and (3) describe how pain is conceptualized or manifested in patients at a qualitative level. In this study, the scoping review method of articles published in the last 5 years (2016-2022) was used. Information sources: The bibliographic search was carried out during the months of February and July 2022. The electronic databases used for the search were PubMed, SCOPUS, CINAHL, Web of Science and Google Scholar. In each of these, an exhaustive search was performed using a combination of Boolean logic and truncations for the following keywords: "pain", "fibromyalgia", "men", "women", "conceptualiza-tion", "manifestation", "score" and “assessment".
APA, Harvard, Vancouver, ISO, and other styles
5

Dunne, Neil, Greta Cattabriga, and Nathan O’Néill. Narrating Homeownership: Media Discourse and Lived Experiences of Mortgaged Homeownership in Sweden. Malmö University, 2023. http://dx.doi.org/10.24834/isbn.9789178773497.

Full text
Abstract:
In the housing literature, Sweden is often portrayed as a so-called “cost-rental” society associated with tenure neutrality, where rental housing should be an attractive alternative – and not just a step in the way – to homeownership. A large and well-developed rental sector has traditionally made it possible for young adults to leave their family home at a relatively young age. However, this logic has been clearly disrupted as rental housing has become harder to access and homeownership has been favoured by incremental ideological political shifts and fiscal policy encouraging homeownership. As more households – also young ones – are steered into homeownership, Sweden has become one of the most mortgage-indebted nations in the OECD. This working paper on homeownership and mortgagization takes on the question of mortgaged indebtedness in discourse and practice. The working paper is the joint product of two different studies written as part of the research internship in the project “Financialisation of everyday life. Intersectional perspectives on housing and labor precarity” at Malmö university, led by Chiara Valli. In the first section, Neil Dunne presents a discourse analysis on how homeownership has been discussed in the largest newspapers in Sweden over the last decades, while Greta Cattabriga and Nathan O’Néill in the second section discuss perceptions and lived experiences of mortgaged homeownership on the basis of interviews with young adults. Put together, the two studies contribute with significant additions to the discussion about whether Sweden is moving towards a homeownership society and what the potential consequences are for young adults.
APA, Harvard, Vancouver, ISO, and other styles
6

Dunn, Lewis, Andrey Baklitskiy, and Tong Zhao. Some Thoughts on the Logic of Strategic Arms Control: Three Perspectives. The United Nations Institute for Disarmament Research, January 2021. http://dx.doi.org/10.37559/wmd/21/ddac/01.

Full text
Abstract:
Who are the proponents of strategic arms control? Why do they advocate it? What are their major assumptions? What are the important uncertainties of arms control? What is the relationship between strategic arms control and nuclear disarmament and nuclear deterrence? This paper, the fifth in UNIDIR’s nuclear dialogue series, explores these questions building on the perspectives of US, Chinese and Russian experts—Lewis A. Dunn, Andrey Baklitskiy and Tong Zhao—and drawing in the views of diverse and informed participants in UNIDIR’s Dialogue on Nuclear Disarmament, Deterrence and Strategic Arms Control.
APA, Harvard, Vancouver, ISO, and other styles
7

Dunn, Lewis, Andrey Baklitskiy, and Tong Zhao. Some Thoughts on the Logic of Strategic Arms Control: Three Perspectives. The United Nations Institute for Disarmament Research, January 2021. http://dx.doi.org/10.37559/wmd/21/ddac/01.

Full text
Abstract:
Who are the proponents of strategic arms control? Why do they advocate it? What are their major assumptions? What are the important uncertainties of arms control? What is the relationship between strategic arms control and nuclear disarmament and nuclear deterrence? This paper, the fifth in UNIDIR’s nuclear dialogue series, explores these questions building on the perspectives of US, Chinese and Russian experts—Lewis A. Dunn, Andrey Baklitskiy and Tong Zhao—and drawing in the views of diverse and informed participants in UNIDIR’s Dialogue on Nuclear Disarmament, Deterrence and Strategic Arms Control.
APA, Harvard, Vancouver, ISO, and other styles
8

McElhaney, Kevin, Anthony Baker, Carly Chillmon, Zareen Kasad, Babe Liberman, and Jeremy Roschelle. An Initial Logic Model to Guide OpenSciEd Research: Updated Version. Digital Promise, March 2022. http://dx.doi.org/10.51388/20.500.12265/152.

Full text
Abstract:
This white paper supports an ongoing effort to define a research agenda and catalyze a research community around the OpenSciEd curriculum materials. Rigorous research on these materials is needed in order to answer questions about the equitable design of instructional materials, impacts on student learning, effective and equitable classroom teaching practices, teacher professional development approaches, and models for school adoption that address the diverse needs of historically marginalized students in STEM. Research findings have the potential to advance the knowledge, skills, and practices that will promote key student, teacher, and system outcomes. The research agenda stands to accelerate the research timeline and stimulate a broad range of research projects addressing these critical needs. To support the collaborative development and activation of the research agenda, we outline an initial logic model for OpenSciEd. The logic model can shape research efforts by clarifying intended relationships among (1) the principles, commitments, and key affordances of OpenSciEd; (2) the components of OpenSciEd and how they are implemented and supported in classrooms, schools, districts, and states; and (3) the desired outcomes of OpenSciEd.
APA, Harvard, Vancouver, ISO, and other styles
9

Beach, Rachel, and Vanessa van den Boogaard. Tax and Governance in the Context of Scarce Revenues: Inefficient Tax Collection and its Implications in Rural West Africa. Institute of Development Studies, August 2023. http://dx.doi.org/10.19088/ictd.2023.035.

Full text
Abstract:
The expansion of the ‘tax net’ has commanded considerable domestic and international policy attention as a means of financing essential services, reducing dependence on international aid, and producing positive ‘government dividends.’ A growing body of research, however, questions the logic of extending the tax base, particularly among individuals and businesses in the urban informal economy, highlighting the associated revenue inefficiencies, negative equity implications, and lack of a direct relationship between tax payment and government accountability.
APA, Harvard, Vancouver, ISO, and other styles
10

Fabregues, Sergi. Introduction to Mixed Methods Research. Instats Inc., 2023. http://dx.doi.org/10.61700/mgrotvwij3o3a532.

Full text
Abstract:
This two-day seminar focuses on mixed methods research and is designed to introduce participants to its principles and practical considerations. It covers the logic, designs, and procedures of integrating qualitative and quantitative methods, aiming to enhance the understanding of multifaceted research phenomena. The seminar is practical in nature, discussing the rationale, research questions, design types, integration strategies, and quality reporting principles of mixed methods research. Geared towards graduate students and early-stage researchers, it offers an opportunity for hands-on design work, discussions, and access to extensive online resources, including a chat forum and recordings, along with an official Instats certificate of completion.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Question (Logic)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography