Relevant bibliographies by topics / Core logics

Contents

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

Academic literature on the topic 'Core logics'

Author: Grafiati
Published: 20 February 2023

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 'Core logics.'

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 "Core logics"

1

Yang, Eunsuk. "Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics." Axioms 10, no. 4 (October 25, 2021): 273. http://dx.doi.org/10.3390/axioms10040273.

Full text
Abstract:
Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.
APA, Harvard, Vancouver, ISO, and other styles
2

Yang, Eunsuk. "Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics." Fuzzy Sets and Systems 320 (August 2017): 1–16. http://dx.doi.org/10.1016/j.fss.2017.03.013.

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

Carnielli, Walter, Marcelo E. Coniglio, and Abilio Rodrigues. "Recovery operators, paraconsistency and duality." Logic Journal of the IGPL 28, no. 5 (January 2, 2019): 624–56. http://dx.doi.org/10.1093/jigpal/jzy054.

Full text
Abstract:
Abstract There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency (LFIs) and by the logics of formal undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices.
APA, Harvard, Vancouver, ISO, and other styles
4

Yang, Eunsuk. "Basic substructural core fuzzy logics and their extensions: Mianorm-based logics." Fuzzy Sets and Systems 301 (October 2016): 1–18. http://dx.doi.org/10.1016/j.fss.2015.09.007.

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

SKUMSRUD ANDERSEN, MORTEN. "Semi-cores in imperial relations: The cases of Scotland and Norway." Review of International Studies 42, no. 1 (April 20, 2015): 178–203. http://dx.doi.org/10.1017/s0260210515000030.

Full text
Abstract:
AbstractRecently, the field of International Relations has seen increased interest in international hierarchy, and also an upswing in the analytical study of imperial logics of rule. Nonetheless, existing structural models of empire focus on core-periphery dynamics, and so cannot explain polities that display elements of both core and periphery. Therefore, I offer the new concept of ‘semi-cores’. Semi-cores are a specific form of historical political associations whereby certain imperial provinces are different from the others in terms of the close relationships it maintains with the imperial metropolis. Semi-cores are different by virtue of being relatively similar. The conceptualisation of semi-cores is followed by a section illustrating its logic, examining the relatively unfamiliar cases of Scotland and Norway and their position within the Danish and British empires, respectively. Although being separate imperial provinces, these were tightly connected to an imperial core. This concept helps us better understand imperial logics, and in the process shows how cultural factors can be formalised into accounts of structural logics of rule, impacting our understanding of both historical and contemporary hierarchical international affairs.
APA, Harvard, Vancouver, ISO, and other styles
6

Cerami, Marco, and Francesc Esteva. "Strict core fuzzy logics and quasi-witnessed models." Archive for Mathematical Logic 50, no. 5-6 (May 1, 2011): 625–41. http://dx.doi.org/10.1007/s00153-011-0237-8.

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

Hodge, Emily M. "“Common” Instruction? Logics of Ability and Teacher Decision Making Across Tracks in the Era of Common Standards." American Educational Research Journal 56, no. 3 (October 20, 2018): 638–75. http://dx.doi.org/10.3102/0002831218803328.

Full text
Abstract:
This article investigates the interaction between the Common Core State Standards and curricular tracking by examining instructional decision making across tracks in a large metropolitan district. This study draws on institutional logics as a framework to analyze 106 instructional decisions from 24 participants involved in middle school literacy instruction. In lower-track classes, participants often adapted the curriculum and adopted a more teacher-centered approach. About half of the rationales for those decisions reflected a logic of tracking, less than a fifth reflected a logic of differentiation, and almost a third reflected elements of both logics. These findings demonstrate that despite common standards, a tracked school structure continues to serve as a powerful signal about the curriculum and instruction seen as appropriate for different groups of students.
APA, Harvard, Vancouver, ISO, and other styles
8

Sánchez, Juan Gabriel. "Framing the Common Core: An Analysis of Four Key Policy Actors." Teachers College Record: The Voice of Scholarship in Education 121, no. 8 (August 2019): 1–34. http://dx.doi.org/10.1177/016146811912100806.

Full text
Abstract:
Background/Context In recent years, the American political context has become increasingly divided, as exemplified by the debate over the Common Core State Standards. Initially a bipartisan national venture, the standards became immersed in controversy soon after their introduction in 2010. In the aftermath, a growing body of research has examined the Common Core at the policy level; yet little empirical research has analyzed the public messaging of key interest groups involved in the Common Core debate. Research Design This empirical study draws on frame analysis to unpack the public discourse of four policy actors involved in the debate over the Common Core: the Gates Foundation, Heritage Foundation, National Education Association, and education historian Diane Ravitch. It examines policy documents released by each actor to first understand the central public frames present in their discourse about the standards, then unearth the implicit logics embedded in these frames. Findings/Results Four underlying logics—market, technical, democratic, and pragmatic— emerged from the explicit frames used by the four actors. These logics overlap, some existing on both sides of the debate, with opponents such as Gates and Heritage Foundations often using competing public frames about innovation or freedom, while also drawing on similar implicit market-based assumptions about the purpose of education to inform their arguments for and against Common Core respectively. Conclusions/Recommendations These findings suggest intriguing similarities in the discourse of key actors involved in education reform and add nuance to growing fears that market-based logics dominate modern education policy. Yet some of the discourse still draws on democratic logics, the expressions of which between different actors. Methodologically, frame analysis emerges as a productive means of unpacking hidden or obscured ideas within policy and the discourse about that policy, especially when paired with the concept of logics, which mediate values and action.
APA, Harvard, Vancouver, ISO, and other styles
9

Ramanujam, R., Vaishnavi Sundararajan, and S. P. Suresh. "The complexity of disjunction in intuitionistic logic." Journal of Logic and Computation 30, no. 1 (January 2020): 421–45. http://dx.doi.org/10.1093/logcom/exaa018.

Full text
Abstract:
Abstract We study procedures for the derivability problem of fragments of intuitionistic logic. Intuitionistic logic is known to be PSPACE-complete, with implication being one of the main contributors to this complexity. In fact, with just implication alone, we still have a PSPACE-complete logic. We study fragments of intuitionistic logic with restricted implication and develop algorithms for these fragments which are based on the proof rules. We identify a core fragment whose derivability is solvable in linear time. Adding disjunction elimination to this core gives a logic which is solvable in co-NP. These sub-procedures are applicable to a wide variety of logics with rules of a similar flavour. We also show that we cannot do better than co-NP whenever disjunction elimination interacts with other rules.
APA, Harvard, Vancouver, ISO, and other styles
10

Busco, Cristiano, Elena Giovannoni, and Angelo Riccaboni. "Sustaining multiple logics within hybrid organisations." Accounting, Auditing & Accountability Journal 30, no. 1 (January 16, 2017): 191–216. http://dx.doi.org/10.1108/aaaj-11-2013-1520.

Full text
Abstract:
Purpose The purpose of this paper is to explore how accounting and control practices contribute to the persistence of the multiple logics that characterise hybrid organizations, i.e. organizations that constantly incorporate elements from different institutional logics at the very core of their identity. Design/methodology/approach The authors draw on the literature regarding institutional logics and on studies exploring the enabling power of accounting to interpret the findings derived from a longitudinal case study of a hybrid organization operating in the field of brain-computer interface technology. Findings The study shows that the persistence of conflicting logics and innovation within hybrid organizations can be sustained through the mediating role of accounting and control practices. By engaging different interested parties within processes of innovation, these practices can establish complex interconnections between conflicting perspectives and their objects of concern. Consequently, accounting and control do not address a specific logic but instead contribute to lock different parties to their own logic, allowing them to engage and generate innovation while maintaining their diversity. Originality/value Whereas previous studies have explored mechanisms for keeping the multiple logics of hybrids separate or for reconciling them, the paper shows that conflicts between these logics do not need to be reduced but can be mediated to generate innovation. Additionally, the authors contribute to the literature on accounting “in action”, by illustrating the role of accounting and control practices as boundary objects that act within a broader “ecology of objects” through which innovation materializes in a context of enduring institutional pluralism.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Core logics"

1

Ng, Yat Sze. "At the Intersection of Fintech and Strategy: Case Studies of the Competitive Strategies of Fintech Platforms." Thesis, The University of Sydney, 2022. https://hdl.handle.net/2123/29360.

Full text
Abstract:
In recent years, digital technologies have been applied to generate fintech innovations in the form of new services and business models within the global financial sector. But in spite of the global proliferation of fintech start-ups, market estimates put the failure rate of these new fintech platforms at roughly 90%. The high mortality rate suggests two possibilities. First, there may be a lack of knowledge on the appropriate strategies to adopt. Second, the traditional prescriptions for strategy may be less relevant in the context of fintech platforms. The objective of my thesis is to lay the groundwork for future research by first ascertaining either or both of these possibilities based on what is currently known. To this end, I first present a comprehensive review of the fintech literature, which found that there is a relative paucity of research on fintech strategies and important limitations associated with the existing works. I constructed a research agenda consisting of several open questions based on my analysis to provide directions for future research in this area. Next, building on this research agenda, I addressed the research question “How do competitive strategies influence the performance of successful fintech platforms?”, and explored if distinct strategies are required for different types of fintech platforms with a case study of four market-leading fintech platforms in China. Finally, I investigated if different strategies would be required at different points along a fintech platform’s development trajectory. Based on a case study of Ppdai.com, one of the world’s largest online lending platforms, I developed a process model that sheds light on the underlying mechanisms of this phenomenon. Overall, my thesis demonstrates that the competitive strategies employed have to be contingent on the nature of fintech services provided by the platform, and reveals that the strategies have to evolve over time with the development of the platform.
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Fei. "Enabling system validation for the many-core supercomputer." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 208 p, 2009. http://proquest.umi.com/pqdweb?did=1891590561&sid=7&Fmt=2&clientId=8331&RQT=309&VName=PQD.

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

Walker, Douglas H. "Women in ministry: The logical core of the debate." TRINITY INTERNATIONAL UNIVERSITY, 2012. http://pqdtopen.proquest.com/#viewpdf?dispub=3487789.

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

Domingues, Miguel Brazão. "Core language for web applications." Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/5103.

Full text
Abstract:
Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind of applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between different layers in a web application is usually developed using dialects and programming conventions with no real mechanical verifications between the client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of the interface definition, business logic, and database manipulation representing these interactions at a high abstract level. Using only one language, typed and with its own instructions to define the interface and the interaction with the database, becomes possible to make static checks. Thereby, avoiding execution errors caused by the usual heterogeneity among web applications. We also describe the implementation of a prototype with a highly flexible programming environment for our language that allows the application development and publishing tasks to be done through a web interface, interacting directly with the application and without loosing the integrity checks. This kind of development relies on an agile development methodology. Therefore, the modifications made to the application are made active using the dynamic reconfiguration mechanism, avoiding the recompilation of the application and system restart.
APA, Harvard, Vancouver, ISO, and other styles
5

Han, Yi. "A high-performance CMOS programmable logic core for system-on-chip applications /." Thesis, Connect to this title online; UW restricted, 2005. http://hdl.handle.net/1773/5948.

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

Haftmann, Florian. "Code generation from specifications in higher-order logic." kostenfrei, 2009. https://mediatum2.ub.tum.de/node?id=886023.

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

Davis, Justin S. "An FPGA-based digital logic core for ATE support and embedded test applications." Diss., Georgia Institute of Technology, 2003. http://hdl.handle.net/1853/15639.

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

Seater, Robert Morrison. "Core extraction and non-example generation : debugging and understanding logical models." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/34127.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, June 2005.
Includes bibliographical references (p. 127-132).
Declarative models, in which conjunction and negation are freely used, are a powerful tool for software specification and verification. Unfortunately, tool support for developing and debugging such models is limited. The challenges to developing such tools are twofold: technical information must be extracted from the model, then that information must be presented to the user in way that is both meaningful and manageable. This document introduces two such techniques to help fill the gap. Non-example generation allows the user to ask for the role of a particular subformula in a model. A formula's role is explained in terms of how the set of satisfying solutions to the model would change were that subformula removed or altered. Core extraction helps detect and localize unintentional overconstraint, in which real counterexamples are masked by bugs in the model. It leverages recent advances in SAT solvers to identify irrelevant portions of an unsatisfiable model. Experiences are reported from applying these two techniques to a variety of existing models.
by Robert Morrison Seater.
S.M.
APA, Harvard, Vancouver, ISO, and other styles
9

Mathur, Garima. "Fuzzy logic control for infant-incubator systems." University of Akron / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=akron1153768682.

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

Méndez, Real Maria. "Spatial Isolation against Logical Cache-based Side-Channel Attacks in Many-Core Architectures." Thesis, Lorient, 2017. http://www.theses.fr/2017LORIS454/document.

Full text
Abstract:
L’évolution technologique ainsi que l’augmentation incessante de la puissance de calcul requise par les applications font des architectures ”many-core” la nouvelle tendance dans la conception des processeurs. Ces architectures sont composées d’un grand nombre de ressources de calcul (des centaines ou davantage) ce qui offre du parallélisme massif et un niveau de performance très élevé. En effet, les architectures many-core permettent d’exécuter en parallèle un grand nombre d’applications, venant d’origines diverses et de niveaux de sensibilité et de confiance différents, tout en partageant des ressources physiques telles que des ressources de calcul, de mémoire et de communication. Cependant, ce partage de ressources introduit également des vulnérabilités importantes en termes de sécurité. En particulier, les applications sensibles partageant des mémoires cache avec d’autres applications, potentiellement malveillantes, sont vulnérables à des attaques logiques de type canaux cachés basées sur le cache. Ces attaques, permettent à des applications non privilégiées d’accéder à des informations secrètes sensibles appartenant à d’autres applications et cela malgré des méthodes de partitionnement existantes telles que la protection de la mémoire et la virtualisation. Alors que d’importants efforts ont été faits afin de développer des contremesures à ces attaques sur des architectures multicoeurs, ces solutions n’ont pas été originellement conçues pour des architectures many-core récemment apparues et nécessitent d’être évaluées et/ou revisitées afin d’être applicables et efficaces pour ces nouvelles technologies. Dans ce travail de thèse, nous proposons d’étendre les services du système d’exploitation avec des mécanismes de déploiement d’applications et d’allocation de ressources afin de protéger les applications s’exécutant sur des architectures many-core contre les attaques logiques basées sur le cache. Plusieurs stratégies de déploiement sont proposées et comparées à travers différents indicateurs de performance. Ces contributions ont été implémentées et évaluées par prototypage virtuel basé sur SystemC et sur la technologie ”Open Virtual Platforms” (OVP)
The technological evolution and the always increasing application performance demand have made of many-core architectures the necessary new trend in processor design. These architectures are composed of a large number of processing resources (hundreds or more) providing massive parallelism and high performance. Indeed, many-core architectures allow a wide number of applications coming from different sources, with a different level of sensitivity and trust, to be executed in parallel sharing physical resources such as computation, memory and communication infrastructure. However, this resource sharing introduces important security vulnerabilities. In particular, sensitive applications sharing cache memory with potentially malicious applications are vulnerable to logical cache-based side-channel attacks. These attacks allow an unprivileged application to access sensitive information manipulated by other applications despite partitioning methods such as memory protection and virtualization. While a lot of efforts on countering these attacks on multi-core architectures have been done, these have not been designed for recently emerged many-core architectures and require to be evaluated, and/or revisited in order to be practical for these new technologies. In this thesis work, we propose to enhance the operating system services with security-aware application deployment and resource allocation mechanisms in order to protect sensitive applications against cached-based attacks. Different application deployment strategies allowing spatial isolation are proposed and compared in terms of several performance indicators. Our proposal is evaluated through virtual prototyping based on SystemC and Open Virtual Platforms(OVP) technology
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Core logics"

1

Inc, Integrated Device Technology. IDT core logic-specific cache modules product information. Santa Clara, CA: Integrated Device Technology Inc., 1994.

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

Cristina, Farnetti, ed. Logica: Come scienza del concetto puro. Napoli: Bibliopolis, 1996.

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

Ahmed, Jameel, Mohammed Yakoob Siyal, Shaheryar Najam, and Zohaib Najam. Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System. Singapore: Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-3120-5.

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

Antonio, Saitta. Logica e retorica nella motivazione delle decisioni della Corte costituzionale. Milano: Giuffrè, 1996.

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

Institute, Ludwig Von Mises, ed. The logic of action. Cheltenham, U.K: Edward Elgar, 1997.

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

Ambrosini, Riccardo. Le lingue come rappresentazioni formali della conoscenza. Lucca: S. Marco, 1995.

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

Duso, Giuseppe. La logica del potere: Storia concettuale come filosofia politica. Monza (Milano): Polimetrica, 2007.

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

La logica del potere: Storia concettuale come filosofia politica. Roma [etc.]: Laterza, 1999.

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

Duso, Giuseppe. La logica del potere: Storia concettuale come filosofia politica. Monza (Milano): Polimetrica, 2007.

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

Sandrini, Maria Grazia. Probabilità e induzione: Carnap e la conferma come concetto semantico. Milano, Italy: F. Angeli, 1991.

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

Book chapters on the topic "Core logics"

1

Berg, Jeremias, and Matti Järvisalo. "Unifying Reasoning and Core-Guided Search for Maximum Satisfiability." In Logics in Artificial Intelligence, 287–303. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19570-0_19.

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

Wałęga, Przemysław Andrzej. "Computational Complexity of Core Fragments of Modal Logics T, K4, and S4." In Logics in Artificial Intelligence, 744–59. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19570-0_48.

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

Preston, P. W. "Grasping the core logics of forms of life." In Dynamics of Change in East Asia, 32–48. New York : Routledge, 2018.: Routledge, 2018. http://dx.doi.org/10.4324/9781315227993-4.

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

Pickard, Victor. "Can Journalism Survive in the Age of Platform Monopolies? Confronting Facebook’s Negative Externalities." In Palgrave Global Media Policy and Business, 23–41. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95220-4_2.

Full text
Abstract:
AbstractAs commercial journalism collapses around the world, the platforms’ culpability for defunding news media has attracted increasing scrutiny. Journalism’s sustainability is increasingly threatened by the Facebook and Google duopoly, which devours the lion’s share of digital advertising revenue, at a time when democratic societies desperately need reliable news and information. Thus far, policy measures to rebalance this power relationship have been limited. Moreover, policy debates focused on these issues too often elide the core root of the problem in both diminishing journalism and driving the platforms toward antisocial behavior: namely, unbridled capitalism. With this problem in mind, this essay explores more radical options toward buffering our core news and information systems from corrosive commercial logics.
APA, Harvard, Vancouver, ISO, and other styles
5

Di Ciccio, Claudio, and Marco Montali. "Declarative Process Specifications: Reasoning, Discovery, Monitoring." In Lecture Notes in Business Information Processing, 108–52. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08848-3_4.

Full text
Abstract:
AbstractThe declarative specification of business processes is based upon the elicitation of behavioural rules that constrain the legal executions of the process. The carry-out of the process is up to the actors, who can vary the execution dynamics as long as they do not violate the constraints imposed by the declarative model. The constraints specify the conditions that require, permit or forbid the execution of activities, possibly depending on the occurrence (or absence) of other ones. In this chapter, we review the main techniques for process mining using declarative process specifications, which we call declarative process mining. In particular, we focus on three fundamental tasks of (1) reasoning on declarative process specifications, which is in turn instrumental to their (2) discovery from event logs and their (3) monitoring against running process executions to promptly detect violations. We ground our review on Declare, one of the most widely studied declarative process specification languages. Thanks to the fact that Declare can be formalized using temporal logics over finite traces, we exploit the automata-theoretic characterization of such logics as the core, unified algorithmic basis to tackle reasoning, discovery, and monitoring. We conclude the chapter with a discussion on recent advancements in declarative process mining, considering in particular multi-perspective extensions of the original approach.
APA, Harvard, Vancouver, ISO, and other styles
6

Pacuit, Eric. "Core Theory." In Neighborhood Semantics for Modal Logic, 39–96. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67149-9_2.

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

Tennant, Neil. "Core Logic: A Conspectus." In Pluralisms in Truth and Logic, 199–215. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-98346-2_9.

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

Strauss, Dirk. "Adding Client-Side Logic." In Creating ASP.NET Core Web Applications, 183–223. Berkeley, CA: Apress, 2021. http://dx.doi.org/10.1007/978-1-4842-6828-5_6.

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

Luthi, Stefan M. "Core Sampling." In Geological Well Logs, 236–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04627-2_12.

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

Woods, John. "The Informal Core of Formal Logic." In Applied Logic Series, 43–61. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2712-3_3.

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

Conference papers on the topic "Core logics"

1

Bernreiter, Michael, Jan Maly, and Stefan Woltran. "Choice Logics and Their Computational Properties." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/247.

Full text
Abstract:
Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case-by-case basis, albeit they share several common features. This calls for a more general choice logic framework, with QCL and CCL as well as some of their derivatives being particular instantiations. We provide such a framework, which allows us, on the one hand, to easily define new choice logics and, on the other hand, to examine properties of different choice logics in a uniform setting. In particular, we investigate strong equivalence, a core concept in non-classical logics for understanding formula simplification, and computational complexity. Our analysis also yields new results for QCL and CCL. For example, we show that the main reasoning task regarding preferred models is ϴ₂P-complete for QCL and CCL, while being Δ₂P-complete for a newly introduced choice logic.
APA, Harvard, Vancouver, ISO, and other styles
2

Gao, Mengyu, Yuxin Ye, Dantong Ouyang, and Bin Wang. "Finding Justifications by Approximating Core for Large-scale Ontologies." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/905.

Full text
Abstract:
Finding justifications for an entailment is one of the major missions in the field of ontology research. Recent advances on finding justifications w.r.t. the light-weight description logics focused on encoding this problem into a propositional formula, and using SAT-based techniques to enumerate all MUSes (minimally unsatisfiable subformulas). It's necessary to import more optimized techniques into finding justifications as emergence of large-scale real-world ontologies. In this paper, we propose a new strategy which introduce local search(in short, LS) technique to compute the approximating core before extracting an exact MUS. Although it is based on a heuristic and LS, such technique is complete in the sense that it always delivers a MUS for any unsatisfiable SAT instance. Our method will find the justifications for large-scale ontologies more effectively.
APA, Harvard, Vancouver, ISO, and other styles
3

Ge, Xiao, and Larry Leifer. "Design Thinking at the Core: Learn New Ways of Thinking and Doing by Reframing." In ASME 2017 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/detc2017-67172.

Full text
Abstract:
We present a theoretical framework about how designers learn new ways of thinking and doing named the reframing theory. The theory underlines why some designers’ creative behaviors endure and some not in face of a conflicting social belief system. In this paper, we first describe the problems that designers and educators face when the cultures that designers attach to and the social logics that they invoke to make sense of their practices are constantly changing. Second, we decode the phenomenon and unpack the problems by drawing on an extensive body of research on cognitive processes, learning theories, and social influences. Third, we propose a theoretical framework to denote that the key to develop and maintain enduring creative behaviors is through reconstruction of one’s perceptions. This theory-oriented paper ends by discussing future directions for educators and researchers, with the aim to advance the research and academic discussions about how to improve design ability.
APA, Harvard, Vancouver, ISO, and other styles
4

Lee, Seok Ho, and Han Gon Kim. "Pre and Post Test Analysis of LBLOCA Late Reflood Phase in ATLAS Using RELAP5/MOD3.3." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48203.

Full text
Abstract:
The code simulation capability for the KAERI (Korea Atomic Energy Research Institute) integral effect test facility, ATLAS (Advanced Thermal hydraulic Test Loop for Accidents Simulaion), has been assessed for LBLOCA (Large Break Loss Of Coolant Accidents) reflood test. IETs (Integral Effect Tests) using ATLAS facility for directing simulation of the prototype plant APR1400 LBLOCA reflood with the same control logics and accident scenarios have been performed in 2007. The experimental results show that Maximum temperature of heater rods is 722°C and the reflooding rate and quenching speed is ∼6.2cm/sec and ∼0.3cm/sec, respectively. Also, quenching time is about 650 sec from the beginning of reflood. The best-estimate code, RELAP5/MOD3.3 is chosen to examine the code prediction capability. In basecase analysis, initial safety injection water is not nearly injected into core through downcomer. As the result, the maximum rod temperature, 1400°C is nearly twice as high as the experimental data. And the quenching time is similar to the experimental data. We adjusted a hydraulic behavior in core and downcemer through the improvement of the adequate nodalization. However, the thermal behavior for maximum heater rod temperature in core still included the limitation. To adjust the thermal behavior of core heater, we have performed the several sensitivity analyses for heat transfer region in core. The results of sensitivity analyses showed that the dominant factor is the wall heat transfer model in film boiling region. Therefore, we developed and assessed the sensitivity analysis model to examine the effect of void fraction for thermal behaviors. As the result, void fraction within film coefficient correlation had a considerable effect on the temperature behavior of heater rods.
APA, Harvard, Vancouver, ISO, and other styles
5

Ni, Qianfu, Prasad K. D. V. Yarlagadda, and Wen Feng Lu. "Semantic Representations for Configurable Enterprise Systems." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99032.

Full text
Abstract:
Due to the variation of business practices from one company to another and the lack of flexibility to support different business practices, enterprise systems need to be customized based on the requirements of individual companies. Customization is one the major activities in the enterprise system implementation. It is mainly a process of redesigning and redeveloping functions of an enterprise information system for a particular company. The extra time required for customization definitely stretches the deployment cycle and increases the implementation cost. It is also a barrier that hampers companies to change their business practices for new business opportunities. Therefore, technologies for developing configurable enterprise systems with flexibility to adapt to business practices in different companies are gaining the attention of solution vendors and researchers. In this research, semantic representations were developed for configurable enterprise systems. These representations can enhance the flexibility of enterprise systems and make enterprise systems able to be rapidly tailored for different companies. The core of the concept is to decouple various logics from systems and represent the logics in a semantic manner. To achieve semantic representations, XML-based declarative language has been developed for representing a diversity of logics. The paper elaborates semantic representations of information entities, entity relationships, functional components and graphical environments. A business process management system based on the semantic representations is also briefly presented.
APA, Harvard, Vancouver, ISO, and other styles
6

Cauli, Claudia, Magdalena Ortiz, and Nir Piterman. "Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/17.

Full text
Abstract:
Infrastructure in the cloud is deployed through configuration files, which specify the resources to be created, their settings, and their connectivity. We aim to model infrastructure before deployment and reason about it so that potential vulnerabilities can be discovered and security best practices enforced. Description logics are a good match for such modeling efforts and allow for a succinct and natural description of cloud infrastructure. Their open-world assumption allows capturing the distributed nature of the cloud, where a newly deployed infrastructure could connect to pre-existing resources not necessarily owned by the same user. However, parts of the infrastructure that are fully known need closed-world reasoning, calling for the usage of expressive formalisms, which increase the computational complexity of reasoning. Here, we suggest an extension of DL-LiteF that is tailored for capturing such cloud infrastructure. Our logic allows combining a core part that is completely defined (closed-world) and interacts with a partially known environment (open-world). We show that this extension preserves the first-order rewritability of DL-LiteF for knowledge-base satisfiability and conjunctive query answering. Security properties combine universal and existential reasoning about infrastructure. Thus, we also consider the problem of conjunctive query satisfiability and show that it can be solved in logarithmic space in data complexity.
APA, Harvard, Vancouver, ISO, and other styles
7

Ricotti, M. E., A. Cammi, A. Cioncolini, A. Cipollaro, F. Oriolo, C. Lombardi, L. E. Conway, and A. C. Barroso. "Preliminary Safety Analysis of the IRIS Reactor." In 10th International Conference on Nuclear Engineering. ASMEDC, 2002. http://dx.doi.org/10.1115/icone10-22398.

Full text
Abstract:
A deterministic analysis of the IRIS safety features has been carried out by means of the best-estimate code RELAP (ver. RELAP5 mod3.2). First, the main system components were modeled and tested separately, namely: the Reactor Pressure Vessel (RPV), the modular helical-coil Steam Generators (SG) and the Passive (natural circulation) Emergency Heat Removal System (PEHRS). Then, a preliminary set of accident transients for the whole primary and safety systems was investigated. Since the project was in a conceptual phase, the reported analyses must be considered preliminary. In fact, neither the reactor components, nor the safety systems and the reactor signal logics were completely defined at that time. Three “conventional” design basis accidents have been preliminary evaluated: a Loss Of primary Flow Accident, a Loss Of Coolant Accident and a Loss Of Feed Water accident. The results show the effectiveness of the safety systems also in LOCA conditions; the core remains covered for the required grace period. This provides the basis to move forward to the preliminary design.
APA, Harvard, Vancouver, ISO, and other styles
8

Yazawa, Kazuaki, Tenko Yamashita, and Hideaki Kuroda. "A Study of Transient Thermal Spreading of VLSI Packaging With Multi Level Scaling." In ASME 2007 International Mechanical Engineering Congress and Exposition. ASMEDC, 2007. http://dx.doi.org/10.1115/imece2007-41658.

Full text
Abstract:
Trend of VLSI chip power consumption sounds switch over from the Moore’s law to more moderate curve by the “multi core processing” paradigm. Many of the recent advanced VLSI chips adopt the multiple processing units since clock enhancement is no longer feasible to gain the expected performance based on realistic range of power consumption. Even though, heat flux may keep increasing by further fine semiconductor process and may keep localizing by further complex logics. In this study, thermal impact of hot spot size relative to chip size or the dimension of heat sink is investigated by analytic modeling as well as numerical analysis. The analytic transient thermal spreading model in a solid with transfer function has already proposed and was validated in our previous work. In this study, we have considered the impact of thermal interface between the heat source and conductive and spreading component to the sink. Thermal response in wide rage of scales is discussed from transistor level to a millimeter scale. Each level of such various sizes can be investigated individually and can be built up with some sort of cascade manner. Based on this model, thermal diffusion in silicon substrate, which has the thermal coupling with spreader and thermal interface, will be discussed for a further fine process generation of the chip. The result implies that passive thermal spreading can be achieving to the limit.
APA, Harvard, Vancouver, ISO, and other styles
9

Bonatti, Piero A. "Rational Closure For All Description Logics (Extended Abstract)." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/700.

Full text
Abstract:
Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide compelling motivations for extending DLs with an overriding mechanism analogous to the homonymous feature of object-oriented programming. Rational closure (RC) is one of the candidate semantics for such extensions, and one of the most intensively studied. So far, however, it has been limited to strict fragments of SROIQ(D) – the logic on which OWL2 is founded. In this paper we prove that RC cannot be extended to logics that do not satisfy the disjoint model union property, including SROIQ(D). Then we introduce a refinement of RC called stable rational closure that overcomes the dependency on the disjoint model union property. Our results show that stable RC is a natural extension of RC. However, its positive features come at a price: stable RC re-introduces one of the undesirable features of other nonmonotonic logics, namely, deductive closures may not exist and may not be unique.
APA, Harvard, Vancouver, ISO, and other styles
10

Doi, Takashi, and Joseph W. Goodman. "Application of MQW devices to Boolean logic operations." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/oam.1991.fbb3.

Full text
Abstract:
We present a method for implementing Boolean logic operations using MQW optical devices and a spatial pattern coding. Serially connected MQW devices such as an S-SEED have some advantages: high speed switching capability, a tolerance to fluctuation of power sources, and logic operation capability. Therefore, if cascadability of logic can be maintained with these devices, we can build high speed optical logic circuits. In this study, we adopted a spatial pattern coding method, which represents logical values (1 or 0) as combinations of bright and dark cells, on both input and output sides as a logic representation to keep cascadability. We show that these devices can work as NOT, NAND, or NOR logic elements. In addition, we investigate a code converter that converts a logic representation in intensity to a spatial pattern coding.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Core logics"

1

Smith, S. Geochemical and lithological data from overburden drill cores, with descriptive core logs, Timmins to Smoky Falls, Ontario. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1990. http://dx.doi.org/10.4095/128164.

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

Lewis, C. F. M., and B. J. Todd. Summary core logs and corresponding seismostratigraphic sequences. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1996. http://dx.doi.org/10.4095/207529.

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

Hamid, Nadeem A., and Zhong Shao. Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code. Fort Belvoir, VA: Defense Technical Information Center, January 2005. http://dx.doi.org/10.21236/ada436479.

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

Dowell, J. L., and J. C. Akers. System design specification for rotary mode core sample trucks No. 2, 3, and 4 programmable logic controller. Office of Scientific and Technical Information (OSTI), December 1995. http://dx.doi.org/10.2172/276941.

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

Saint-Ange, F., D. J. W. Piper, K. Mackillop, K. A. Jarrett, J. Higgins, and S. Ledger-Piercey. Logs of piston cores, deep-water Labrador margin. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2013. http://dx.doi.org/10.4095/292579.

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

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 semantics that have been introduced for querying inconsistent description logic knowledge bases. We investigate their complexity for DL-LiteR temporal knowledge bases, and furthermore complete the picture for the consistent case.
APA, Harvard, Vancouver, ISO, and other styles
7

Johnson, Joel, and David Divins. Data Report: UT-GOM2-1 Lithostratigraphic Core Description Logs at Site GC 955, Holes H002 and H005. Office of Scientific and Technical Information (OSTI), December 2020. http://dx.doi.org/10.2172/1823034.

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

Tripsanas, E. K., D. J. W. Piper, and K. A. Jarrett. Logs of piston cores and interpreted ultra-high-resolution seismic profiles, Orphan Basin. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2007. http://dx.doi.org/10.4095/223224.

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

Burt, A. K., and H. Crow. Insights from combined interpretation of sediment cores and geophysical logs in the Niagara Peninsula, southern Ontario. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2019. http://dx.doi.org/10.4095/313544.

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

Weitzman, J., S. Ledger, C. D. Stacey, G. Strathdee, D. J W Piper, K. A. Jarrett, and J. Higgins. Logs of short push cores, deep-water margin of Flemish Cap and the eastern Grand Banks of Newfoundland. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2014. http://dx.doi.org/10.4095/293871.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Core logics' 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