Filters








116 Hits in 2.2 sec

Unary Resolution: Characterizing Ptime [chapter]

Clément Aubert, Marc Bagnol, Thomas Seiller
<span title="">2016</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring (whose elements can be understood as logic programs or sets of rewriting  ...  As a direct consequence, we get a Ptime-completeness result for a class of logic programming queries that uses only unary function symbols.  ...  Our main contribution here is a characterization of the class Ptime by studying a natural restriction, namely that one is allowed to use exclusively unary function symbols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49630-5_22">doi:10.1007/978-3-662-49630-5_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/44jk7rigrfaxplojjlzxshhveu">fatcat:44jk7rigrfaxplojjlzxshhveu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830075100/https://www.irif.fr/~seiller/documents/articles/Ptime.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/be/fcbee93a04f51aec22b2caee0cf7123bfe09509d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49630-5_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Memoization for Unary Logic Programming: Characterizing PTIME [article]

Clément Aubert
<span title="2015-02-04">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring, whose elements can be understood as logic programs or sets of rewriting  ...  As an application of our techniques, we show a PTIME-completeness result for a class of logic programming queries which use only unary function symbols.  ...  Our main contribution here is a characterization of the class PTIME by studying a natural restriction, namely that one is allowed to use exclusively unary function symbols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1501.05104v2">arXiv:1501.05104v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/272rdzkgdjay5dozgcfuotkwym">fatcat:272rdzkgdjay5dozgcfuotkwym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823151234/https://arxiv.org/pdf/1501.05104v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/05/1c/051cf68dce44973a5a2582e7e2b31b5077f028ac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1501.05104v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

On The Resolution Semiring

Marc Bagnol
<span title="2014-12-04">2014</span> <i title="Zenodo"> Zenodo </i> &nbsp;
programs.Secondly, complexity theory problematics will be considered: while thenilpotency problem in the semiring we study is undecidable in general, it willappear that certain restrictions allow for characterizations  ...  More specifically, let us mention classical work on implicit characterizations of the complexity classes we study in this thesis: As for Ptime, characterizations have been obtained as restrictions on recursion  ...  We explore their algebraic properties related to the notion of nilpotency, which will be used as an acceptance condition when characterizing the complexity classes Logspace, NLogspace and Ptime.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.806771">doi:10.5281/zenodo.806771</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/klgfbxmvfrf3xhad2pb4tq56ee">fatcat:klgfbxmvfrf3xhad2pb4tq56ee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200113035850/https://zenodo.org/record/806772/files/article.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/33/f23380315c1c509d3d638cf4fa517bb9b542ad97.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.806771"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Automated theorem proving by resolution in non-classical logics

Viorica Sofronie-Stokkermans
<span title="2007-06-13">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j2td7x4trvgx7pjoienrccryxq" style="color: black;">Annals of Mathematics and Artificial Intelligence</a> </i> &nbsp;
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem proving.  ...  In this context, we show that refinements of resolution can often be used successfully for automated theorem proving, and in many interesting cases yield optimal decision procedures.  ...  For every rôle name R, we introduce two unary function symbols, f ∃R and f ∀R .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-007-9051-8">doi:10.1007/s10472-007-9051-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/npctskj7pjayva2jzhvuldb5yq">fatcat:npctskj7pjayva2jzhvuldb5yq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810150427/https://userpages.uni-koblenz.de/~sofronie/papers/pdf/sofronie-dam-amai.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/78/7e78c04f68a154b47c2b1942b5d5d8ad786490fe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10472-007-9051-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Parameter Compilation [article]

Hubie Chen
<span title="2015-03-01">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In resolving instances of a computational problem, if multiple instances of interest share a feature in common, it may be fruitful to compile this feature into a format that allows for more efficient resolution  ...  Here, by a unary signature, we mean a signature containing only unary relation symbols.  ...  From the just-given characterization of chopped-C, we may infer the following two results. Proposition 15.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1503.00260v1">arXiv:1503.00260v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p22jgd3unvhtbaoe373po4lwgy">fatcat:p22jgd3unvhtbaoe373po4lwgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823170125/https://arxiv.org/pdf/1503.00260v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/87/45/87459f6ffb92edd72f7e61d2755cc812721d3a7d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1503.00260v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Page 6722 of Mathematical Reviews Vol. , Issue 2004i [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Restricting the induction rule to £; formulas one gets instead the class E> of Grzegorezyk, or alternatively the PTIME functions (depending on whether one works with unary or binary notation).  ...  Bellantoni and Cook (1992) gave a syntactic characterization of the complexity class PTIME via a simple syntactic restriction of the scheme of primitive recursion, obtained by separating the variables  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-09_2004i/page/6722" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004-09_2004i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

On Partial Features in the $$\mathcal{DLF}$$ Family of Description Logics [chapter]

David Toman, Grant Weddell
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The DLF dialects of description logic are fragments of first order logic with underlying signatures based on unary predicate symbols and on unary function symbols interpreted as total functions.  ...  In earlier work, we have shown how computational properties of logical consequence for dialects of this family without inverse features are preserved when unary function symbols are interpreted instead  ...  Pf | Pf is a prefix of a path expression in Q and Pf is a feature occurring in T or id }, write C C to denote unary predicates for C ∈ CON(T , Q), and introduce a unary predicate D and a binary predicate  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-42911-3_44">doi:10.1007/978-3-319-42911-3_44</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p4tdvw4xqvbmded7avfjabgcke">fatcat:p4tdvw4xqvbmded7avfjabgcke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200115131959/http://ceur-ws.org/Vol-1879/paper44.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/14/e51461b3cb1fe819a9f2e2f4ec91ab6fbb7c166d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-42911-3_44"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Ontology-Based Data Access

Meghyn Bienvenu, Balder Ten Cate, Carsten Lutz, Frank Wolter
<span title="2014-12-30">2014</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ahla23r2jva2bp2hlkt5rtbx4y" style="color: black;">ACM Transactions on Database Systems</a> </i> &nbsp;
database queries are given as some form of conjunctive query and the ontologies are formulated in description logics or other relevant fragments of first-order logic, such as the guarded fragment and the unary  ...  and CONP unless PTIME = NP.  ...  Consequently, (ALCF, AQ) does not have a dichotomy between PTIME and CONP (unless PTIME = NP).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2661643">doi:10.1145/2661643</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/evnh6sn7yvgk3kjz23nv2arsf4">fatcat:evnh6sn7yvgk3kjz23nv2arsf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150413044736/http://www.informatik.uni-bremen.de/tdki/research/papers/2014/BieCaLuWo-TODS14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/ff/91ff988e418ba3e5016098b46e193751acd5864b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2661643"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Understanding the Complexity of Lifted Inference and Asymmetric Weighted Model Counting [article]

Eric Gribkoff, Guy Van den Broeck, Dan Suciu
<span title="2014-07-29">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
; we prove that, in the first case our algorithm solves the WFOMC problem in PTIME, and in the second case it fails.  ...  Second, we provide a novel dichotomy result for a non-trivial fragment of FO CNF sentences, showing that for each sentence the WFOMC problem is either in PTIME or #P-hard in the size of the input domain  ...  The search for D 1 , D 2 can proceed using some standard inference algorithm, e.g. resolution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3250v2">arXiv:1405.3250v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uust6npzvvbqhf4qqlztyjcaya">fatcat:uust6npzvvbqhf4qqlztyjcaya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191016093155/https://arxiv.org/pdf/1405.3250v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/9f/d99f391c3bce35233078c0e880261c0155b0832c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3250v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Symmetric Weighted First-Order Model Counting

Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xtq6wnwaszaebg4qf7aw6mllwi" style="color: black;">Proceedings of the 34th ACM Symposium on Principles of Database Systems - PODS &#39;15</a> </i> &nbsp;
For the combined complexity, we prove that, for every fragment FO k , k ≥ 2, the combined complexity of FOMC (or WFOMC) is #P-complete. 4 PTIME data complexity for symmetric WFOMC is called domain-liftability  ...  It also does not characterize the tractability boundary: jtdb contains the γcyclic query above, but it does not contain the PTIME query c jtdb = R(x, y, z, u), S(x, y), T (x, z), V (x, u).  ...  An open problem is to characterize the conjunctive queries without self-joins that are in polynomial time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2745754.2745760">doi:10.1145/2745754.2745760</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pods/BeameBGS15.html">dblp:conf/pods/BeameBGS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yt752ppyrzcxfdwgdwxshukztq">fatcat:yt752ppyrzcxfdwgdwxshukztq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171127081341/https://core.ac.uk/download/pdf/34635520.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/da/13da9cb2312eae51d44e8bc9cd41a95e45aa524e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2745754.2745760"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The complexity of resilience and responsibility for self-join-free conjunctive queries

Cibele Freire, Wolfgang Gatterbauer, Neil Immerman, Alexandra Meliou
<span title="2015-11-01">2015</span> <i title="VLDB Endowment"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p6rqwwpkkjbcldejepcehaalby" style="color: black;">Proceedings of the VLDB Endowment</a> </i> &nbsp;
Further, we identify a mistake in a previous dichotomy for causal responsibility, and offer a revised characterization based purely on the structural form of the query (presence or absence of triads).  ...  An explanation that is simple and concise is more likely to be correct and to provide an efficient resolution to a potential problem.  ...  [29] defined a dichotomy for the view side-effect problem by providing a characterization that uses the query structure: DPview(q(y)) is PTIME for queries that are head dominated, and NP-complete otherwise  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/2850583.2850592">doi:10.14778/2850583.2850592</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cdozxvrnejcqvoy7zl73n4h26u">fatcat:cdozxvrnejcqvoy7zl73n4h26u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224202549/http://pdfs.semanticscholar.org/5aca/5717abfcb3fd6d344e0c62943660c16b252c.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/ca/5aca5717abfcb3fd6d344e0c62943660c16b252c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14778/2850583.2850592"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Symmetric Weighted First-Order Model Counting [article]

Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu
<span title="2015-06-01">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It also does not characterize the tractability boundary: jtdb contains the γcyclic query above, but it does not contain the PTIME query c jtdb = R(x, y, z, u), S(x, y), T (x, z), V (x, u).  ...  An open problem is to characterize the conjunctive queries without self-joins that are in polynomial time.  ...  PTIME DATA COMPLEXITY FOR FO 2 The proof of the fact that the data complexity for FO 2 is in PTIME is spread over two references, [35] and [37] . We include here a brief proof, for completeness.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.1505v3">arXiv:1412.1505v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kl4qpimzxjdafkrh3suwytufoq">fatcat:kl4qpimzxjdafkrh3suwytufoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191013112221/https://arxiv.org/pdf/1412.1505v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/6d/896dd198b718e30da3ad649f27c79eccd9595c5e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1412.1505v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

First order logic, fixed point logic and linear order [chapter]

Anuj Dawar, Steven Lindell, Scott Weinstein
<span title="">1996</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
LFP = PFP if and only if PTIME = PSPACE.  ...  In order to state the complexity theoretic implications of a positive resolution of Conjecture 1, we i n troduce some notation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61377-3_37">doi:10.1007/3-540-61377-3_37</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t2uyw6flffakna4vbbmeqp37zy">fatcat:t2uyw6flffakna4vbbmeqp37zy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720090252/https://repository.upenn.edu/cgi/viewcontent.cgi?article=1145&amp;context=ircs_reports" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a6/6b/a66bd9ac4bfe952a7234f699c9ed92bf28f9d768.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61377-3_37"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantic Complexity in Natural Language [chapter]

Ian Pratt-Hartmann
<span title="2015-08-21">2015</span> <i title="John Wiley &amp; Sons, Ltd"> The Handbook of Contemporary Semantic Theory </i> &nbsp;
We have NLogSpace ⊆ PTime ⊆ NPTime ⊆ ExpTime ⊆ NExpTime. Moreover, PTime is known to be a strict subset of ExpTime, and similarly for their non-deterministic counterparts.  ...  Let o * be a new unary predicate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118882139.ch14">doi:10.1002/9781118882139.ch14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dx3q7ltnyjam5f5bjlyvh7dpru">fatcat:dx3q7ltnyjam5f5bjlyvh7dpru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160610205342/http://www.cs.man.ac.uk/~ipratt/papers/nat_lang/hst.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/0a/2c0a17d4ed374b4d09ede0574c47a6808bed91d6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/9781118882139.ch14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

A syntactical analysis of non-size-increasing polynomial time computation [article]

Klaus Aehlig, Helmut Schwichtenberg
<span title="2001-09-14">2001</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This leads to a nice characterization of Ptime.  ...  Leivant and Marion [18] give a λ-calculus characterization of Ptime.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0011037v2">arXiv:cs/0011037v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lbkjg5a3lfbahldc2zmzrdknei">fatcat:lbkjg5a3lfbahldc2zmzrdknei</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171008195452/https://core.ac.uk/download/pdf/2417626.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/27/d1277c9585f45c594c72cca39e27ffbfff868ba1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0011037v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 116 results