Filters








280 Hits in 4.3 sec

EPiC Series in Computing A Clausal Normal Form Translation for FOOL *

Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov
2016 Pages 1-19 GCAI 2016. 2nd Global Conference on Artificial Intelligence   unpublished
It is well-known that the translation of a formula in full first-order logic to a clausal normal form (CNF) can crucially affect performance of a theorem prover.  ...  In this paper we present a new CNF translation algorithm for FOOL that is friendly and efficient for superposition-based first-order provers.  ...  Acknowledgments We thank Andrew Reynolds for an explanation on how state-of-the-art SMT solvers deal with clausification and quantifiers.  ... 
fatcat:ldsupz4kojcabkmw3znegudfzu

'Tough' complementation and the extraclausal propagation of argument descriptions

Robert D. Levine
2001 Proceedings of the International Conference on Head-Driven Phrase Structure Grammar  
normal Montegovian compositional assumptions.  ...  I then offer a number of arguments for the superiority of the clausal analysis, appealing to data from comparatives, parasitic gap constructions and extraposition.  ...  'John i 's easy for Mary him/her to beat.' not accusative: (36) a. Savi haad fu i * am fuul. 'Savi i 's hard for her/him j to fool.' It is not clear that this is the correct generalization.  ... 
doi:10.21248/hpsg.2000.13 fatcat:zeodo2onuzbw3he7fylwk6zdzu

The vampire and the FOOL

Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
2016 Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016  
This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays.  ...  In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions.  ...  For example, one can use Vampire not only for proving, but also for preprocessing the input problem or converting it to clausal normal form.  ... 
doi:10.1145/2854065.2854071 dblp:conf/cpp/KotelnikovKRV16 fatcat:rosihs56ybehhl54pkipkkc3tu

And: A Complex Little Word at the Heart of Janet Frame's Language

Wilfrid Rotgé
2016 Journal of Computer Virology and Hacking Techniques  
all of its conjugated forms), to and of.  ...  My starting point is the shortest story in The Lagoon and Other Stories, a collection published in 1951 by New Zealand writer Janet Frame.  ...  One might get the impression that the reader is expected not to be fooled by what appears to be simple juxtaposition or addition, to look for the complexity behind the simplicity, even if that means reassessing  ... 
doi:10.4000/angles.1956 fatcat:f2gdihltmnhmbn5asbd5bpw6y4

Modal resolution in clausal form

Patrice Enjalbert, Luis Farinas del Cerro
1989 Theoretical Computer Science  
A completeness proof technique based on a variant of the tableau method for formulas in some "clausal" form is presented and applied to these systems.  ...  A method, called Modal Resolution and inspired by Robinson's resolution method for classical logics, is presented for the system K and then extended to Q, T, S4, epistemic logic, and S5.  ...  Acknowledgment We thank Yves Auffray and Jean Jacques Hebrard for many critical discussions on an earlier version of the paper.  ... 
doi:10.1016/0304-3975(89)90137-0 fatcat:rj4yb5xsynabxo33tzoagid32q

Clause Intertwining and Word Order in Ancient Greek

Rutger J. Allan
2012 Journal of Greek Linguistics  
In Ancient Greek complex sentences consisting of a main and complement clause, constituents which semantically and syntactically belong to the complement clause can be placed in a position preceding or  ...  Preposing can be analyzed as a device to pragmatically highlight the involved constituents.  ...  . (…) κάρτα FOCUS1 δ ξας ἀμαθέα FOCUS2 εἶναι (…) (Hdt. 1.33.1) highly thinking foolish be.INF (…) thinking him a great fool (…) (12) a.  ... 
doi:10.1163/156658412x649733 fatcat:onc2baqfjngdvazb7psvfbntey

The syntax of comparison constructions in diachronic and dialectal perspective

Agnes Jäger
2019 Glossa  
This is demonstrated in detail for the German comparison particles als and wie.  ...  As far as the syntactic position of comparison particles is concerned, the data present evidence against the widespread analysis as prepositions or complementizers and in favour of a syntactic position  ...  These would have formed the basis for a syntactic reanalysis of the elliptical clausal comparisons as phrasal comparisons (and of wie from C 0 into a higher functional head Conj 0 able to combine with  ... 
doi:10.5334/gjgl.651 fatcat:r2net76q4za3fnv4x5jxsvhuum

De-constructing small clauses: The case of Mandarin Chinese

Waltraud Paul
2021 Glossa  
In Chinese, there is no root vs non-root asymmetry for predicates: If a category X is not licit as an autonomous predicate in matrix sentences, then it is not licit as predicate elsewhere, i.e. in nonroot  ...  Claims to the contrary in the literature are based on Chinese translations of English SCs and involve completely different structures.  ...  I would like to thank Lin Jo-Wang, Liu Chang, Luther Liu, Lu Yaqiao and Qiu Yiqin for comments and data.  ... 
doi:10.5334/gjgl.1211 fatcat:sw7cymc43rcuropacdy5bqtq4u

The syntactic derivations of two paired dependency constructions

Niina Ning Zhang
2007 Lingua  
I argue for a paired movement analysis for these constructions.  ...  I propose that the two conjuncts of the left coordinate complex in both constructions first undergo sideward movement from the gap positions independently, and form a coordinate complex with a conjunction  ...  data help, to Marcel den Dikken, Henk van Riemsdijk, Juan Uriakereka, and other participants of GLOW 29 (Barcelona, April 5-8, 2006) for comments, and to James Myers for data, comments, and English advice  ... 
doi:10.1016/j.lingua.2007.02.001 fatcat:mq46w5x5wjemhpr7ktnjf7dg3e

Towards a standard of glossing Baltic languages: The Salos Glossing Rules

Peter Arkadiev, Nicole Nau
2015 Baltic Linguistics  
Wherever possible, the same principles are proposed for both Latvian and Lithuanian, which will facilitate a comparison of these languages.  ...  This paper proposes guidelines for interlinear morpheme glossing of modern Latvian and Lithuanian.  ...  As with other nouns, the indication of the gender as inherent category is optional. (18) Lithuanian a. tok-s kvaiš-a such-ɴoᴍ.sɢ.ᴍ fool-ɴoᴍ.sɢ / fool(ᴍ)-ɴoᴍ.sɢ 'such a fool' (referring to a man) b. toki-a  ... 
doi:10.32798/bl.398 fatcat:w4oky4cicvccnk6gji7essy3tu

Multifunctionality of modal markers:Lithuanian epistemic adverbials gal and galbūt 'perhaps/maybe' vs. their translational correspondences

Audronė Šolienė
2015 Kalbotyra  
I am also very grateful to the reviewers for their constructive criticism and advice, which has been very beneficial when working on the revision of the paper.  ...  TCs of gal 'perhaps' in translated English (LT_orig→EN_trans)A wide range of TCs of gal 'perhaps' once again speaks in favour for the multifunctional character of the adverbial.  ...  They are endowed with an almost unrestrained syntactic mobility and can freely move in a sentence. What is essential is the clausal scope that they must have.  ... 
doi:10.15388/klbt.2015.8947 fatcat:rw43ao63rzfcplcqtl63mwiesu

ClinkNotes: Towards a Corpus-Based, Machine-Aided Programme of Translation Teaching

Chunshen Zhu, Po-Ching Yip
2010 Meta : Journal des traducteurs  
The project was first presented at the international symposium, For a Proactive Tra nslatology, Université de Montréal, 7-9 April 2005.  ...  The first author also wishes to thank La Trobe University, Australia, for an IAS Fellowship (June-August 2006), which has helped expedite the completion of this report.  ...  (lit.: real fools, the-gods-mock-or-mar fools, are those not-know-themselves people) A large number of methodological strategies can be grouped under this category: verb for e.g., abstract noun in English  ... 
doi:10.7202/044247ar fatcat:kidfcomqxbauzctprak6alx6ce

Uniformity and diversity in the syntax of evaluative vocatives

Norbert Corver
2008 Journal of Comparative Germanic Linguistics  
The paper aims at giving a uniform account for the 'underlying' syntax of this construction type. It is argued that this construction has the 'underlying' syntax of a possessive noun phrase.  ...  According to the structural analysis proposed in this article, evaluative vocative expressions form a further illustration of the structural uniformity that is hidden behind superficial diversity.  ...  A special thanks to Marcel den Dikken for his very helpful comments and suggestions.  ... 
doi:10.1007/s10828-008-9017-1 fatcat:bg3244pnrvebdb27jufjeefufq

Explorations of Engagement: Introduction

Henrik Bergqvist, Dominique Knuchel
2019 Open Linguistics  
In addition, we examine the notion of access as a crucial component of engagement marking and we attempt to distinguish access from epistemic authority, which we argue is a prerequisite for the existence  ...  From an interactional point of view, engagement may be viewed as a form of "stance" (Du Bois 2007), in that it primarily positions the speech participants with respect to talked about events from the point  ...  Acknowledgements This Special Issue results from a workshop with the same name at the SLE in Zürich in 2017.  ... 
doi:10.1515/opli-2019-0036 fatcat:2prqfg74mvdbpdxcu55tztguuy

Low Level Linguistic Controls for Style Transfer and Content Preservation

Katy Gero, Chris Kedzie, Jonathan Reeve, Lydia Chilton
2019 Proceedings of the 12th International Conference on Natural Language Generation  
We find we can fool a style classifier 84% of the time, and that our model produces highly diverse and stylistically distinctive outputs.  ...  This work introduces a formal, extendable model of style that can add control to any neural text generation system.  ...  We would also like to thank Elsbeth Turcan for her helpful comments.  ... 
doi:10.18653/v1/w19-8628 dblp:conf/inlg/GeroKRC19 fatcat:mv7ljm2ugba67m44ck3geclpde
« Previous Showing results 1 — 15 out of 280 results