Log in

Relevant bibliographies by topics / Expressive power / Journal articles

To see the other types of publications on this topic, follow the link: Expressive power.

Journal articles on the topic 'Expressive power'

Author: Grafiati

Published: 4 June 2021

Last updated: 16 February 2022

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Expressive power.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Whitfield, Sarah. "Music: Its Expressive Power and Moral Significance." Musical Offerings 1, no. 1 (2010): 11–19. http://dx.doi.org/10.15385/jmo.2010.1.1.2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Tennant, Neil. "Deductive Versus Expressive Power." Journal of Philosophy 97, no. 5 (2000): 257–77. http://dx.doi.org/10.5840/jphil200097519.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Libkin, Leonid. "Expressive power of SQL." Theoretical Computer Science 296, no. 3 (2003): 379–404. http://dx.doi.org/10.1016/s0304-3975(02)00736-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lepoutre, Maxime. "HATE SPEECH LAWS: EXPRESSIVE POWER IS NOT THE ANSWER." Legal Theory 25, no. 4 (2019): 272–96. http://dx.doi.org/10.1017/s135232522000004x.

Full text

Abstract:

ABSTRACTAccording to the influential “expressive” argument for hate speech laws, legal restrictions on hate speech are justified, in significant part, because they powerfully express opposition to hate speech. Yet the expressive argument faces a challenge: why couldn't we communicate opposition to hate speech via counterspeech, rather than bans? I argue that the expressive argument cannot address this challenge satisfactorily. Specifically, I examine three considerations that purport to explain bans’ expressive distinctiveness: considerations of strength; considerations of directness; and cons

APA, Harvard, Vancouver, ISO, and other styles

5

Tiskin, Daniel. "In search of expressive power." Epistemology & Philosophy of Science 50, no. 4 (2016): 44–51. http://dx.doi.org/10.5840/eps201650466.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Costello, Tom. "The expressive power of circumscription." Artificial Intelligence 104, no. 1-2 (1998): 313–29. http://dx.doi.org/10.1016/s0004-3702(98)00050-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

FISCHER, MARTIN, and LEON HORSTEN. "THE EXPRESSIVE POWER OF TRUTH." Review of Symbolic Logic 8, no. 2 (2014): 345–69. http://dx.doi.org/10.1017/s1755020314000392.

Full text

Abstract:

AbstractThere are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a

APA, Harvard, Vancouver, ISO, and other styles

8

French, Rohan. "Expressive power, mood, and actuality." Synthese 190, no. 9 (2011): 1689–99. http://dx.doi.org/10.1007/s11229-011-9933-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bezem, Marc, Clemens Grabmayer, and Michał Walicki. "Expressive power of digraph solvability." Annals of Pure and Applied Logic 163, no. 3 (2012): 200–213. http://dx.doi.org/10.1016/j.apal.2011.08.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Parrow, Joachim. "The expressive power of parallelism." Future Generation Computer Systems 6, no. 3 (1990): 271–85. http://dx.doi.org/10.1016/0167-739x(90)90024-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Hayes, Ian J. "Expressive Power of Specification Languages." Formal Aspects of Computing 10, no. 2 (1998): 187–92. http://dx.doi.org/10.1007/s001650050010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Cadoli, Marco, and Luigi Palopoli. "Circumscribing datalog: Expressive power and complexity." Theoretical Computer Science 193, no. 1-2 (1998): 215–44. http://dx.doi.org/10.1016/s0304-3975(97)00108-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Macmillan, Duncan. "The expressive power of Chinese art." Lancet 355, no. 9213 (2000): 1467–68. http://dx.doi.org/10.1016/s0140-6736(00)02153-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

ARECES, CARLOS, DIEGO FIGUEIRA, SANTIAGO FIGUEIRA, and SERGIO MERA. "THE EXPRESSIVE POWER OF MEMORY LOGICS." Review of Symbolic Logic 4, no. 2 (2011): 290–318. http://dx.doi.org/10.1017/s1755020310000389.

Full text

Abstract:

We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the current memory. From this perspective, the hybrid logic ℋℒ (↓), for example, can be thought of as a particular case of a memory logic where the memory is an indexed list of elements of the domain.This work focuses in the case where the memory is a set, and we can test whether the current node belongs to the set or not. We prove that, in terms of expressive power, the memory lo

APA, Harvard, Vancouver, ISO, and other styles

15

Cournier, Alain, Ajoy K. Datta, Stéphane Devismes, Franck Petit, and Vincent Villain. "The expressive power of snap-stabilization." Theoretical Computer Science 626 (May 2016): 40–66. http://dx.doi.org/10.1016/j.tcs.2016.01.036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Okhotin, Alexander, and Oksana Yakimova. "Language equations with complementation: Expressive power." Theoretical Computer Science 416 (January 2012): 71–86. http://dx.doi.org/10.1016/j.tcs.2011.10.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Guldstrand Larsen, Kim. "The expressive power of implicit specifications." Theoretical Computer Science 114, no. 1 (1993): 119–47. http://dx.doi.org/10.1016/0304-3975(93)90155-m.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Grumbach, Stéphane, and Christophe Tollu. "On the expressive power of counting." Theoretical Computer Science 149, no. 1 (1995): 67–99. http://dx.doi.org/10.1016/0304-3975(95)00026-s.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Mitchell, David G., and Eugenia Ternovska. "Expressive power and abstraction in Essence." Constraints 13, no. 3 (2008): 343–84. http://dx.doi.org/10.1007/s10601-008-9050-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Bos, Johan. "Expressive Power of Abstract Meaning Representations." Computational Linguistics 42, no. 3 (2016): 527–35. http://dx.doi.org/10.1162/coli_a_00257.

Full text

Abstract:

The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first-order logic (FOL) can be specified, including a proper treatment of negation. AMRs without recurrent variables are in the decidable two-variable fragment of FOL. The current definition of AMRs has limited expressive power for universal quantification (up to one universal quantifier per sentence). A simple extension of the AMR syntax and translation to FOL provides the means to represent projection and scope phenomena.

APA, Harvard, Vancouver, ISO, and other styles

21

Mali, Amol D. "Probabilistic Roadmaps with Higher Expressive Power." International Journal on Artificial Intelligence Tools 25, no. 04 (2016): 1650027. http://dx.doi.org/10.1142/s0218213016500275.

Full text

Abstract:

Sampling-based motion planning had an enormous impact on robot motion planning because of its efficiency and scalability. Many sampling-based motion planners construct a probabilistic roadmap (PRM) that captures the connectivity of the robot's free configuration space. A valid node of a PRM contains a collision-free robot configuration (also known as a sample) and a valid edge of a PRM connects two valid nodes with a collision-free path. Nodes connected by an edge are usually also required to satisfy additional requirements based on the distance between them. PRM planners use PRMs. Increasing

APA, Harvard, Vancouver, ISO, and other styles

22

Parsons, Terry. "The Expressive Power of Medieval Logic." Vivarium 51, no. 1-4 (2013): 511–21. http://dx.doi.org/10.1163/15685349-12341260.

Full text

Abstract:

Abstract This paper is about the development of logic in the Aristotelian tradition, from Aristotle to the mid-fourteenth century. I will compare four systems of logic with regard to their expressive power. 1. Aristotle’s own logic, based mostly on chapters 1-2 and 4-7 of his Prior Analytics 2. An expanded version of Aristotle’s logic that one finds, e.g., in Sherwood’s Introduction to Logic and Peter of Spain’s Tractatus 3-5. Versions of the logic of later supposition theorists such as William Ockham, John Buridan, and Paul of Venice. Version 4 is the logic without relatives (anaphoric pronou

APA, Harvard, Vancouver, ISO, and other styles

23

Burdick, Douglas, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, and Wang-Chiew Tan. "Expressive power of entity-linking frameworks." Journal of Computer and System Sciences 100 (March 2019): 44–69. http://dx.doi.org/10.1016/j.jcss.2018.09.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Aspnes, J., R. Beigel, M. Furst, and S. Rudich. "The expressive power of voting polynomials." Combinatorica 14, no. 2 (1994): 135–48. http://dx.doi.org/10.1007/bf01215346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Dowek, Gilles, and Ying Jiang. "On the expressive power of schemes." Information and Computation 209, no. 9 (2011): 1231–45. http://dx.doi.org/10.1016/j.ic.2011.06.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Narayan, Kirin. "Gender and Power in South Asian Expressive Traditions.:Gender and Power in South Asian Expressive Traditions." Journal of Linguistic Anthropology 4, no. 1 (1994): 109–10. http://dx.doi.org/10.1525/jlin.1994.4.1.109.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Sandhu, Ravi S. "Expressive Power of the Schematic Protection Model*." Journal of Computer Security 1, no. 1 (1992): 59–98. http://dx.doi.org/10.3233/jcs-1992-1104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Dvořák, Wolfgang, Jorge Fandinno, and Stefan Woltran. "On the expressive power of collective attacks." Argument & Computation 10, no. 2 (2019): 191–230. http://dx.doi.org/10.3233/aac-190457.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Buccafurri, Francesco, Nicola Leone, and Francesco Scarcello. "On the expressive power of ordered logic." AI Communications 9, no. 1 (1996): 4–13. http://dx.doi.org/10.3233/aic-1996-9101.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Kolaitis, Phokion G. "The expressive power of stratified logic programs." Information and Computation 90, no. 1 (1991): 50–66. http://dx.doi.org/10.1016/0890-5401(91)90059-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Panangaden, Prakash, and Vasant Shanbhogue. "The expressive power of indeterminate dataflow primitives." Information and Computation 98, no. 1 (1992): 99–131. http://dx.doi.org/10.1016/0890-5401(92)90043-f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Nestmann, Uwe. "On the Expressive Power of Joint Input." Electronic Notes in Theoretical Computer Science 16, no. 2 (1998): 145–52. http://dx.doi.org/10.1016/s1571-0661(04)00123-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Dantsin, Evgeny, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. "Complexity and expressive power of logic programming." ACM Computing Surveys 33, no. 3 (2001): 374–425. http://dx.doi.org/10.1145/502807.502810.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Vyalyi, M. N. "On expressive power of regular realizability problems." Problems of Information Transmission 49, no. 3 (2013): 276–91. http://dx.doi.org/10.1134/s0032946013030058.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

VYCHODIL, VILEM. "FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 21, no. 04 (2013): 483–96. http://dx.doi.org/10.1142/s0218488513500244.

Full text

Abstract:

We deal with the expressive power of if-then rules called fuzzy attribute implications (FAIs) which can be seen as formulas A ⇒ B where both A and B are conjunctions of subformulas containing propositional variables and constants for truth degrees and whose interpretation is parameterized by linguistic hedges. The formulas admit the following model-theoretical property: a system of fuzzy sets [Formula: see text] is a fuzzy closure system satisfying an additional condition of being closed under a*-shifts (so-called L*-closure system) if and only if [Formula: see text] is a system of models of a

APA, Harvard, Vancouver, ISO, and other styles

36

Benedikt, Michael, Guozhu Dong, Leonid Libkin, and Limsoon Wong. "Relational expressive power of constraint query languages." Journal of the ACM 45, no. 1 (1998): 1–34. http://dx.doi.org/10.1145/273865.273870.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Bérard, B., F. Cassez, S. Haddad, D. Lime, and O. H. Roux. "The expressive power of time Petri nets." Theoretical Computer Science 474 (February 2013): 1–20. http://dx.doi.org/10.1016/j.tcs.2012.12.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

CHARALAMBIDIS, ANGELOS, CHRISTOS NOMIKOS, and PANOS RONDOGIANNIS. "The Expressive Power of Higher-Order Datalog." Theory and Practice of Logic Programming 19, no. 5-6 (2019): 925–40. http://dx.doi.org/10.1017/s1471068419000279.

Full text

Abstract:

AbstractA classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases (Papadimitriou 1985; Grädel 1992; Vardi 1982; Immerman 1986; Leivant 1989). In this paper we extend this result to the case of higher-order Datalog. In particular, we demonstrate that on ordered databases, for all k ≥ 2, k-order Datalog captures (k − 1)-EXPTIME. This result suggests that higher-order extensions of Datalog possess superior expressive power and they are worthwhile of further investigation both in theory and in practic

APA, Harvard, Vancouver, ISO, and other styles

39

Okhotin, Alexander. "Expressive power of LL(k) Boolean grammars." Theoretical Computer Science 412, no. 39 (2011): 5132–55. http://dx.doi.org/10.1016/j.tcs.2011.05.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Hirsch, R. "Expressive power and complexity in algebraic logic." Journal of Logic and Computation 7, no. 3 (1997): 309–51. http://dx.doi.org/10.1093/logcom/7.3.309.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Matsubara, Yasuo. "Data flow schemata of maximum expressive power." Systems and Computers in Japan 16, no. 6 (1985): 30–38. http://dx.doi.org/10.1002/scj.4690160604.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Gert, Heather J., Linda Radzik, and Michael Hand. "Hampton on the Expressive Power of Punishment." Journal of Social Philosophy 35, no. 1 (2004): 79–90. http://dx.doi.org/10.1111/j.1467-9833.2004.00217.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Li Gong and Xiaolei Qian. "Enriching the expressive power of security labels." IEEE Transactions on Knowledge and Data Engineering 7, no. 5 (1995): 839–41. http://dx.doi.org/10.1109/69.469837.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Schäuble, Peter, and Beat Wüthrich. "On the expressive power of query languages." ACM Transactions on Information Systems 12, no. 1 (1994): 69–91. http://dx.doi.org/10.1145/174608.174611.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Roscoe, A. W. "On the expressive power of CSP refinement." Formal Aspects of Computing 17, no. 2 (2005): 93–112. http://dx.doi.org/10.1007/s00165-005-0065-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Polyvyanyy, Artem, Abel Armas-Cervantes, Marlon Dumas, and Luciano García-Bañuelos. "On the expressive power of behavioral profiles." Formal Aspects of Computing 28, no. 4 (2016): 597–613. http://dx.doi.org/10.1007/s00165-016-0372-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Garson, James W. "Expressive Power and Incompleteness of Propositional Logics." Journal of Philosophical Logic 39, no. 2 (2009): 159–71. http://dx.doi.org/10.1007/s10992-009-9120-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Laroussinie, F. "About the expressive power of CTL combinators." Information Processing Letters 54, no. 6 (1995): 343–45. http://dx.doi.org/10.1016/0020-0190(95)00053-f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Felleisen, Matthias. "On the expressive power of programming languages." Science of Computer Programming 17, no. 1-3 (1991): 35–75. http://dx.doi.org/10.1016/0167-6423(91)90036-w.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Živný, Stanislav, David A. Cohen, and Peter G. Jeavons. "The expressive power of binary submodular functions." Discrete Applied Mathematics 157, no. 15 (2009): 3347–58. http://dx.doi.org/10.1016/j.dam.2009.07.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!