<--- Back to Details
First PageDocument Content
Telicity / Semantics / Unaccusative verb / Grammatical aspect / Lexical aspect / Predicate / Language / Copula / Grammar / Linguistics / Parts of speech
Date: 2013-07-01 12:54:44
Telicity
Semantics
Unaccusative verb
Grammatical aspect
Lexical aspect
Predicate
Language
Copula
Grammar
Linguistics
Parts of speech

The Role of Object Movement in the Acquisition of Telicity

Add to Reading List

Source URL: www.lingref.com

Download Document from Source Website

File Size: 674,77 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Mathematics / Predicate logic / Propositional calculus / Semantics / Philosophical logic / Satisfiability modulo theories / Predicate / Literal / Well-formed formula / Model checking

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

DocID: 1xVJt - View Document

Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

DocID: 1xVFk - View Document

Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

DocID: 1xVE0 - View Document

Mathematical logic / Predicate logic / Mathematics / Logic / Predicate variable / Scope / Atomic sentence / FO / First-order logic / Variable / Structured text / Assignment

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

DocID: 1xUQe - View Document

Mathematical logic / Mathematics / Theoretical computer science / Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Boolean algebra / Satisfiability modulo theories / Boolean satisfiability problem / 120-cell / Predicate

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

DocID: 1xUHn - View Document