Relevant bibliographies by topics / Predicate

Contents

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

Academic literature on the topic 'Predicate'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Predicate.'

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 "Predicate"

1

Baker, Mark C., and Nadezda Vinokurova. "Forms of predication in Sakha (Turkic): Will the true lexical predicates please stand up?" Canadian Journal of Linguistics/Revue canadienne de linguistique 57, no. 2 (2012): 177–207. http://dx.doi.org/10.1017/s0008413100004746.

Full text
Abstract:
AbstractThe Turkic language Sakha (Yakut) uses a copular verb with predicate nominals but not with predicate adjectives or verbs in certain environments, including relative clauses, nominalized clauses, and complements to nouns. Previous work takes this as evidence that adjectives but not nouns are true one-place predicates. However, unaccusativity diagnostics show that adjectives pattern with nouns in Sakha, as in other languages: neither is inherently predicative without a predicative functional head. The need for a copula with predicate nominais in certain environments can be explained usin
APA, Harvard, Vancouver, ISO, and other styles
2

MUNARO, NICOLA. "Verbless predicative structures across Romance." Journal of Linguistics 52, no. 3 (2015): 609–37. http://dx.doi.org/10.1017/s0022226715000201.

Full text
Abstract:
This article develops an analysis of a verbless predicative structure attested throughout Romance: in this type of reduced clause the predicate linearly precedes the subject and is separated from it by a clear intonational break, while the missing verb is interpreted as a silent copula. I argue that this structure should be viewed as the result of three movement steps: the first step is to be identified with predicate inversion, that is, extraction of the predicate from the complement position of the predicative small clause to a higher specifier position thanks to phase extension, followed by
APA, Harvard, Vancouver, ISO, and other styles
3

Kim, Inchon. "Syntactic Structure of Light Verb Constructions." East European and Balkan Institute 48, no. 1 (2024): 33–54. http://dx.doi.org/10.19170/eebs.2024.48.1.33.

Full text
Abstract:
This paper provides a well-founded approach to the type of complex predicate where two syntactic elements serve as a single predicate in Czech. Czech complex predicates are composed of so-called ‘Verbe support(fr.)’ in the verbal part and predicative nouns in nominal part. This type of construction can be found inter-linguistically in many of languages, such as Czech, English and Korean that are typologically different. The study of the complex predicates lies in the question of ‘to what extent can the syntactic and semantic properties of multi-word units be deduced from the properties of thei
APA, Harvard, Vancouver, ISO, and other styles
4

Carnie, Andrew. "Two Types of Non-Verbal Predication in Modern Irish." Canadian Journal of Linguistics/Revue canadienne de linguistique 42, no. 1-2 (1997): 57–73. http://dx.doi.org/10.1017/s0008413100016820.

Full text
Abstract:
The number of copular constructions found with non-verbal predicates in Universal Grammar has recently been a matter of some controversy. Traditional theories have claimed that there are two constructions: an equative—with two argument NPs—and predicative—with a single argument and a non-verbal predicate. Recently this bifurcation has been challenged by authors who claim that equative constructions show asymmetries similar to those found in predicatives, and that these asymmetries are due to a simple subject/predicate distinction. They claim that there is a single predicative copular construct
APA, Harvard, Vancouver, ISO, and other styles
5

Déprez, Viviane, and Marie-Thérèse Vinet. "Predicative Constructions and Functional Categories in Haitian Creole." Journal of Pidgin and Creole Languages 12, no. 2 (1997): 203–35. http://dx.doi.org/10.1075/jpcl.12.2.03dep.

Full text
Abstract:
This paper seeks to provide a unified analysis of the particle se in Haitian Creole, traditionally identified as an equality marker, a resumptive pronoun, or a focus marker. This study also serves to illustrate the role and the structural organization of functional projections in this non-inflected language. Under the proposed analysis, se (as well as ye, which has long been recognized as bearing a relation to se) is not a verbal copula; rather, it is a predicate forming aspectual head. A unified analysis based on general principles of UG is offered for se, appearing in predicative sentences,
APA, Harvard, Vancouver, ISO, and other styles
6

Browne, Mitchell. "On the Integration of Dative Adjuncts into Event Structures in Yapa Languages." Languages 6, no. 3 (2021): 136. http://dx.doi.org/10.3390/languages6030136.

Full text
Abstract:
Warlpiri and Warlmanpa (Ngumpin-Yapa languages of Australia) exhibit a complex predicate construction in which a class of preverbs introduces a single argument that is not shared by the argument structure of the inflecting verb, nor is there necessarily any shared event structure. This is problematic for many theories of linking structures of complex predicates, since no arguments or events are shared between the predicative elements of the complex predicate. The same grammatical relation is instantiated by a beneficiary adjunct. In light of new research in event and argument structure, I prop
APA, Harvard, Vancouver, ISO, and other styles
7

Nakatani, Kentaro. "Processing Complexity of Complex Predicates: A Case Study in Japanese." Linguistic Inquiry 37, no. 4 (2006): 625–47. http://dx.doi.org/10.1162/ling.2006.37.4.625.

Full text
Abstract:
Complex predicates, by definition, behave like representationally ‘‘reduced’’ predicates, as extensively discussed in the syntax literature. This article reports the results from an experimental study using a type of complex predicate in Japanese (the V-te V predicate), testing how people process this type of complex ‘‘restructured’’ predicate in real time. Because of the properties of the V-te V predicate, it was possible to compare restructured predicates with nonrestructured ones, keeping such factors as event composition, Case licensing, and lexical choice constant. The results of the expe
APA, Harvard, Vancouver, ISO, and other styles
8

Марковић, Александра М. "О типологији предиката у србистици". Српски језик 18 (7 червня 2013): 579–93. https://doi.org/10.5281/zenodo.14260514.

Full text
Abstract:
У раду се износи преглед типологије предиката у важнијим школским и универзитетским граматикама српског језика, као и у неким радовима посвећеним предикатском изразу, и указује се на сличности и разлике међу њима. This paper offers a survey of different predicate typologies presented in some referential school and university grammars of Serbian language. Typologies are presented chronologically, firstly the ones made by the first syntacticians to the ones made by modern linguists. Certain typologies are the result of the underlying linguistic theories. There are few points of dissagreement amo
APA, Harvard, Vancouver, ISO, and other styles
9

Ibrulj, Nijaz. "Basics of Second-Order Predicate Logic." LOGICAL FORESIGHT - Journal for Logic and Science 3, no. 1 (2023): 1–14. http://dx.doi.org/10.54889/issn.2744-208x.2023.3.1.1.

Full text
Abstract:
The article presents the basics of second-order predicate logic (SOL). The need for a symbolic representation of the general quantifier is pointed out. A distinction is made between the first-order predicate logic (FOL) and the second-order predicate logic (predicates of predicates, relations of relations). The syntax and semantics of the second-order predicate logic are introduced. Logical and non-logical designators and operators, terms, rules for forming logical formulas, status of variables, and rules for variable substitution are introduced. Reference is made to Henkin's semantics of cont
APA, Harvard, Vancouver, ISO, and other styles
10

Pallottino, Margherita. "“feš taqra?” What are You Reading?" Brill’s Journal of Afroasiatic Languages and Linguistics 8, no. 2 (2016): 286–312. http://dx.doi.org/10.1163/18776930-00802004.

Full text
Abstract:
This paper describes the distribution and the selectional properties of perfective and imperfective verb forms in Tunisian Arabic. While perfective predicates are finite forms and always undergo movement out of the VP domain, imperfective predicates acts less consistently as a unified class and, in some contexts, do not undergo movement to negation showing a behavior that reminds this of non-finite forms. Moreover, when the imperfective verb does not undergo movement, an additional structural layer headed by the preposition “fi” is introduced above the direct object. I propose that in this con
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Predicate"

1

Sun, Dongdong. "Predicate encryption with various properties." Thesis, Queensland University of Technology, 2012. https://eprints.qut.edu.au/60301/1/Dongdong_Sun_Thesis.pdf.

Full text
Abstract:
Predicate encryption (PE) is a new primitive which supports exible control over access to encrypted data. In PE schemes, users' decryption keys are associated with predicates f and ciphertexts encode attributes a that are specified during the encryption procedure. A user can successfully decrypt if and only if f(a) = 1. In this thesis, we will investigate several properties that are crucial to PE. We focus on expressiveness of PE, Revocable PE and Hierarchical PE (HPE) with forward security. For all proposed systems, we provide a security model and analysis using the widely accepted computat
APA, Harvard, Vancouver, ISO, and other styles
2

LaCara, Nicholas. "Predicate which-appositives." University of Arizona Linguistics Circle, 2012. http://hdl.handle.net/10150/253419.

Full text
Abstract:
Predicate which-appositives (PWAs) are a class of nonrestrictive, parenthetical relative clauses that take as their antecedents predicate-denoting material in the spine of a clause. PWAs contain a gap, and it is difficult to tell whether this gap is derived by a deletion operation like verb phrase ellipsis or by wh-movement. Indeed, diagnostics meant to distinguish these two possibilities provide evidence that both are correct. In order to remedy the apparent conundrum, I draw on recent work on Danish verbal anaphora. I argue that the VP itself undergoes A'-movement and that the relative ope
APA, Harvard, Vancouver, ISO, and other styles
3

Joshi, Rejeev. "Immediacy : a technique for reasoning about asynchrony /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

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

Vaz, Bruno Rafaelo Lopes. "A RECEPÇÃO DE FREGE DA NOÇÃO KANTIANA DE EXISTÊNCIA." Universidade Federal de Santa Maria, 2006. http://repositorio.ufsm.br/handle/1/9041.

Full text
Abstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>In this work the relationship between two famous conceptions of existence is investigated. The first, proposed by Kant, excludes the concept of existence from the set of possible predicates or properties of objects. The second, later proposed by Frege, treats the concept of existence as a higher-level predicate, i.e., it presents this concept as a predicate of predicates rather than as a predicate of objects. A closer look at these conceptions reveals, however, that despite this similarity it would be premature to identify their co
APA, Harvard, Vancouver, ISO, and other styles
5

Schuster, Jörg. "Towards predicate driven grammar." Muenchen LINCOM Europa, 2009. http://d-nb.info/992393248/04.

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

Tajima, Masakazu. "Complex predicate formation in Ainu." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=56904.

Full text
Abstract:
Lexicalists assume that words with derivational morphology and compound words are not formed by syntactic transformation (Selkirk, 1982). The Lexicalist Hypothesis implies that the principles of universal grammar are not operative to word formation.<br>This thesis argues that a word is composed of lexical constituents and post-lexical constituents, and that the post-lexical constituents can incorporate into a verb, to form the complex predicate. This formational process is subject to syntactic constraints and principles. Therefore, I claim that the principles of universal grammar are also oper
APA, Harvard, Vancouver, ISO, and other styles
7

Martin, Clare. "Preordered categories and predicate transformers." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302864.

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

Camacho, Cortina Philippe. "Predicate-preserving collision-resistant hashing." Tesis, Universidad de Chile, 2013. http://www.repositorio.uchile.cl/handle/2250/115277.

Full text
Abstract:
Doctor en Ciencias, Mención Computación<br>Se estudian funciones de hash resistentes a colisiones (FHRC) que permiten validar eficientemente predicados sobre las entradas, usando solamente los valores de hash y certificados cortos. Para los predicados, consideramos conjuntos y cadenas de caracteres. La idea de computar el valor de hash de un conjunto con el fin de demostrar (no)pertenencia aparece en la literatura bajo el nombre de acumuladores criptográficos (Benaloh y De Mare, CRYPTO 1993). En esa tesis se propone primero un acumulador criptográfico que permite manipular conjuntos dinámicos
APA, Harvard, Vancouver, ISO, and other styles
9

Akakzia, Ahmed. "Teaching Predicate-based Autotelic Agents." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS415.pdf.

Full text
Abstract:
Dans la quête de concevoir des machines incarnées qui explorent leurs environnements en autonomie, découvrent des nouveaux comportements et apprennent des répertoires non-bornés de compétences, l'intelligence artificielle s'est longuement inspirée des domaines de psychologie du développement et des sciences cognitives qui étudient la capacité remarquable des humains à apprendre tout au long de leur vie. Ceci a donné naissance au domaine de la robotique du développement qui a pour but de concevoir des agents artificiels autonomes capables d'auto-organiser leurs trajectoires d'apprentissage en s
APA, Harvard, Vancouver, ISO, and other styles
10

Quiñones, Moreno Eduardo. "Predicated execution and register windows for out-of-order processors." Doctoral thesis, Universitat Politècnica de Catalunya, 2008. http://hdl.handle.net/10803/6023.

Full text
Abstract:
ISA extensions are a very powerful approach to implement new hardware techniques that require or benefit from compiler support: decisions made at compile time can be complemented at runtime, achieving a synergistic effect between the compiler and the processor. This thesis is focused on two ISA extensions: predicate execution and register windows. Predicate execution is exploited by the if-conversion compiler technique. If-conversion removes control dependences by transforming them to data dependences, which helps to exploit ILP beyond a single basic-block. Register windows help to reduce the
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Predicate"

1

Manes, Ernest G. Predicate transformer semantics. Cambridge University Press, 2004.

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

Ruchot, Thierry, and Pascale Van Praet, eds. Atypical predicate-argument relations. John Benjamins Publishing Company, 2016. http://dx.doi.org/10.1075/lis.33.

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

Eijck, J. van. Dynamic modal predicate logic. Research Institute for Language and Speech, 1993.

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

Kac, Michael B. Constraints on predicate coordination. Indiana University Linguistics Club, 1985.

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

Kac, Michael B. Constraints on predicate coordination. Indiana University Linguistics Club, 1985.

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

Franz, Guenthner, ed. Towards predicate driven grammar. LINCOM Europa, 2009.

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

Dijkstra, Edsger W., and Carel S. Scholten. Predicate Calculus and Program Semantics. Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-3228-5.

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

Stern, Johannes. Toward Predicate Approaches to Modality. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-22557-9.

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

Dijkstra, Edsger Wybe. Predicate calculus and program semantics. Springer-Verlag, 1990.

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

Dijkstra, Edsger Wybe. Predicate calculus and program semantics. Springer-Verlag, 1990.

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

Book chapters on the topic "Predicate"

1

Chaki, Sagar, Edmund Clarke, Alex Groce, and Ofer Strichman. "Predicate Abstraction with Minimum Predicates." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-39724-3_5.

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

Zwiers, Job. "Predicates, predicate transformers and refinement." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52559-9_86.

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

Zeugmann, Thomas, Pascal Poupart, James Kennedy, et al. "Predicate." In Encyclopedia of Machine Learning. Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-30164-8_653.

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

Weik, Martin H. "predicate." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14478.

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

Huang, Min. "Predicate." In The World in Perspective. Routledge, 2024. http://dx.doi.org/10.4324/9781003566366-6.

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

Hurd, Joe. "Predicate Subtyping with Predicate Sets." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44755-5_19.

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

Nerode, Anil, and Richard A. Shore. "Predicate Logic." In Logic for Applications. Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-0649-1_3.

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

Schneider, Klaus. "Predicate Logic." In Verification of Reactive Systems. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-10778-2_6.

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

Back, Ralph-Johan, and Joakim Wright. "Predicate Transformers." In Refinement Calculus. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1674-2_11.

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

Booth, Dexter J. "Predicate calculus." In Foundation Discrete Mathematics for Computing. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4899-7114-2_5.

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

Conference papers on the topic "Predicate"

1

Chen, Xinjia. "Predicate credibility logic for artificial intelligence." In Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications VII, edited by Peter J. Schwartz and Myron E. Hohil. SPIE, 2025. https://doi.org/10.1117/12.3052667.

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

Hellerstein, Joseph M., and Michael Stonebraker. "Predicate migration." In the 1993 ACM SIGMOD international conference. ACM Press, 1993. http://dx.doi.org/10.1145/170035.170078.

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

Gräter, Friedrich, Sebastian Götz, and Julian Stecklina. "Predicate-C." In the 6th Workshop. ACM Press, 2011. http://dx.doi.org/10.1145/2069172.2069174.

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

Simic, Hrvoje. "Predicate trees." In the 2nd International Conference. ACM Press, 2012. http://dx.doi.org/10.1145/2254129.2254160.

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

Li, Li, Chenwei Wang, You Qin, Wei Ji, and Renjie Liang. "Biased-Predicate Annotation Identification via Unbiased Visual Predicate Representation." In MM '23: The 31st ACM International Conference on Multimedia. ACM, 2023. http://dx.doi.org/10.1145/3581783.3611847.

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

Zwiers, J., and W. Roever. "Predicates are predicate transformers: a unified compositional theory for concurrency." In the eighth annual ACM Symposium. ACM Press, 1989. http://dx.doi.org/10.1145/72981.73000.

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

Dominguez Perez, Danilo, and Wei Le. "Predicate Callback Summaries." In 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE). IEEE, 2017. http://dx.doi.org/10.1109/icse-c.2017.95.

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

Hellerstein, Joseph M. "Practical predicate placement." In the 1994 ACM SIGMOD international conference. ACM Press, 1994. http://dx.doi.org/10.1145/191839.191904.

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

Kok, Stanley, and Pedro Domingos. "Statistical predicate invention." In the 24th international conference. ACM Press, 2007. http://dx.doi.org/10.1145/1273496.1273551.

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

Kaminski, Gary, Paul Ammann, and Jeff Offutt. "Better predicate testing." In Proceeding of the 6th international workshop. ACM Press, 2011. http://dx.doi.org/10.1145/1982595.1982608.

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

Reports on the topic "Predicate"

1

Kumar, Ratnesh, Vijay Garg, and Steven I. Marcus. Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada454854.

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

Clarke, Edmund, Daniel Kroening, Natasha Sharygina, and Karen Yorav. SAT-Based Predicate Abstraction of Programs. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada441311.

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

Clarke, Edmund, Himanshu Jain, and Daniel Kroening. Predicate Abstraction and Refinement Techniques for Verifying Verilog. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada457877.

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

Jain, Himanshu, Natasha Sharygina, Daniel Kroening, and Edmund Clarke. Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada470547.

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

Clarke, Edmund, and Daniel Kroening. Checking Consistency of C and Verilog using Predicate Abstraction and Induction. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada457879.

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

Tobies, Stephan. A NExpTime-Complete Description Logic Strictly Contained in C². Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.91.

Full text
Abstract:
We examine the complexity and expressivity of the combination of the Description Logic ALCQI with a terminological formalism based on cardinality restrictions on concepts. This combination can naturally be embedded into C², the two variable fragment of predicate logic with counting quantifiers. We prove that ALCQI has the same complexity as C² but does not reach its expressive power.
APA, Harvard, Vancouver, ISO, and other styles
7

Hirsch, Colin, and Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.

Full text
Abstract:
Aus der Einleitung: The Guarded Fragment of first-order logic, introduced by Andréka, van Benthem, and Németi, has been a succesful attempt to transfer many good properties of modal, temporal, and description logics to a larger fragment of predicate logic. Among these are decidability, the finite modal property, invariance under an appropriate variant of bisimulation, and other nice modal theoretic properties.
APA, Harvard, Vancouver, ISO, and other styles
8

Baader, Franz, Anees ul Mehdi, and Hongkai Liu. Integrate Action Formalisms into Linear Temporal Description Logics. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.172.

Full text
Abstract:
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.
APA, Harvard, Vancouver, ISO, and other styles
9

Marzullo, Keith, and Gil Neiger. Detection of Global State Predicates. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada243444.

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

Jung. L52232 Weld Metal Cooling Rate Prediction of Narrow Groove Pipeline Girth Welds FEA Modeling. Pipeline Research Council International, Inc. (PRCI), 2008. http://dx.doi.org/10.55274/r0011321.

Full text
Abstract:
As part of a larger, DoT-sponsored program to develop optimized weld metal chemistries for X80 and X100, a finite-element approach was used to predict weld metal cooling rates and to provide a better understanding of the factors which influence them. The models can then be used to predict how changes in the welding procedure will affect the cooling rates of the weld joints. The changes in the welding procedure can include the joint details, the heat input of the weld as well as the preheating temperature. The predicted cooling rate from the model will be used as input, along with the weld meta
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Predicate' 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