Relevant bibliographies by topics / Access to propositional knowledge

Contents

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

Academic literature on the topic 'Access to propositional knowledge'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

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 'Access to propositional knowledge.'

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 "Access to propositional knowledge"

1

Semenkov, Vadim E. "The Political Economy of useful knowledge of Joel Mokyr." Bulletin of the Far Eastern Federal University. Economics and Management, no. 3 (75) (December 30, 2015): 81–96. https://doi.org/10.5281/zenodo.46052.

Full text
Abstract:
The article outlines the main provisions of the new work on the knowledge economy of contemporary American scholar Joel Mokyr. In "The Gifts of Athena" Joel Mokyr argues that rapid economic growth in the West over the past two centuries has been associated not only with the advent of modern technical ideas, but also with a significant improvement in access to these ideas in society. This access expansion was made possible by access to social networks consisting of universities, publishing houses, clubs of specialists engineers, etc.
APA, Harvard, Vancouver, ISO, and other styles
2

SILLARI, GIACOMO. "QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS." Review of Symbolic Logic 1, no. 4 (2008): 514–29. http://dx.doi.org/10.1017/s1755020308090072.

Full text
Abstract:
Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have “epistemological” access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to logical omniscience. The two
APA, Harvard, Vancouver, ISO, and other styles
3

Bogdan, Radu J. "The epistemological illusion." Behavioral and Brain Sciences 18, no. 2 (1995): 390–91. http://dx.doi.org/10.1017/s0140525x00039078.

Full text
Abstract:
AbstractI argue against the mentalist view that commonsense psychology (CSP) is about the intrinsic properties of the mind, and in particular against the notion that the evidence privately or publicly available to the CS psychologists confirms the mentalist view. I suggest that the internal phenomenology of mental attitudes merely provides access to a body of procedural knowledge, and that the propositional forms of the attitudes normally summarize extensive units of procedural knowledge.
APA, Harvard, Vancouver, ISO, and other styles
4

Libby, Lisa K., Greta Valenti, Karen A. Hines, and Richard P. Eibach. "Using imagery perspective to access two distinct forms of self-knowledge: Associative evaluations versus propositional self-beliefs." Journal of Experimental Psychology: General 143, no. 2 (2014): 492–97. http://dx.doi.org/10.1037/a0033705.

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

Davidson, Donald. "Three Varieties of Knowledge." Royal Institute of Philosophy Supplement 30 (September 1991): 153–66. http://dx.doi.org/10.1017/s1358246100007748.

Full text
Abstract:
I know, for the most part, what I think, want, and intend, and what my sensations are. In addition, I know a great deal about the world around me. I also sometimes know what goes on in other people's minds. Each of these three kinds of empirical knowledge has its distinctive characteristics. What I know about the contents of my own mind I generally know without investigation or appeal to evidence. There are exceptions, but the primacy of unmediated self-knowledge is attested by the fact that we distrust the exceptions until they can be reconciled with the unmediated. My knowledge of the world
APA, Harvard, Vancouver, ISO, and other styles
6

Felecan, Daiana. "Enunțiator asumat vs enunțiator reținut: evidențialitatea." Philologica Jassyensia 38, no. 2 (2023): 153–60. http://dx.doi.org/10.60133/pj.2023.2.11.

Full text
Abstract:
Evidentiality is a semantic-pragmatic category by means of which one can assess the extent of speakers’ participation in the propositional content of the language facts stated. In other words, evidentiality refers to using a succession of language-specific codes called evidentials, to embed in a message the sources on which speakers rely to gain access to the discursive meaning. This eminently theoretical article takes into consideration the various ways in which evidentiality is manifested in Romanian. In everyday speech, evidentiality corresponds to sources of knowledge/information, and lang
APA, Harvard, Vancouver, ISO, and other styles
7

Wijesekara, Patikiri Arachchige Don Shehan Nilmantha. "Ethical Knowledge Sharing Leveraging Blockchain: An Overview." Science, Engineering and Technology 4, no. 1 (2024): First. http://dx.doi.org/10.54327/set2024/v4.i1.126.

Full text
Abstract:
The knowledge that is acquired through a learning process has ethical concerns when shared, as there can be restrictions on the parties who can use the piece of knowledge, redistribution approaches protecting the creator's rights, privacy, and confidentiality concerns, accuracy and trustworthiness, openness and transparency, and informed consent. Blockchain structure encompasses a series of coupled blocks that are intrinsically linked with the conservation of authenticity, ensuring irrefutability, and the semi-anonymity of transactions. As pioneers in reviewing BC-based ethical Knowledge Shari
APA, Harvard, Vancouver, ISO, and other styles
8

Gasparri, Luca. "Knowledge Indicative and Knowledge Conductive Consensus." Journal of the Philosophy of History 7, no. 2 (2013): 162–82. http://dx.doi.org/10.1163/18722636-12341248.

Full text
Abstract:
Abstract A traditional proposition in the philosophy and the sociology of science wants that consensus between specialists of a scientific discipline is a reliable indicator of their access to genuine knowledge. In an interesting reassessment of this principle, Aviezer Tucker has analyzed the implications and the significance of this thesis in relation to historical research, and has established that parts of the historiographical community that display high degrees of consensus among their practitioners can be described in terms of the same relationship existing in empirical sciences between
APA, Harvard, Vancouver, ISO, and other styles
9

Nyame, Gabriel, and Zhiguang Qin. "Precursors of Role-Based Access Control Design in KMS: A Conceptual Framework." Information 11, no. 6 (2020): 334. http://dx.doi.org/10.3390/info11060334.

Full text
Abstract:
Role-based access control (RBAC) continues to gain popularity in the management of authorization concerning access to knowledge assets in organizations. As a socio-technical concept, the notion of role in RBAC has been overemphasized, while very little attention is given to the precursors: role strain, role ambiguity, and role conflict. These constructs provide more significant insights into RBAC design in Knowledge Management Systems (KMS). KMS is the technology-based knowledge management tool used to acquire, store, share, and apply knowledge for improved collaboration and knowledge-value cr
APA, Harvard, Vancouver, ISO, and other styles
10

Brenner, Joseph E. "Prolegomenon to a Logic for the Information Society." tripleC: Communication, Capitalism & Critique. Open Access Journal for a Global Sustainable Information Society 7, no. 1 (2009): 38–73. http://dx.doi.org/10.31269/triplec.v7i1.75.

Full text
Abstract:
The rapid development of information and communication technologies and their applications has stimulated many definitions of an Information Society (IS), and the related concept of a Knowledge-Based Economy (KBE) from the technological, political and economic standpoints. The ethics proposed for the emerging IS has concentrated on reducing inequalities in access to technological developments.In a key Report, “ICTs and Society”, Hofkirchner et al. (2007) insist that a new evolutionary, descriptive and normative theory “for, about and by means of” the IS is necessary to support emergence of a m
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Access to propositional knowledge"

1

DIETRICH, ERIC STANLEY. "COMPUTER THOUGHT: PROPOSITIONAL ATTITUDES AND META-KNOWLEDGE (ARTIFICIAL INTELLIGENCE, SEMANTICS, PSYCHOLOGY, ALGORITHMS)." Diss., The University of Arizona, 1985. http://hdl.handle.net/10150/188116.

Full text
Abstract:
Though artificial intelligence scientists frequently use words such as "belief" and "desire" when describing the computational capacities of their programs and computers, they have completely ignored the philosophical and psychological theories of belief and desire. Hence, their explanations of computational capacities which use these terms are frequently little better than folk-psychological explanations. Conversely, though philosophers and psychologists attempt to couch their theories of belief and desire in computational terms, they have consistently misunderstood the notions of computation
APA, Harvard, Vancouver, ISO, and other styles
2

Kunke, Timothy Edward. "Attitude externalism and the state of knowing : towards a disjunctive account of propositional knowledge." Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/28938.

Full text
Abstract:
This thesis is broadly about the structure of propositional knowledge and the ways in which an individual knower can have such knowledge. More specifically, it is about the epistemology of factive psychological attitudes and the view that knowing is a purely mental state. I take such a view as being not so much a theory of knowledge, but rather an accounting of how we know, or the ways in which we know. In arguing for this view I offer a different interpretation of certain epistemic conditions, like seeing and remembering and try to show how understanding the metaphysics of mental states and e
APA, Harvard, Vancouver, ISO, and other styles
3

Namasivayam, Gayathri. "ON SIMPLE BUT HARD RANDOM INSTANCES OF PROPOSITIONAL THEORIES AND LOGIC PROGRAMS." UKnowledge, 2011. http://uknowledge.uky.edu/gradschool_diss/132.

Full text
Abstract:
In the last decade, Answer Set Programming (ASP) and Satisfiability (SAT) have been used to solve combinatorial search problems and practical applications in which they arise. In each of these formalisms, a tool called a solver is used to solve problems. A solver takes as input a specification of the problem – a logic program in the case of ASP, and a CNF theory for SAT – and produces as output a solution to the problem. Designing fast solvers is important for the success of this general-purpose approach to solving search problems. Classes of instances that pose challenges to solvers can help
APA, Harvard, Vancouver, ISO, and other styles
4

Ponce, Ana F. "College Knowledge| How Immigrant Latino Parents Access Information." Thesis, Loyola Marymount University, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3560450.

Full text
Abstract:
<p> Among ethnic groups in California, Latinos continue to have the lowest high school graduation rates and the lowest college completion rates. This study focused on understanding the role parents can play and ways schools and educators can support immigrant Latino parents to improve these rates. </p><p> Framed with a <i>funds of knowledge</i> approach (Gonzalez, N., Moll, L., &amp; Amanti, C.,2005), this mixed-methods qualitative and quantitative study was conducted in a public charter high school in a low income area of Los Angeles where the student body was primarily Latino. The missio
APA, Harvard, Vancouver, ISO, and other styles
5

Chakravarthy, Anil S. "Information access and retieval with semantic background knowledge." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/61087.

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

Ola, Olukunle Rotimi. "Developing a framework for open access knowledge in Nigeria." Thesis, Australian Catholic University, 2016. https://acuresearchbank.acu.edu.au/download/bcd3656d2995f740a22261927ff070aa7b52cfae2b4a33b72715b72dc650f95c/3360680/Ola_2016_Developing_a_framework.pdf.

Full text
Abstract:
The thesis provides an analysis of the legal and policy dimensions of open access to research, education and public sector information with special focus on Nigeria. It aims to investigate how open access has evolved across the world and how such initiatives could be implemented in Nigeria. It seeks to connect Nigerian works to the ‘global library’ thereby providing visibility and increasing the possibilities for impact and utility of such works. It seeks to provide a platform where Nigerians are able to freely connect to the ‘global library’, through the open access dual platforms of self-arc
APA, Harvard, Vancouver, ISO, and other styles
7

Hanson, Charlotte Emily. "The epistemological significance of reflective access." Thesis, University of Stirling, 2010. http://hdl.handle.net/1893/2513.

Full text
Abstract:
This thesis is, in part, a defence of a broad-based approach to epistemology. We should be wary of taking too narrow a focus and thus neglecting important aspects of knowledge. If we are too focused on one methodology then we are likely to miss insights that can come about from a different perspective. With this in mind, I investigate two particular methodologies in detail: Kornblith’s naturalism and Craig’s ‘genealogical’ approach. Kornblith emphasises the importance of looking at knowledge in the context of the natural world, thus stressing the continuity between animal and human knowledge.
APA, Harvard, Vancouver, ISO, and other styles
8

Greenberg, Jane. "A Comparison of Web Resource Access Experiments:Planning for the New Millennium." the Library of Congress, 2000. http://hdl.handle.net/10150/105784.

Full text
Abstract:
Over the last few years the bibliographic control community has initiated a series of experiments that aim to improve access to the growing number of valuable information resources that are increasingly being placed on World Wide Web (here after referred to as Web resources). Much has been written about these experiments, mainly describing their implementation and features, and there has been some evaluative reporting, but there has been little comparison among these initiatives. The research reported on in this paper addresses this limitation by comparing five leading experiments in this area
APA, Harvard, Vancouver, ISO, and other styles
9

Ferrés, Domènech Daniel. "Knowledge-based and data-driven approaches for geographical information access." Doctoral thesis, Universitat Politècnica de Catalunya, 2017. http://hdl.handle.net/10803/461635.

Full text
Abstract:
Geographical Information Access (GeoIA) can be defined as a way of retrieving information from textual collections that includes the automatic analysis and interpretation of the geographical constraints and terms present in queries and documents. This PhD thesis presents, describes and evaluates several heterogeneous approaches for the following three GeoIA tasks: Geographical Information Retrieval (GIR), Geographical Question Answering (GeoQA), and Textual Georeferencing (TG). The GIR task deals with user queries that search over documents (e.g. ¿vineyards in California?) and the GeoQA task t
APA, Harvard, Vancouver, ISO, and other styles
10

Sawyer, Sarah Ann. "Semantic externalism and self knowledge : privileged access to the world." Thesis, King's College London (University of London), 1997. http://sas-space.sas.ac.uk/1016/.

Full text
Abstract:
The thesis is concerned to defend the compatibility of two plausible claims about the mind; semantic externalism and privileged access. It is further concerned to demonstrate one important implication of the conjunction of semantic externalism and privileged access, an implication which forces the rejection of the dichotomy between knowledge of one’s mind and knowledge of one’s world. Chapter one is a presentation of semantic externalism. Chapter two is a presentation of the claim of privileged access. The claim of privileged access is formulated in response to the following question. How can
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Access to propositional knowledge"

1

Katsuno, Hirofumi. Propositional knowledge base revision and minimal change. Computer Science Dept., University of Toronto, 1990.

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

Darling-Hammond, Linda. Inequality and access to knowledge. NCREST, 1995.

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

Brie, Gertler, ed. Privileged access: Philosophical accounts of self-knowledge. Ashgate, 2003.

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

Strass, Alan R. Unleashing knowledge workers' access to corporate information. Information Management Forum, 1996.

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

Stephanidis, Constantine, and Margherita Antona, eds. Universal Access in Human-Computer Interaction. Universal Access to Information and Knowledge. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07440-5.

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

1955-, Drahos Peter, Mayne Ruth, and Oxfam GB, eds. Global intellectual property rights: Knowledge, access, and development. Palgrave Macmillan, 2002.

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

Beldiman, Dana. Access to information and knowledge: 21st century challenges in intellectual property and knowledge governance. Edward Elgar, 2013.

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

Amy, Kapczynski, and Krikorian Gaëlle 1972-, eds. Access to knowledge in the age of intellectual property. Zone Books, 2010.

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

E, Rowley J., and Hartley Richard J, eds. Organizing knowledge: an introduction to managing access to information. 4th ed. Ashgate, 2007.

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

E, Rowley J. Organizing knowledge: An introduction to managing access to information. 3rd ed. Gower, 2000.

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

Book chapters on the topic "Access to propositional knowledge"

1

Westhofen, Lukas, Christian Neurohr, Jean Christoph Jung, and Daniel Neider. "Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57246-3_10.

Full text
Abstract:
AbstractFor developing safe automated systems, recognizing safety-critical situations in data from their complex operational domain is imperative. This capability is, for example, essential when evaluating the system’s conformance to specified requirements in test run data. The requirements involve a temporal dimension, as the system operates over time. Moreover, the generated data are usually relational and require additional background knowledge about the domain for correctly recognizing the situation. This fact makes propositional temporal logics, an established tool, unsuitable for the tas
APA, Harvard, Vancouver, ISO, and other styles
2

Wu, Xia, Jigui Sun, Shuai Lu, Ying Li, Wei Meng, and Minghao Yin. "Improved Propositional Extension Rule." In Rough Sets and Knowledge Technology. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11795131_86.

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

Littlejohn, Clayton. "Knowledge-First Theories of Justification." In Propositional and Doxastic Justification. Routledge, 2022. http://dx.doi.org/10.4324/9781003008101-20.

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

Maier, Ronald, Thomas Hädrich, and René Peinl. "Access Services." In Enterprise Knowledge Infrastructures. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-89768-2_5.

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

Simion, Mona, J. Adam Carter, and Christoph Kelp. "On Behalf of Knowledge-First Collective Epistemology1." In Propositional and Doxastic Justification. Routledge, 2022. http://dx.doi.org/10.4324/9781003008101-15.

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

Meng, Hua, Yayan Yuan, Jielei Chu, and Hongjun Wang. "Belief Revision Over Infinite Propositional Language." In Knowledge Science, Engineering and Management. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25159-2_79.

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

Zhou, Yi, and Xiaoping Chen. "Toward Formalizing Usefulness in Propositional Language." In Knowledge Science, Engineering and Management. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11811220_55.

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

Rauzy, Antoine. "Knowledge extraction in trivalued propositional logic." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54659-6_103.

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

Quaeghebeur, Erik. "A Propositional CONEstrip Algorithm." In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08852-5_48.

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

Berg, Karen van den, and Stephan Schmidt-Wulffen. "Performative Knowledge." In Handbook Transdisciplinary Learning. transcript Verlag, 2023. http://dx.doi.org/10.14361/9783839463475-028.

Full text
Abstract:
The article discusses the challenges of teaching non-propositional forms of knowledge in higher education and introduces methods, practices and developments involved in teaching embodied and performative forms of knowledge. In so doing, the contribution introduces cases and discusses why the teaching of non-codifiable forms of knowledge requires didactic approaches different from the ordinary lecture hall and seminar room setting and its codes of conduct.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Access to propositional knowledge"

1

Lagniez, Jean-Marie, and Emmanuel Lonca. "Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/48.

Full text
Abstract:
The All-Solution Satisfiability Problem (AllSAT) extends SAT by requiring the identification of all possible solutions for a propositional formula. In practice, enumerating all complete models is often infeasible, making the identification of partial models essential for generating a concise representation of the solution set. Deterministic Decomposable Negation Normal Form (d-DNNF) serves as a language for representation known to offer polynomial-time algorithms for model enumeration. Specifically, when a propositional formula is encoded in d-DNNF, it enables iterative model enumeration with
APA, Harvard, Vancouver, ISO, and other styles
2

Baader, Franz, and Renata Wassermann. "Contractions Based on Optimal Repairs." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/9.

Full text
Abstract:
Removing unwanted consequences from a knowledge base has been investigated in belief change under the name contraction and is called repair in ontology engineering. Simple repair and contraction approaches based on removing statements from the knowledge base (respectively called belief base contractions and classical repairs) have the disadvantage that they are syntax-dependent and may remove more consequences than necessary. Belief set contractions do not have these problems, but may result in belief sets that have no finite representation if one works with logics that are not fragments of pr
APA, Harvard, Vancouver, ISO, and other styles
3

Bienvenu, Meghyn, Katsumi Inoue, and Daniil Kozhemiachenko. "Abductive Reasoning in a Paraconsistent Framework." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/13.

Full text
Abstract:
We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-known Belnap-Dunn paraconsistent four-valued logic BD: BD-circ introduces formulas of the form circ phi (‘the information about phi is reliable’), while BD-triangle augments the language with formulas triangle phi (‘there is information that phi is true’). We define and motivate the notions of abduction problems and explanations in BD-circ and BD-triangle and show that they are not reducible to one another. We analyse t
APA, Harvard, Vancouver, ISO, and other styles
4

Fernández-Duque, David, Brett McLean, and Lukas Zenger. "A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/33.

Full text
Abstract:
Intuitionistic linear temporal logic (iLTL) has been studied extensively, especially in the last decade. It enjoys natural semantics over intuitionistic Kripke frames equipped with an order-preserving function representing the temporal dynamics, known as 'expanding models'. This leads to a logic that is known to be decidable but whose axiomatisation has long remained open. We propose an extension of iLTL with the co-implication connective of Hilbert–Brouwer logic and call it 'bi-intuitionistic linear temporal logic' (biLTL). We establish that this extension is still decidable for the class of
APA, Harvard, Vancouver, ISO, and other styles
5

Rodrigues, Agnaldo M., and João Carlos Gluz. "SAAPIEnS: Uma Ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional." In Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. Sociedade Brasileira de Computação, 2014. https://doi.org/10.5753/wesaac.2014.33304.

Full text
Abstract:
The need of tools to help teachers, which are able to assist them in planning, implementation and monitoring of the teaching-learning process, is an important necessity in the educational area. In some cases, difficulties to access to these technologies, coupled with the lack of knowledge and understanding on the part of teachers, undermines the way in which educational contents could be developed and used. This is the main motivation behind the creation of SAAPIEnS authoring and monitoring. The tool has a multiagent system architecture built over the Heraclito system. It makes possible for te
APA, Harvard, Vancouver, ISO, and other styles
6

Hees, van, Marco, Inge Oskam, and Nancy Bocken. "Business models of collaborative urban upcycling initiatives: Understanding how strategic partnerships accelerate upcycling of discarded furniture and interior design products." In New Business Models 2023. Maastricht University Press, 2023. http://dx.doi.org/10.26481/mup.2302.22.

Full text
Abstract:
This study examines the business models of collaborative urban upcycling initiatives in European cities, which aim to reduce local solid waste streams. The study identifies various types of partnerships in urban upcycling, including partnerships with public stakeholders and private partnerships between local entrepreneurs and larger corporations. The value propositions of upcycling initiatives are largely based on providing services, such as creative-technical capabilities, knowledge, creative design skills, community or platform access, or repair skills. Partnerships focus on availability of
APA, Harvard, Vancouver, ISO, and other styles
7

Schockaert, Steven, and Henri Prade. "Merging Conflicting Propositional Knowledge by Similarity." In 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2009. http://dx.doi.org/10.1109/ictai.2009.56.

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

Bo, Chen, Wu Cheng, Zhang Bing, Ma Changhui, and Sui Yuefei. "Quantified Propositional Logic and Translations." In 2017 13th International Conference on Semantics, Knowledge and Grids (SKG). IEEE, 2017. http://dx.doi.org/10.1109/skg.2017.00010.

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

Chen, Bo, Kang Zhao, Bing Zhang, et al. "The B5-Modalized Propositional Logic." In 2019 15th International Conference on Semantics, Knowledge and Grids (SKG). IEEE, 2019. http://dx.doi.org/10.1109/skg49510.2019.00035.

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

Chang, Zhiyan, Yang Xu, Jiajun Lai, and Xiqing Long. "A Comparison between Lattice-Valued Propositional Logic LP(X) and Gradational Lattice-Valued Propositional Logic Lvpl." In International Conference on Intelligent Systems and Knowledge Engineering 2007. Atlantis Press, 2007. http://dx.doi.org/10.2991/iske.2007.268.

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

Reports on the topic "Access to propositional knowledge"

1

Baader, Franz, Stefan Borgwardt, and Marcel Lippmann. On the Complexity of Temporal Query Answering. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.191.

Full text
Abstract:
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (i) the fact base is not assumed to contain complete knowledge (i.e., there is no closed world assumption), and (ii) the interpretation of the predicates occurring in the queries is constrained by axioms of an ontology. OBDA has been investigated in detail for the case where the ontology is expressed by an appropriate Description Logic (DL) and the queries are conjunctive queries. Motivated by situation awareness applications, we investigate an extension of OBDA to the temporal case. As query lan
APA, Harvard, Vancouver, ISO, and other styles
2

Thost, Veronika, Jan Holste, and Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.

Full text
Abstract:
Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporal query answering w.r.t. ontologies formulated in the Description Logic DL-Lite. Focusing on temporal conjunctive queries (TCQs), which combine conjunctive queries via the operators of propositional linear temporal logic, we regard three approaches for answering them: an iterative algorithm that considers all data available; a window-based algorithm; and a rewriting approach, which translates the TCQ
APA, Harvard, Vancouver, ISO, and other styles
3

Borgwardt, Stefan, and Veronika Thost. Temporal Query Answering in EL. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.214.

Full text
Abstract:
Context-aware systems use data about their environment for adaptation at runtime, e.g., for optimization of power consumption or user experience. Ontology-based data access (OBDA) can be used to support the interpretation of the usually large amounts of data. OBDA augments query answering in databases by dropping the closed-world assumption (i.e., the data is not assumed to be complete any more) and by including domain knowledge provided by an ontology. We focus on a recently proposed temporalized query language that allows to combine conjunctive queries with the operators of the well-known pr
APA, Harvard, Vancouver, ISO, and other styles
4

Karp, Peter D. Supporting Multiuser Access to Large-Scale Persistent Knowledge Bases. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada329281.

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

Empey, Heather. Faculty knowledge and perceptions of open access publishing at UNBC. Self, 2016. http://dx.doi.org/10.24124/2016/59114.

Full text
Abstract:
This report is meant to summarize the results of a survey of UNBC faculty undertaken in 2016. Researchers from three institutions (Nipissing University, Royal Roads University and the University of Northern British Columbia) collaborated on this study and results were collected for all institutions.
APA, Harvard, Vancouver, ISO, and other styles
6

Research Institute (IFPRI), International Food Policy. Knowledge and data: Achieving food and nutrition security through open access. International Food Policy Research Institute, 2018. http://dx.doi.org/10.2499/9780896292970_06.

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

Bourgaux, Camille, and Anni-Yasmin Turhan. Temporal Query Answering in DL-Lite over Inconsistent Data. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.236.

Full text
Abstract:
In ontology-based systems that process data stemming from different sources and that is received over time, as in context-aware systems, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-based query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic and extend to this setting three inconsistency-tolerant se
APA, Harvard, Vancouver, ISO, and other styles
8

Subhani, MI. VIRTUAL INTERNATIONAL CONFERENCE ON IS OPEN ACCESS KNOWLEDGE CRITICAL IN SCHOLARLY COMMUNICATION? ILMA University, 2021. http://dx.doi.org/10.46745/ilma.oric.conference.2021.01.

Full text
Abstract:
Office of Research, Innovations &amp; Commercialization, ILMA University as always plays a significant role of stimuli to provoke the understanding of publishing protocols among the publishers and other stakeholders of scholarly communications. In continuation to this role, Office of Research, Innovations &amp; Commercialization-ILMA University is hosting a virtual international conference on IS OPEN ACCESS KNOWLEDGE CRITICAL IN SCHOLARLY COMMUNICATION? With this note, to spread growing significance of Open Access Knowledge in Scholarly Communication, I am extending an Official Invitation to y
APA, Harvard, Vancouver, ISO, and other styles
9

Baader, Franz, and Marcel Lippmann. Runtime Verification Using a Temporal Description Logic Revisited. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.203.

Full text
Abstract:
Formulae of linear temporal logic (LTL) can be used to specify (wanted or unwanted) properties of a dynamical system. In model checking, the system’s behaviour is described by a transition system, and one needs to check whether all possible traces of this transition system satisfy the formula. In runtime verification, one observes the actual system behaviour, which at any point in time yields a finite prefix of a trace. The task is then to check whether all continuations of this prefix to a trace satisfy (violate) the formula. More precisely, one wants to construct a monitor, i.e., a finite au
APA, Harvard, Vancouver, ISO, and other styles
10

Borgwardt, Stefan, and Veronika Thost. Temporal Query Answering in DL-Lite with Negation. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.221.

Full text
Abstract:
Ontology-based query answering augments classical query answering in databases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We investigate temporal query answering w.r.t. ontologies formulated in DL-Lite, a family of description logics that captures the conceptual features of relational databases and was tailored for efficient query answering. We consider a recently proposed temporal query language that combines conjunctive queries with the operators of propositional linear temporal logic (LTL). In particular, we consider negation in the onto
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Access to propositional knowledge' 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