Results 31 to 40 of about 85,039 (190)
Disjunctive ASP with Functions: Decidable Queries and Effective Computation [PDF]
, 2010 Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASP^{fs}). We show that query answering in
Bonatti +10 more
core +3 more sources
Questions with definite markers in (Old) Romance, with focus on Old Spanish
Isogloss, 2019 We will depart from the observation that Romance languages can be subdivided into two groups with respect to free relatives under question-embedding predicates (Kellert 2017). One group has grammaticalized the definite element (e.g. Pt.[1] o, Fl. i’ ‘the’
Olga Kellert
doaj +3 more sources
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
, 2017 The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan +3 more
core +1 more source
Complex predicate formation [PDF]
, 2010 Chapter 2 ...
Baker, Brett, Harvey, Mark
openaire +2 more sources
Effects of semantic and syntactic complexities and aspectual class on past tense production [PDF]
, 2013 This paper reports results from a series of experiments that investigated whether semantic and/or syntactic complexity influences young Dutch children’s production of past tense forms.
Matsuo, Ayumi
core
Learning action effects in partially observable domains [PDF]
, 2009 We investigate the problem of learning action effects in partially observable STRIPS planning domains. Our approach is based on a voted kernel perceptron learning model, where action and state information is encoded in a compact vector representation as ...
Mourao, Kira +2 more
core +1 more source
A Cardinality Estimator in Complex Database Systems Based on TreeLSTM
Sensors, 2023 Cardinality estimation is critical for database management systems (DBMSs) to execute query optimization tasks, which can guide the query optimizer in choosing the best execution plan.
Kaiyang Qi, Jiong Yu, Zhenzhen He
doaj +1 more source
Games of Partial Information and Predicates of Personal Taste [PDF]
, 2016 A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings.
Hîncu, Mihai
core +1 more source
Sets, heads and spreading in LFG
Journal of Language Modelling, 2018 Lexical Functional Grammar (LFG) uses abstract syntactic representation (f-structures) that tend to provide less hierarchical structure for certain constructions than those employed in other formal frameworks.
Avery D. Andrews
doaj +1 more source
Un exemple de prédicats complexes opérant sur des prédicats simples
Lidil, 2008 The aim of this paper is to analyse phenomena drawn from complex sentences in French, Italian and Spanish, in order to demonstrate Z.S. Harris’s thesis concerning the classification of subordinating conjunctions as a class of super-predicates (the Ooo ...
Mireille Piot
doaj +1 more source