Filters








96,787 Hits in 3.7 sec

Comparison of methods for logic-query implementation

Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà
<span title="">1991</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
In this paper, the problem of finding the answers of a bound CSL query is studied with the aim of comparing for efficiency some well-known methods for implementing logic queries: the eager method, the  ...  implementing logic queries.  ...  We want to thank Giorgio Ausiello for many inspiring discussions, and Jeff Ullman, who suggested a simpler proof of Theorem 3.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90040-v">doi:10.1016/0743-1066(91)90040-v</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mznyofq5xrhj3cpjfb24lwodhq">fatcat:mznyofq5xrhj3cpjfb24lwodhq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171003072347/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/c70/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wNzQzMTA2NjkxOTAwNDB2.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/c7/ff/c7ffff443464ca5661ed3564f97264fd411f69f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90040-v"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Open Unification for Program Query Languages

Johan Brichau, Coen De Roover, Kim Mens
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/23mvuta6mrfapnkuowvcwult5u" style="color: black;">XXVI International Conference of the Chilean Society of Computer Science (SCCC&#39;07)</a> </i> &nbsp;
These techniques are at the core of the logic program query language SOUL, through which we demonstrate custom unification schemes for reasoning over Smalltalk and Java programs.  ...  However, in many cases, standard logic unification is inappropriate for program entities, forcing developers to resort to overly complex queries.  ...  Johan Brichau is funded by a "FIRST" post-doc grant of the Région Wallonne and Coen De Roover has a PhD scholarship funded by the Institute for the Promotion of Innovation through Science and Technology  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sccc.2007.16">doi:10.1109/sccc.2007.16</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sccc/HolubP07.html">dblp:conf/sccc/HolubP07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qf5u2hfymzdt5dhbzm4cm25heq">fatcat:qf5u2hfymzdt5dhbzm4cm25heq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705091803/http://soft.vub.ac.be/Publications/2007/vub-prog-tr-07-19.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/34/1f/341f267ecb2ebb0aef40ce3c303f55a6a4f21a2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sccc.2007.16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Open Unification for Program Query Languages

Johan Brichau, Coen De Roover, Kim Mens
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/d3cjag4bxbb4bmqck4zqp6tc6m" style="color: black;">Chilean Computer Science Society (SCCC), Proceedings of the International Conference of the</a> </i> &nbsp;
These techniques are at the core of the logic program query language SOUL, through which we demonstrate custom unification schemes for reasoning over Smalltalk and Java programs.  ...  However, in many cases, standard logic unification is inappropriate for program entities, forcing developers to resort to overly complex queries.  ...  Johan Brichau is funded by a "FIRST" post-doc grant of the Région Wallonne and Coen De Roover has a PhD scholarship funded by the Institute for the Promotion of Innovation through Science and Technology  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sccc.2007.4396981">doi:10.1109/sccc.2007.4396981</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o72zvhz5orgvjgsq7ndzoct7oa">fatcat:o72zvhz5orgvjgsq7ndzoct7oa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705091803/http://soft.vub.ac.be/Publications/2007/vub-prog-tr-07-19.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/34/1f/341f267ecb2ebb0aef40ce3c303f55a6a4f21a2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sccc.2007.4396981"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A comparison of logic-based infrastructures for concern detection and extraction

Günter Kniesel, Jan Hannemann, Tobias Rho
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/scibxvvu3nguvnnafnqcwt7lcy" style="color: black;">Proceedings of the 3rd workshop on Linking aspect technology and evolution - LATE &#39;07</a> </i> &nbsp;
In this paper we evaluate logic code analysis and transformation frameworks for their suitability as basic infrastructures for fast detection and extraction of (crosscutting) concerns.  ...  , scalability and short turnaround times with a seamless integration of querying and transformation capabilities.  ...  LOGIC-BASED REPRESENTATION OF JAVA PROGRAMS JTransformer, JQuery and CodeQuest implement Eclipse plugins that generate a representation of a Java program as logic facts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1275672.1275678">doi:10.1145/1275672.1275678</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aosd/KnieselHR07.html">dblp:conf/aosd/KnieselHR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yg6a65n3rndoho6yfkskwc4kie">fatcat:yg6a65n3rndoho6yfkskwc4kie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808212513/http://sewiki.iai.uni-bonn.de/_media/research/jtransformer/docs/knieselhannemannrho-late07-v4-preprint.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/fd/26/fd26acc9242b51355fa27ddf5d9905fc41b9970f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1275672.1275678"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Comparative Study of Code Query Technologies

Tiago L. Alves, Jurriaan Hage, Peter Rademaker
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dxowpr35ozcjngoyr7ras65tq4" style="color: black;">2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation</a> </i> &nbsp;
When analyzing software systems we are faced with the challenge of how to implement a particular analysis for different programming languages.  ...  The comparison involves twelve criteria, some of which are concerned with properties of the query language (paradigm, types, parametrization, polymorphism, modularity, and libraries), and some of which  ...  Table 3 presents a summary of the comparison of the language features for each code query technology.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scam.2011.14">doi:10.1109/scam.2011.14</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/scam/AlvesHR11.html">dblp:conf/scam/AlvesHR11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ktvyvupn5gevmjj5gv2h6q5ty">fatcat:3ktvyvupn5gevmjj5gv2h6q5ty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120106131107/http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-009.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/bd/aa/bdaa783c8fe9c99b505277cc308d9b4a1698bfe5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scam.2011.14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs [article]

Heike Stephan
<span title="2014-05-15">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
By means of partial deduction, from a query to a logic program a parameterized automaton is to be generated that models the evaluation of this query.  ...  My research goal is to employ a parser generation algorithm based on the Earley parsing algorithm to the evaluation and compilation of queries to logic programs, especially to deductive databases.  ...  Open issues and expected achievements There are several ideas on how the versions of the Earley-based compilation methods can be implemented; there will have to be comparisons between those implementations  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3826v1">arXiv:1405.3826v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/45s7ighu4natvdnptoof5gg6ry">fatcat:45s7ighu4natvdnptoof5gg6ry</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191022161511/https://arxiv.org/pdf/1405.3826v1.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/71/7e/717e575ac29b25f5da31cfb8b17ba019511a7845.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3826v1" 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>

Comparison of Question Answering Systems Based on Ontology and Semantic Web in Different Environment

S.
<span title="2012-09-01">2012</span> <i title="Science Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wake4w3hqzd4ndiy2zowpciv64" style="color: black;">Journal of Computer Science</a> </i> &nbsp;
For comparison, the types of input, query processing method, input and output format of each system and the performance metrics with its limitations are analyzed and discussed.  ...  Natural language processing technique is mostly implemented in QA system for asking user's question and several steps are also followed for conversion of questions to query form for getting an exact answer  ...  The proposed artificial Intelligence with Fuzzy logic concept is going to be implemented to get relevant answer for the given query.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3844/jcssp.2012.1407.1413">doi:10.3844/jcssp.2012.1407.1413</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xdfchvwntrfjxemyw6z5nogwvm">fatcat:xdfchvwntrfjxemyw6z5nogwvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922233807/http://thescipub.com/PDF/jcssp.2012.1407.1413.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/90/f3/90f3713baa07990cb7192cfe3af5630bf55dbf5b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3844/jcssp.2012.1407.1413"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Smart Data Server for Smart Shops

Santhosh Kumar S Santhosh Kumar S
<span title="">2013</span> <i title="IOSR Journals"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vabuspdninc75epczdurccts4u" style="color: black;">IOSR Journal of Computer Engineering</a> </i> &nbsp;
Therefore, this paper focuses on the issue of building the portable smart data server for small scale business applications.  ...  To implement this proposed concept the cost involved will be too less, the only requirement is one smart mobile phone (here we used android mobile phone).  ...  This proposed method uses the concepts like broadcast receiver for polling the incoming data requests. SQLite mobile database for storing and querying for data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.9790/0661-1125156">doi:10.9790/0661-1125156</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eqnrxs77pjhxrdqsmgb4nzkyai">fatcat:eqnrxs77pjhxrdqsmgb4nzkyai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180601194631/http://www.iosrjournals.org/iosr-jce/papers/Vol11-issue2/G01125156.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/80/43/80437f9190bfe078589475efd0cf8f465e866369.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.9790/0661-1125156"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Tabling for transaction logic

Paul Fodor, Michael Kifer
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP &#39;10</a> </i> &nbsp;
Although a number of implementations of Transaction Logic exist, none is logically complete due to the inherent difficulty and time/space complexity of such implementations.  ...  Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI.  ...  This problem is partially responsible for the higher runtime of Implementation 4a, which makes a larger number of expensive trie copies and comparisons.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1836089.1836115">doi:10.1145/1836089.1836115</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/FodorK10.html">dblp:conf/ppdp/FodorK10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/44a75hucxne43orafe64jdeldq">fatcat:44a75hucxne43orafe64jdeldq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110827073231/http://silk.semwebcentral.org/tr_implementation_paper.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/c9/df/c9dfbf1562844a432d2042f4996b53635bcbff28.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1836089.1836115"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Comparison of a Deductive Database with a Semantic Web reasoning engine

Simone A. Ludwig
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w5jcgie76rehrmy3uf2hriydla" style="color: black;">Knowledge-Based Systems</a> </i> &nbsp;
For each system a knowledge base is implemented in such a way that a fair comparison can be achieved.  ...  The objective of this paper is the comparison and evaluation of a Deductive Database system (ConceptBase) with a Semantic Web reasoning engine (Racer).  ...  Furthermore, gratefully acknowledged are Christoph Quix and Manfred Jeusfeld for their helpful comments Feasibility and expressiveness Allows for creation of subclasses and instances of classes, but also  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.knosys.2010.04.005">doi:10.1016/j.knosys.2010.04.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f5snnhes2zdq5hlfyhhwvxihxq">fatcat:f5snnhes2zdq5hlfyhhwvxihxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808023705/http://www.cs.ndsu.nodak.edu/~siludwig/Publish/images/JKBS.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/d6/d4/d6d461b30b706161c522488856d8064c4b6e216d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.knosys.2010.04.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Query Optimization Using Fuzzy Logic in Integrated Database

Susana Susana, Suharjito Suharjito
<span title="2016-12-01">2016</span> <i title="Institute of Advanced Engineering and Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/trvfti3jm5hnxhei7rl7owpcqq" style="color: black;">Indonesian Journal of Electrical Engineering and Computer Science</a> </i> &nbsp;
One of many methods that can be used for query optimization is using fuzzy logic with Tsukamoto inference system.  ...  The application of fuzzy logic inference systems with Tsukamoto can accelerate query response time, and will have more significant difference when the amount of selected data is greater.</p>  ...  Comparison of average response time required for query can be seen in the Figure 1 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11591/ijeecs.v4.i3.pp637-642">doi:10.11591/ijeecs.v4.i3.pp637-642</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zszrelrvzvhijk3j7hlkwgk54u">fatcat:zszrelrvzvhijk3j7hlkwgk54u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720031027/http://www.iaescore.com/journals/index.php/IJEECS/article/download/6010/5385" 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/1f/a3/1fa3aaa45505acce127e82c6cadce14a0923e255.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11591/ijeecs.v4.i3.pp637-642"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 2805 of Mathematical Reviews Vol. , Issue 92e [page]

<span title="">1992</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;
; Pelaggi, Antonella; Sacca, Domenico (I-CLBR-SS) Comparison of methods for logic-query implementation.  ...  The efficiency (time upper bounds) of some well-known methods for implementing logical queries (the eager method, the counting method and the magic set 68P Theory of data 92e:68023 method) is studied in  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1992-05_92e/page/2805" 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_1992-05_92e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Volume contents to volume 10

<span title="">1991</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
COMPARISON OF METHODS FOR LOGIC-QUERY IMPLEMENTATION Albert0 Marchetti-Spaccamela, Antonella Pelaggi, and Domenico Sac&  ...  Italian0 A PRACTICAL FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS Maurice Bruynooghe A TYPE SYSTEM FOR LOGIC PROGRAMS Eyal Yardeni and Ehud Shapiro AND-PARALLEL EXECUTION OF LOGIC  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90043-o">doi:10.1016/0743-1066(91)90043-o</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q73tqcvapzgt3eechpeage2dla">fatcat:q73tqcvapzgt3eechpeage2dla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002080411/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/b37/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wNzQzMTA2NjkxOTAwNDNv.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/cf/a6/cfa663e3f7a5fd0ea605f10db70b59d74a7d1312.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90043-o"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks [article]

Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
<span title="2000-03-08">2000</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we outline the prototype of an automated inference tool, called QUIP, which provides a uniform implementation for several nonmonotonic reasoning formalisms.  ...  The theoretical basis of QUIP is derived from well-known results about the computational complexity of nonmonotonic logics and exploits a representation of the different reasoning tasks in terms of quantified  ...  Since QUIP incorporates a wide array of different knowledge representation methods, comparisons with other implementations can in general be achieved employing the latter procedure.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0003037v1">arXiv:cs/0003037v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jqadnlrmuja7nemvlmz63xyv4u">fatcat:jqadnlrmuja7nemvlmz63xyv4u</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0003037/cs0003037.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/26/a026fc92538a7cd293cdf0b4e78a1f32d8de234e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0003037v1" 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>

JQuery: A Generic Code Browser with a Declarative Configuration Language [chapter]

Kris De Volder
<span title="">2005</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;
This facilitates open-ended specification of behavior without burdening the user with operational details. keywords: integrated development environment, program database, domain-specific language, logic  ...  We present a two-pronged approach that allows for open-ended customizations while keeping the customization cost low.  ...  We illustrated this approach by presenting the JQuery tool, a highly configurable Java code browsing tool that employs a declarative logic programming language at the core of its configuration mechanism  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11603023_7">doi:10.1007/11603023_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hzjbvryi2fb5pheqauads4gvcu">fatcat:hzjbvryi2fb5pheqauads4gvcu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706115821/http://www.cs.ubc.ca/labs/spl/projects/jquery/jquery-tyruba.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/20/fc200f2f5aa33fa57de7b4b7173069d1698f6a51.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11603023_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 96,787 results