Results for 'Natasha Mauthner'

390 found
Order:
  1.  50
    Open Access Digital Data Sharing: Principles, Policies and Practices☆.Natasha Susan Mauthner & Odette Parry - 2013 - Social Epistemology 27 (1):47 - 67.
    (2013). Open Access Digital Data Sharing: Principles, Policies and Practices☆. Social Epistemology: Vol. 27, No. 1, pp. 47-67. doi: 10.1080/02691728.2012.760663.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  5
    CHAPTER 10 Curated Panel: ‘New Materialisms across the Natural Sciences and Humanities: Trajectories, Inspirations and Stirrings’.Peta Hinton, Dagmar Lorenz-Meyer, Josef Barla, Veit Braun, Claude Draude, Waltraud Ernst, Xin Liu, Natasha Mauthner, Sigrid Schmitz, Jiřina Šmejkalová & Marianna Szczygielska - 2024 - In Felicity Colman & Iris van der Tuin (eds.), Methods and Genealogies of New Materialisms. Edinburgh University Press. pp. 212-238.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Fritz Mauthner, Sprache Und Leben Ausgewählte Texte Aus Dem Philosophischen Werk.Fritz Mauthner & Gershon Weiler - 1986
    No categories
     
    Export citation  
     
    Bookmark  
  4.  57
    Visual statistical learning in infancy: evidence for a domain general learning mechanism.Natasha Z. Kirkham, Jonathan A. Slemmer & Scott P. Johnson - 2002 - Cognition 83 (2):B35-B42.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   128 citations  
  5.  4
    Wörterbuch der philosophie: neue beiträge zu einer kritik der sprache.Fritz Mauthner (ed.) - 1923 - Leipzig,: Meiner.
  6.  91
    Verifying time, memory and communication bounds in systems of reasoning agents.Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib - 2009 - Synthese 169 (2):385-403.
    We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Is the Requirement of Sexual Exclusivity Consistent with Romantic Love?Natasha McKeever - 2017 - Journal of Applied Philosophy 34 (3):353-369.
    In some cultures, people tend to believe that it is very important to be sexually exclusive in romantic relationships and idealise monogamous romantic relationships; but there is a tension in this ideal. Sex is generally considered to have value, and usually when we love someone we want to increase the amount of value in their lives, not restrict it without good reason. There is thus a call, not yet adequately responded to by philosophers, for greater clarity in the reasons §why (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8. The paradox of natality: Teaching in the midst of belatedness.Natasha Levinson - 2001 - In Mordechai Gordon (ed.), Hannah Arendt and education: renewing our common world. Boulder, CO: Westview Press. pp. 11--36.
     
    Export citation  
     
    Bookmark   15 citations  
  9.  23
    The Ramsey theory of the universal homogeneous triangle-free graph.Natasha Dobrinen - 2020 - Journal of Mathematical Logic 20 (2):2050012.
    The universal homogeneous triangle-free graph, constructed by Henson [A family of countable homogeneous graphs, Pacific J. Math.38(1) (1971) 69–83] and denoted H3, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős–Hajnal–Posá [Strong embeddings of graphs into coloured graphs, in Infinite and Finite Sets. Vol.I, eds. A. Hajnal, R. Rado and V. Sós, Colloquia Mathematica Societatis János Bolyai, Vol. 10 (North-Holland, 1973), pp. 585–595] and culminating in work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  36
    Homogeneous iteration and measure one covering relative to HOD.Natasha Dobrinen & Sy-David Friedman - 2008 - Archive for Mathematical Logic 47 (7-8):711-718.
    Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  16
    The Ramsey theory of Henson graphs.Natasha Dobrinen - 2022 - Journal of Mathematical Logic 23 (1).
    Analogues of Ramsey’s Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author’s recent result for the triangle-free Henson graph, we prove that for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Zur grammatik und logik.Fritz Mauthner - 1902 - Stuttgart und Berlin,: Cotta.
     
    Export citation  
     
    Bookmark  
  13.  47
    Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.
    This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  24
    High dimensional Ellentuck spaces and initial chains in the tukey structure of non-p-points.Natasha Dobrinen - 2016 - Journal of Symbolic Logic 81 (1):237-263.
    The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  17
    Ethics of research at the intersection of COVID-19 and black lives matter: a call to action.Natasha Crooks, Geri Donenberg & Alicia Matthews - 2021 - Journal of Medical Ethics 47 (4):205-207.
    This paper describes how to ethically conduct research with Black populations at the intersection of COVID-19 and the Black Lives Matter movement. We highlight the issues of historical mistrust in the USA and how this may impact Black populations’ participation in COVID-19 vaccination trials. We provide recommendations for researchers to ethically engage Black populations in research considering the current context. Our recommendations include understanding the impact of ongoing trauma, acknowledging historical context, ensuring diverse research teams and engaging in open and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  36
    Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points.Natasha Dobrinen, José G. Mijares & Timothy Trujillo - 2017 - Archive for Mathematical Logic 56 (7-8):733-782.
    A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  19
    Philosophy and the War.Fritz Mauthner & Thomas Hainscho - 2023 - Journal of Continental Philosophy 4 (1):61-70.
    Fritz Mauthner’s essay Die Philosophie und der Krieg, published in October 1914, is among the nationalist writings of Mauthner written during the First World War. The essay explores the question of returning to philosophy after the war. Asking this question, Mauthner examines the relationship between war and philosophy and argues that the two concepts do not share any substantial points of contact. During his discussion, an unspoken premise of the question about the return to philosophy is revealed: (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. rendering life molecular: models, modelers, excitable matter.Natasha Myers - 2015
    No categories
     
    Export citation  
     
    Bookmark   22 citations  
  19.  33
    Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
    This paper investigates when it is possible for a partial ordering P to force Pκ(λ) \ V to be stationary in VP. It follows from a result of Gitik that whenever P adds a new real, then Pκ(λ) \ V is stationary in VP for each regular uncountable cardinal κ in VP and all cardinals λ > κ in VP [4]. However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  2
    Die drei Bilder der Welt. Ein sprachkritischer Versuch.Fritz Mauthner & Monty Jacobs - 1925 - Erlangen: Verlag der philosophischen Akademie. Edited by Monty Jacobs.
    Der Philosoph und Schriftsteller Fritz Mauthner, geb. am 22.11.1849 in Horschitz, Bohmen, befasste sich hauptsachlich mit der Sprachkritik und sah dies als seine Lebensarbeit an. In der Wissenschaft galt er immer als Freigeist. Mauthners Werk Die drei Bilder der Welt" ist ein unfertiges Buch, das posthum erschien.".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  89
    Conscience and conscientious objection of health care professionals refocusing the issue.Natasha T. Morton & Kenneth W. Kirkwood - 2009 - HEC Forum 21 (4):351-364.
    Conscience and Conscientious Objection of Health Care Professionals Refocusing the Issue Content Type Journal Article Pages 351-364 DOI 10.1007/s10730-009-9113-x Authors Natasha T. Morton, The University of Western Ontario Ontario Canada N6A 5B9 Kenneth W. Kirkwood, Arthur and Sonia Labatt Health Sciences Building London Ontario Canada N6A 5B9 Journal HEC Forum Online ISSN 1572-8498 Print ISSN 0956-2737 Journal Volume Volume 21 Journal Issue Volume 21, Number 4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  22. Altered Brain Microstate Dynamics in Adolescents with Narcolepsy.Natasha M. Drissi, Attila Szakács, Suzanne T. Witt, Anna Wretman, Martin Ulander, Henriettae Ståhlbrandt, Niklas Darin, Tove Hallböök, Anne-Marie Landtblom & Maria Engström - 2016 - Frontiers in Human Neuroscience 10.
  23. Belief ascription under bounded resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.
    There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of belief ascription in a resource-bounded setting. We show that for agents whose computational resources and memory are bounded, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  35
    Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems.Natasha Dobrinen - 2016 - Journal of Mathematical Logic 16 (1):1650003.
    We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25. What can we learn about romantic love from Harry Frankfurt’s account of love?Natasha Chloe McKeever - 2019 - Journal of Ethics and Social Philosophy 14 (3).
    Harry Frankfurt has a comprehensive and, at times, compelling, account of love, which are outlined in several of his works. However, he does not think that romantic love fits the ideal of love as it ‘includes a number of vividly distracting elements, which do not belong to the essential nature of love as a mode of disinterested concern’. In this paper, I argue that we can, nonetheless, learn some important things about romantic love from his account. Furthermore, I will suggest, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  17
    Afterword: Shifting the Terms of the Debate.Natasha D. Schüll - 2022 - Science, Technology, and Human Values 47 (2):360-365.
    The afterword discusses how this special issue’s articles work from different angles to unsettle the precepts of “attentional sovereignty” — the socially, politically, and economically valorized virtue that anchors most discussions over attention in its contemporary technological predicament. Whether the attentional sovereign appears in its liberal humanist or its neoliberal behavioral economic guise, sovereignty is valorized and considered under threat. By revealing the contemporary and historical backstories to our investment in this notion, these articles shift the terms of the debate (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  12
    Ethical Considerations in Research With People From Refugee and Asylum Seeker Backgrounds: A Systematic Review of National and International Ethics Guidelines.Natasha Davidson, Karin Hammarberg & Jane Fisher - forthcoming - Journal of Bioethical Inquiry:1-24.
    Refugees and asylum seekers may experience challenges related to pre-arrival experiences, structural disadvantage after migration and during resettlement requiring the need for special protection when participating in research. The aim was to review if and how people with refugee and asylum seeker backgrounds have had their need for special protection addressed in national and international research ethics guidelines. A systematic search of grey literature was undertaken. The search yielded 2187 documents of which fourteen met the inclusion criteria. Few guidelines addressed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Friends with Benefits: Is Sex Compatible with Friendship?Natasha McKeever - 2022 - In Diane Jeske (ed.), The Routledge Handbook of Philosophy of Friendship. New York, NY: Routledge. pp. 347-358.
    Natasha McKeever argues that prima facie, a friends-with-benefits relationship can be, at the same time, a good friendship. This is because sex is compatible with friendship in that it can complement and potentially even strengthen the three core characteristics of friendship: mutual liking, mutual caring, and mutual sharing. She acknowledges that, by generating uncertainty and having the potential to generate feelings of romantic love, sex does pose risks to friendship. However, she argues that while these risks are significant considerations, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  17
    Sunday Marketing, Contestations over Time, and Visions of Freedom Among Enslaved Antiguans After 1800.Natasha Lightfoot - 2007 - CLR James Journal 13 (1):109-135.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Aristotle.Fritz Mauthner - 1907 - New York,: McClure, Phillips. Edited by Charles D. Gordon.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Der Atheismus und seine Geschichte im Abendlande.Fritz Mauthner - 1920 - Berlin,: Deutsche Verlagsanstalt.
    1. Bd. Einleitung. Teufelsfurcht und Aufklärung im sogenannten Mittelalter.--2. Bd. Entdeckung der Natur und des Menschen. Lachende zweifler. Niederlande, England.--3. Bd. Aufklärung in Frankreich und in Deutschland. Die grosse Revolution (1. bis 11. Abschnitt)--4. Bd. Aufklärung. Grosse Revolution (12. bis 14. Abschnitt) Die letzten hundert Jahre. Reaktion. Materialismus. Gottlose mystik.
     
    Export citation  
     
    Bookmark   1 citation  
  32.  1
    Prager Jugendjahre.Fritz Mauthner - 1969 - (Frankfurt a.M.): S. Fischer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  1
    Wörterbuch der philosophie: neue beiträge zu einer kritik der sprache.Fritz Mauthner - 1923 - Leipzig,: Meiner.
  34.  63
    The wisdom of engineers.Natasha McCarthy - 2008 - The Philosophers' Magazine 41 (41):38-43.
    If we are willing to accept that a large part of our shared knowledge of the world includes engineering knowledge, then we can conclude that a lot of our sophisticated knowledge is steadfast; that it has been, and will continue to be, developed and improved upon.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  33
    The Drivers of Heuristic Optimization in Insect Object Manufacture and Use.Natasha Mhatre & Daniel Robert - 2018 - Frontiers in Psychology 9:369450.
    Insects have small brains and heuristics or ‘rules of thumb’ are proposed here to be a good model for how insects optimize the objects they make and use. Generally, heuristics are thought to increase the speed of decision making by reducing the computational resources needed for making decisions. By corollary, heuristic decisions are also deemed to impose a compromise in decision accuracy. Using examples from object optimization behavior in insects, we will argue that heuristics do not inevitably imply a lower (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  11
    Pedagogy and Performativity: Rendering Laboratory Lives in the Documentary Naturally Obsessed: The Making of a Scientist.Natasha Myers - 2010 - Isis 101 (4):817-828.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Neoliberalism, leadership, and democracy: Schumpeter on “Schumpeterian” theories of entrepreneurship.Natasha Piano - 2022 - European Journal of Political Theory 21 (4):715-737.
    This article reinterprets Schumpeter’s theory of entrepreneurship in a decidedly un-“Schumpeterian” way, and argues that continued emphasis on Schumpeter’s alleged glorification of the entrepreneur constitutes a missed opportunity for democratic critics of capitalism and neoliberalism. I demonstrate that Schumpeter did not exalt the individual entrepreneur as the paradigm for economic and political leadership in capitalist societies, and I show that he offers a surprisingly robust resource for reconceptualizing entrepreneurship. Schumpeter theorized entrepreneurship: as a phenomenon that could not be exemplified by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Then What Is the Question?Natasha Sajé - 1995 - Feminist Studies 21 (1):99.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  20
    Artificial Intelligence and Healthcare: The Impact of Algorithmic Bias on Health Disparities.Natasha H. Williams - 2023 - Springer Verlag.
    This book explores the ethical problems of algorithmic bias and its potential impact on populations that experience health disparities by examining the historical underpinnings of explicit and implicit bias, the influence of the social determinants of health, and the inclusion of racial and ethnic minorities in data. Over the last twenty-five years, the diagnosis and treatment of disease have advanced at breakneck speeds. Currently, we have technologies that have revolutionized the practice of medicine, such as telemedicine, precision medicine, big data, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    Forcing and the halpern–läuchli theorem.Natasha Dobrinen & Daniel Hathaway - 2020 - Journal of Symbolic Logic 85 (1):87-102.
    We investigate the effects of various forcings on several forms of the Halpern– Läuchli theorem. For inaccessible κ, we show they are preserved by forcings of size less than κ. Combining this with work of Zhang in [17] yields that the polarized partition relations associated with finite products of the κ-rationals are preserved by all forcings of size less than κ over models satisfying the Halpern– Läuchli theorem at κ. We also show that the Halpern–Läuchli theorem is preserved by <κ-closed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  74
    A logic of situated resource-bounded agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.
    We propose a framework for modelling situated resource-bounded agents. The framework is based on an objective ascription of intentional modalities and can be easily tailored to the system we want to model and the properties we wish to specify. As an elaboration of the framework, we introduce a logic, OBA, for describing the observations, beliefs, goals and actions of simple agents, and show that OBA is complete, decidable and has an efficient model checking procedure, allowing properties of agents specified in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  26
    Verification and Strategy Synthesis for Coalition Announcement Logic.Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin & Tuo Wang - 2021 - Journal of Logic, Language and Information 30 (4):671-700.
    Coalition announcement logic is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  20
    Business student ethics: Selected predictors of attitudes toward cheating.Natasha Coleman & Tom Mahaffey - 2000 - Teaching Business Ethics 4 (2):121-136.
  44.  7
    Strategies and Methodological Considerations in Choosing a Research Sample.Natasha Angeloska Galevska - 2023 - Годишен зборник на Филозофскиот факултет/The Annual of the Faculty of Philosophy in Skopje 76 (1):155-168.
    The text defines the fundamental terms relevant to the process of sampling, elaborates the characteristics of individual samples, selection strategies, and the key methodological issues and dilemmas of the researchers during the procedures of sampling. The selection of a sample is an essential aspect when planning the methodology of empirical research and has a key role in ensuring the reliability and validity of research results. Researchers should carefully consider the characteristics of the population and the specific research objectives and accordingly (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  26
    Correspondence and Completeness for Generalized Quantifiers.Natasha Alechina & Michiel van Lambalgen - 1995 - Logic Journal of the IGPL 3 (2-3):167-190.
  46.  16
    The virtues of idleness: A decidable fragment of resource agent logic.Natasha Alechina, Nils Bulling, Brian Logan & Hoang Nga Nguyen - 2017 - Artificial Intelligence 245 (C):56-85.
  47. Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
    The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...)
     
    Export citation  
     
    Bookmark   2 citations  
  48.  27
    A general method for proving decidability of intuitionistic modal logics.Natasha Alechina & Dmitry Shkatov - 2006 - Journal of Applied Logic 4 (3):219-230.
  49.  30
    Neoliberal Ideologies, Governmentality and the Academy: An examination of accountability through assessment and transparency.Natasha Jankowski & Staci Provezis - 2014 - Educational Philosophy and Theory 46 (5):475-487.
    Colleges and universities exist within a political arena where external demands for accountability materialize within a market-driven environment. As a result, government agencies pressure colleges and universities to rely on assessment and transparent reporting to become more market-driven assuming that the competition within the market, led by public choice and institutional selection, will drive improvements in learning and will also self-govern the institutions. This article explores how Foucault informs our conception of neoliberal governmentality through political rationality and technologies of self-governance (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  50
    Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
    We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 390