Bibliografías temáticas / MSO logic

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "MSO logic"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "MSO logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "MSO logic"

1

Droste, Manfred, Werner Kuich, and George Rahonis. "Multi-Valued MSO Logics OverWords and Trees." Fundamenta Informaticae 84, no. 3-4 (2008): 305–27. https://doi.org/10.3233/fun-2008-843-402.

Texto completo
Resumen
We introduce multi-valued Büchi and Muller automata over distributive lattices and a multi-valued MSO logic for infinite words. For this logic, we prove the expressive equivalence of ω-recognizable and MSO-definable infinitary formal power series over distributive lattices with negation function. Then we consider multi-valued Muller tree automata and a multi-valued MSO logic for trees over distributive lattices. For this logic, we establish a version of Rabin's theorem for infinitary tree series.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

D'agostino, Giovanna, та Marco Hollenberg. "Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski". Journal of Symbolic Logic 65, № 1 (2000): 310–32. http://dx.doi.org/10.2307/2586539.

Texto completo
Resumen
The (modal) μ-calculus ([14]) is a very powerful extension of modal logic with least and greatest fixed point operators. It is of great interest to computer science for expressing properties of processes such as termination (every run is finite) and fairness (on every infinite run, no action is repeated infinitely often to the exclusion of all others).The power of the μ-calculus is also evident from a more theoretical perspective. The μ-calculus is a fragment of monadic second-order logic (MSO) containing only formulae that are invariant for bisimulation, in the sense that they cannot distingu
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Abdul-Adheem, Wameedh Riyadh. "Design and simulation of a normalized fuzzy logic controller for the quadruple-tank process." Indonesian Journal of Electrical Engineering and Computer Science 18, no. 1 (2020): 227. http://dx.doi.org/10.11591/ijeecs.v18.i1.pp227-234.

Texto completo
Resumen
<p class="MsoNormal" style="margin-top: 6.0pt; text-align: justify;">Industrial processes include multivariable systems and nonlinearities. These conditions must be effectively controlled to ensure a stable operation. A proportional–integral–derivative controller and other classical control techniques provide simple design tools to designers, but cannot accommodate nonlinearities in industrial processes. In this study, the quadruple-tank process, which is one of the most widely used processes in the chemical industry, was selected as the research object. To examine this process, a fuzzy
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

CARTON, OLIVIER, THOMAS COLCOMBET, and GABRIELE PUPPIS. "AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS." Journal of Symbolic Logic 83, no. 3 (2018): 1147–89. http://dx.doi.org/10.1017/jsl.2018.7.

Texto completo
Resumen
AbstractWe develop an algebraic notion of recognizability for languages of words indexed by countable linear orderings. We prove that this notion is effectively equivalent to definability in monadic second-order (MSO) logic. We also provide three logical applications. First, we establish the first known collapse result for the quantifier alternation of MSO logic over countable linear orderings. Second, we solve an open problem posed by Gurevich and Rabinovich, concerning the MSO-definability of sets of rational numbers using the reals in the background. Third, we establish the MSO-definability
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Calvanese, Diego, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi. "Node Selection Query Languages for Trees." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (2010): 279–84. http://dx.doi.org/10.1609/aaai.v24i1.7598.

Texto completo
Resumen
The study of node-selection query languages for (finite) trees has been a major topic in the recent research on query lan- guages for Web documents. On one hand, there has been an extensive study of XPath and its various extensions. On the other hand, query languages based on classical logics, such as first-order logic (FO) or monadic second-order logic (MSO), have been considered. Results in this area typically relate an Xpath-based language to a classical logic. What has yet to emerge is an XPath-related language that is expressive as MSO, and at the same time enjoys the computational proper
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Gastin, Paul, Amaldev Manuel, and R. Govind. "Reversible Regular Languages: Logical and Algebraic Characterisations." Fundamenta Informaticae 180, no. 4 (2021): 333–50. http://dx.doi.org/10.3233/fi-2021-2045.

Texto completo
Resumen
We present first-order (FO) and monadic second-order (MSO) logics with predicates ‘between’ and ‘neighbour’ that characterise the class of regular languages that are closed under the reverse operation and its subclasses. The ternary between predicate bet(x, y, z) is true if the position y is strictly between the positions x and z. The binary neighbour predicate N(x, y) is true when the the positions x and y are adjacent. It is shown that the class of reversible regular languages is precisely the class definable in the logics MSO(bet) and MSO(N). Moreover the class is definable by their existen
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Jeandel, Emmanuel, and Guillaume Theyssier. "Subshifts as models for MSO logic." Information and Computation 225 (April 2013): 1–15. http://dx.doi.org/10.1016/j.ic.2013.01.003.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Droste, Manfred, and Vitaly Perevoshchikov. "Multi-weighted Automata and MSO Logic." Theory of Computing Systems 59, no. 2 (2015): 231–61. http://dx.doi.org/10.1007/s00224-015-9658-9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Echeverría, Martin. "Experiencing Political Advertising Through Social Media Logic: A Qualitative Inquiry." Media and Communication 11, no. 2 (2023): 127–36. http://dx.doi.org/10.17645/mac.v11i2.6412.

Texto completo
Resumen
<span style="font-size: 10.0pt; mso-bidi-font-size: 11.0pt; line-height: 107%; font-family: 'Calibri',sans-serif; mso-fareast-font-family: Calibri; mso-bidi-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;" lang="EN-US">The allocation of political advertising in social media is rising in Western campaigns. Yet audiences, unlike those of television advertising, are no longer isolated and passive consumers of linear discourses from politicians; users can now interact, share, and merge political advertising with other messages.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Vazquez Gonzalez, Jose Luis, Juan Barrios Aviles, Alfredo Rosado Muñoz, and Ruben Alejos Palomares. "An Industrial Automation Course: Common Infrastructure for Physical, Virtual and Remote Laboratories for PLC Programming." International Journal of Online Engineering (iJOE) 14, no. 08 (2018): 4. http://dx.doi.org/10.3991/ijoe.v14i08.8758.

Texto completo
Resumen
<span style="font-family: 'Times New Roman',serif; font-size: 10pt; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: DE; mso-bidi-language: AR-SA;">This work describes the development of a teaching strategy to leverage current simulation tools and promote learning of industrial automation systems. Specifically, Programmable Logic Controller (PLC) programming in an industrial automation course. We propose an infrastructure where it is possible to work with physical, virtual and mixed laboratories</span>
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "MSO logic"

1

Baschenis, Félix. "Minimizing resources for regular word transductions." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0810/document.

Texto completo
Resumen
Cette thèse a eu pour objectif d'étudier des questions naturelles de définissabilité autour des transducteurs bidirectionnels.Il est bien connu que les transducteurs bidirectionnels définissent une plus grande classe de transductions que celles des transducteurs unidirectionnels. La première question que nous avons étudiée est donc de décider si un transducteur bidirectionnel est définissable par un transducteur unidirectionnel. Il a été montré en 2013 que cette question est décidable pour des transducteurs fonctionnels (nous montrons aussi en paralèlle que cette question devient indécidable s
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Götze, Doreen. "Weighted Unranked Tree Automata over Tree Valuation Monoids." Doctoral thesis, Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221154.

Texto completo
Resumen
Quantitative aspects of systems, like the maximal consumption of resources, can be modeled by weighted automata. The usual approach is to weight transitions with elements of a semiring and to define the behavior of the weighted automaton by mul- tiplying the transition weights along a run. In this thesis, we define and investigate a new class of weighted automata over unranked trees which are defined over valuation monoids. By turning to valuation monoids we use a more general cost model: the weight of a run is now determined by a global valuation function. Besides the binary cost functions im
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Suresh, Amrita. "Formal Verification of Communicating Automata." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG092.

Texto completo
Resumen
Les systèmes distribués concernent des processus qui s’exécutent indépendamment et communiquent de manière asynchrone. Bien qu’ils couvrent un large éventail de cas d’utilisation et soient donc omniprésents dans notre monde, il est particulièrement difficile de garantir leur exactitude. Dans cette thèse, nous modélisons de tels systèmes en utilisant une formulation mathématique et logique, et nousles vérifions algorithmiquement. En particulier, nous nous concentrons sur les automates FIFO (First In First Out), et plus précisément sur des systèmes à un ou plusieurs automates finis qui communiqu
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Mohan, Ashwin. "A fuzzy controller developed in RSLogix 5000 using ladder logic and function blocks implemented on a Control Logix PLC /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420941.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Srinivasan, Venkataramanujam. "Gigahertz-Range Multiplier Architectures Using MOS Current Mode Logic (MCML)." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/9643.

Texto completo
Resumen
The tremendous advancement in VLSI technologies in the past decade has fueled the need for intricate tradeoffs among speed, power dissipation and area. With gigahertz range microprocessors becoming commonplace, it is a typical design requirement to push the speed to its extreme while minimizing power dissipation and die area. Multipliers are critical components of many computational intensive circuits such as real time signal processing and arithmetic systems. The increasing demand in speed for floating-point co-processors, graphic processing units, CDMA systems and DSP chips has shaped the ne
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Maestro, Izquierdo Marcos. "Analysis of the Resistive Switching phenomenon in MOS devices for memory and logic applications." Doctoral thesis, Universitat Autònoma de Barcelona, 2017. http://hdl.handle.net/10803/405453.

Texto completo
Resumen
En general, la continua evolución de la tecnología ha llevado a afrontar nuevos retos emergentes. En cuanto al campo de la electrónica, uno de los más relevantes ha sido la ley de Moore que postula que "el número de transistores en un circuito integrado se duplica aproximadamente cada dos años". Para cumplir esta ley, la solución ha sido reducir las dimensiones de los dispositivos. Sin embargo, en las últimas décadas se han alcanzado limitaciones físicas debido a que la disminución de las dimensiones está alcanzando el rango atómico. Se han observado además problemas debidos al escalamiento de
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Khordoc, Karim. "A MOS switch-level simulator with delay calculation /." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65461.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Kirawanich, Phumin. "Fuzzy logic control for an active power line conditioner /." free to MU campus, to others for purchase, 2002. http://wwwlib.umi.com/cr/mo/fullcit?p3060114.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Lee, Hoon-Kyeu. "An automatic test pattern generation in the logic gate level circuits and MOS transistor circuits at Ohio University." Ohio : Ohio University, 1986. http://www.ohiolink.edu/etd/view.cgi?ohiou1183139647.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Lindberg, Jordan J. "Language, logic, knowledge, and reality : the logical atomisms of Russell and Wittgenstein /." free to MU campus, to others for purchase, 1997. http://wwwlib.umi.com/cr/mo/fullcit?p9842548.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "MSO logic"

1

Warskel, Glynn. Models and logic of MOS circuits. University of Cambridge, Computer Laboratory, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Corporation, Toshiba. L-MOS (logic MOS) TC4S/TC7S/TC3W/TC4W/TC7W series: Data book. Toshiba Corporation, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Graham, A. C. Later Mohist logic, ethics, and science. Chinese University Press, Chinese University of Hong Kong, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Cheng, Stephen Shao-chung. MOS digital electronics. World Scientific, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Badel, Stéphane, Can Baltaci, Alessandro Cevrero, and Yusuf Leblebici. Design Automation for Differential MOS Current-Mode Logic Circuits. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-91307-0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Alioto, Massimo, and Gaetano Palumbo. Model and Design of Bipolar and MOS Current-Mode Logic. Springer US, 2005. http://dx.doi.org/10.1007/1-4020-2888-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Instruments, Texas. High-speed CMOS logic data book: Silicon-gate Complementary MOS. Texas Instruments, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Tshe-dbaṅ, Dge-bśes. Tshad ma sde bdun mdo dang bcas paʼi gzhung lugs rgya mtshor ʼjug paʼi gru gzings. Bod-ljongs mi dmangs dpe skrun khang, 2014.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Bkra-śis-lhun-po Monastery (Bylakuppe, India). Dpe-mdzod-khaṅ, ред. Mdo daṅ rnam ʼgrel sbyar baʼi ʼphros don mtshams sbyar tshad mar gyur paʼi legs bśad kyi rgyan ces bya ba bźugs so. Chos-grwā Chen-po Bkra-śis Lhun-poʼi Dpe-mdzod-khaṅ nas par skrun źus, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Thugs-rje-dpal-bzaṅ. Sde bdun mdo daṅ bcas paʼi dgoṅs ʼgrel Tshad ma rigs paʼi gter gyi ʼgrel pa rigs lam rab gsal: A commentary on the Tshad ma rigs gter of Sa-skya Paṇḍita Kun-dgaʼ-rgyal-mtshan. Sakya College, 1985.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "MSO logic"

1

Faella, Marco, and Gennaro Parlato. "Reasoning About Data Trees Using CHCs." In Computer Aided Verification. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_13.

Texto completo
Resumen
AbstractReasoning about data structures requires powerful logics supporting the combination of structural and data properties. We define a new logic called Mso-D(Monadic Second-Order logic with Data) as an extension of standard Mso on trees with predicates of the desired data logic. We also define a new class of symbolic data tree automata (Sdtas) to deal with data trees using a simple machine. Mso-D and Sdtas are both Turing-powerful, and their high expressiveness is necessary to deal with interesting data structures. We cope with undecidability by encoding Sdta executions as a system of CHCs
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Antonopoulos, Timos, and Anuj Dawar. "Separating Graph Logic from MSO." In Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00596-1_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Pallen, Rémi, and Ilkka Törmä. "Multidimensional Tilings and MSO Logic." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-95908-0_26.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Dawar, Anuj, and Luc Segoufin. "Capturing MSO with One Quantifier." In Fields of Logic and Computation II. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23534-9_8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Droste, Manfred, and Vitaly Perevoshchikov. "Multi-weighted Automata and MSO Logic." In Computer Science – Theory and Applications. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38536-0_36.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Törmä, Ilkka. "Subshifts, MSO Logic, and Collapsing Hierarchies." In Advanced Information Systems Engineering. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44602-7_10.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Kaiser, Łukasz. "Cardinality Quantifiers in MSO on Trees." In Logic and Games on Automatic Structures. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22807-0_7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Skrzypczak, Michał. "Connecting Decidability and Complexity for MSO Logic." In Developments in Language Theory. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62809-7_4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Morawietz, Frank, and Tom Cornell. "The MSO Logic-Automaton Connection in Linguistics." In Logical Aspects of Computational Linguistics. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48975-4_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kaiser, Łukasz. "Cardinality Quantifiers in MSO on Linear Orders." In Logic and Games on Automatic Structures. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22807-0_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "MSO logic"

1

Choudhury, Debalina Roy, Ashish Dhakar, Rajneesh Chaurasiya, and Goutam Kumar Gupta. "MOS Transistor-Based Memristor Emulator for Realization of Universal Logic Gates." In 2024 IEEE Silchar Subsection Conference (SILCON). IEEE, 2024. https://doi.org/10.1109/silcon63976.2024.10910456.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Bhaskar, Ruchi, Bharat Choudhary, Rajesh Saha, and Dheeraj Singh Rajpiut. "Improved MOS Current Mode Logic based Tri-state Buffer using DTMOS and its Applications." In 2025 IEEE Open Conference of Electrical, Electronic and Information Sciences (eStream). IEEE, 2025. https://doi.org/10.1109/estream66938.2025.11016857.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Riba, Colin. "Forcing MSO on Infinite Words in Weak MSO." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.51.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Carreiro, Facundo, Alessandro Facchini, Yde Venema, and Fabio Zanasi. "Weak MSO." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603101.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Bojanczyk, Mikolaj, Edon Kelmendi, and Michal Skrzypczak. "MSO+∇ is undecidable." In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785892.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Niewerth, Matthias. "MSO Queries on Trees." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2018. http://dx.doi.org/10.1145/3209108.3209144.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Losemann, Katja, and Wim Martens. "MSO queries on trees." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603137.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Das, Anupam, and Colin Riba. "A Complete Axiomatization of MSO on Infinite Trees." In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.44.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Montanari, Angelo, and Gabriele Puppis. "A Contraction Method to Decide MSO Theories of Deterministic Trees." In 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). IEEE, 2007. http://dx.doi.org/10.1109/lics.2007.6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Li, Y., D. H. Kim, A. Kostrzewski, and George Eichmann. "Optoelectronic content addressable memory-based modified signed digit arithmetic." In OSA Annual Meeting. Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.tumm3.

Texto completo
Resumen
The modified signed digit (MSD) number system offers inherent low interdigit dependence for arithmetic processing. Recently, using both optical logic and memory based approaches, various optical MSD arithmetic schemes were proposed. For the logic based optical MSD arithmetic, an existing approach implements a three-stage processing algorithm with either a symbolic substitution processor or some binary logic elements, such as bistable etalons. Because of the use of multiple processing stages, the required computing energy and its speed is sacrificed. The optical memory based approach, on the ot
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "MSO logic"

1

Küsters, Ralf, and Ralf Molitor. Computing Most Specific Concepts in Description Logics with Existential Restrictions. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.108.

Texto completo
Resumen
Computing the most specific concept (msc) is an inference task that can be used to support the 'bottom-up' construction of knowledge bases for KR systems based on description logics. For description logics that allow for number restrictions or existential restrictions, the msc need not exist, though. Previous work on this problem has concentrated on description logics that allow for universal value restrictions and number restrictions, but not for existential restrictions. The main new contribution of this paper is the treatment of description logics with existential restrictions. More precise
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Baader, Franz. A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.139.

Texto completo
Resumen
In two previous papers we have investigates the problem of computing the least common subsumer (lcs) and the most specific concept (msc) for the description logic EL in the presence of terminological cycles that are interpreted with descriptive semantics, which is the usual first-order semantics for description logics. In this setting, neither the lcs nor the msc needs to exist. We were able to characterize the cases in which the lcs/msc exists, but it was not clear whether this characterization yields decidability of the existence problem. In the present paper, we develop a common graph-theor
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Peñaloza, Rafael, and Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.

Texto completo
Resumen
In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with respect to a maximal nesting of quantifiers. In this report we present a practical approach for computing the roledepth bounded msc, based on the polynomial-time completion algorithm for EL. We extend th
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Zarrieß, Benjamin, and Anni-Yasmin Turhan. Most Specific Generalizations w.r.t. General EL-TBoxes. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.196.

Texto completo
Resumen
In the area of Description Logics the least common subsumer (lcs) and the most specific concept (msc) are inferences that generalize a set of concepts or an individual, respectively, into a single concept. If computed w.r.t. a general EL-TBox neither the lcs nor the msc need to exist. So far in this setting no exact conditions for the existence of lcs- or msc-concepts are known. This report provides necessary and suffcient conditions for the existence of these two kinds of concepts. For the lcs of a fixed number of concepts and the msc we show decidability of the existence in PTime and polynom
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Distel, Felix. Model-based Most Specific Concepts in Description Logics with Value Restrictions. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.167.

Texto completo
Resumen
Non-standard inferences are particularly useful in the bottom-up construction of ontologies in description logics. One of the more common non-standard reasoning tasks is the most specific concept (msc) for an ABox-individual. In this paper we present similar non-standard reasoning task: most specific concepts for models (model-mscs). We show that, although they look similar to ABox-mscs their computational behaviour can be different. We present constructions for model-mscs in FL₀ and FLE with cyclic TBoxes and for ALC∪∗ with acyclic TBoxes. Since subsumption in FLE with cyclic TBoxes has not b
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "MSO logic" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía