A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Negation as a Resource: A Novel View on Answer Set Semantics
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
We argue that this novel view can be of both theoretical and practical interest, and we propose a modified Answer Set Semantics that we call Resource-based Answer Set Semantics. ...
One advantage is that of avoiding inconsistencies, so every program has a (possibly empty) resource-based answer set. ...
Negation as a Resource: a novel view on Answer Set Semantics It is interesting to notice that the linear logic formulation we summarized in the previous section prevents contradictions. ...
doi:10.1007/978-3-642-40564-8_26
fatcat:hi5z3m6corflpdl7z4dl72k6wi
Better Paracoherent Answer Sets with Less Resources
2019
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
An experiment on hard benchmarks shows that better paracoherent answer sets can be computed consuming less computational resources than existing methods. ...
Albeit the non-existence of answer sets for some ASP programs can be considered as a modeling feature, it turns out to be a weakness in many other cases, and especially for query answering. ...
Better Paracoherent Answer Sets with Less Resources
759 The paper is structured as follows: preliminary notions on ASP and paracoherent answer sets are reported in Section 2; the description of strategies ...
doi:10.1017/s1471068419000176
fatcat:rw62xqx2fnfqjnj76i4l4oiflq
Entanglement as a Semantic Resource
2010
Foundations of physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
are interpreted as special quantum logical gates (which have a characteristic reversible and dynamic behavior). ...
This 1495 certainly represents a shortcoming for all applications, where real and complex numbers do not generally play any significant role (as happens, for instance, in the case of natural and of artistic ...
From a semantic point of view, this object can be regarded as a contextual information about β i j (the subformula of α occurring at the j -th position at Level i (α)) under the input ρ k . ...
doi:10.1007/s10701-010-9407-5
fatcat:k2e6lhls25giha4jqzbxsllr7a
Free choice permission as resource-sensitive reasoning
2010
Semantics and Pragmatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Following Lokhorst (1997), I argue that because permission is a limited resource, a resource-sensitive logic such as Girard's Linear Logic is better suited to modeling permission talk than, say, classical ...
A resource-sensitive approach enables the semantics to track not only that permission has been granted and what sort of permission it is (i.e., permission to eat apples versus permission to eat pears), ...
Conclusions On the view presented here, understanding free choice hinges on recognizing that permission is a scarce resource, and so permission talk requires a resource-sensitive semantics. ...
doi:10.3765/sp.3.10
fatcat:nxijeecf5vbj3ldaazm56fmu6m
Toward a knowledge-to-text controlled natural language of isiZulu
2016
Language Resources and Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In this article we focus on controlled natural languages for structured knowledge-to-text viewed from a potential utility for verbalising business rules and OWL ontologies. ...
However, isiZulu (and even more so the other Nguni languages) still remains an under-resourced language for software applications. ...
They are not viewed as phonological words because they fail to satisfy the minimality condition for being a word in Bantu. ...
doi:10.1007/s10579-016-9340-0
fatcat:o56p4rr7jrhy3nqb27vdgrjkhq
Modeling preferences and conditional preferences on resource consumption and production in ASP
2009
Journal of Algorithms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In RASP, one can define resources with their amounts, where available resources can be used for producing other resources and the remaining amount, if any, can be used in a different way. ...
set at hand. ...
Introduction As it is well-known, Answer Set Programming (ASP) is a form of logic programming based on the answer set semantics [16] , where solutions to a given problem are represented in terms of selected ...
doi:10.1016/j.jalgor.2009.02.002
fatcat:kgxdbgn3tzaufhs6r6hpmsncpa
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our task ontology has proved to be a very flexible and expressive framework to describe requirements on resources and their capabilities in order to achieve some purpose. ...
We describe our novel ways of using swrl and discuss its limitations as well as extensions to it that we found necessary or desirable. ...
A Confederation is a set of resources. A Deployment connects the purpose and resource descriptions. ...
doi:10.1007/978-3-642-04930-9_50
fatcat:7in6pu5h5zhgxmenymjf6lvjlm
A survey on sentiment analysis in Urdu: A resource-poor language
2020
Egyptian Informatics Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
An evaluation of sophisticated lexical resources including corpuses and lexicons was carried out, and investigations were conducted on sentiment analysis constructs such as opinion words, modifiers, negations ...
Background/introduction: The dawn of the internet opened the doors to the easy and widespread sharing of information on subject matters such as products, services, events and political opinions. ...
The technique is based on using different language resources, such as a list of opinion words, list of modifiers and negations. ...
doi:10.1016/j.eij.2020.04.003
fatcat:qvymechpvnhypg2telxbs4wj4m
Process and Policy: Resource-Bounded NonDemonstrative Reasoning
1998
Computational intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Any consequence relation that is a function only of sentences can be viewed as merely providing meanings for those sentences in a system of representation. Thus, the consequences are non-ampliative. ...
But it has not yet recognized reasons as one kind of procedural meta-knowledge. ...
In fact, Pollock does not necessarily view defeasible reasons as policies for constructing belief under resource bounds. He appears unwilling to commit himself to a procedural view. ...
doi:10.1111/0824-7935.00055
fatcat:oz7yyrfkebdqxbmemvnapjzpie
A Mobile Matchmaker for Resource Discovery in the Ubiquitous Semantic Web
2015
2015 IEEE International Conference on Mobile Services
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Existing Semantic Web reasoners are currently impractical for SWoT, as they are resource consuming and optimized for standard inference tasks on large ontologies. ...
This paper presents a novel mobile inference engine designed from the ground up for the SWoT. ...
It contains an array of Items as covering set and a further which is the uncovered part of the request. ...
doi:10.1109/mobserv.2015.76
dblp:conf/mobserv/RutaSS15
fatcat:u26v2hflunhslhlen6cw7un5nq
Rule-Based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources
[chapter]
2014
Advances in Intelligent Systems and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
An approach for supporting a possibility of applying a combination of the semantically different logic rule languages (dialects) for interoperable conceptual programming over various rule systems (RS) ...
The detailed description of the infrastructure application for solving complex combinatorial problem as two interoperable subapplications defined in two RIF dialects -BLD (transformed into a logic program ...
default negation and functions, and RIF-CASPD (Core Answer Set Pro-gramming Dialect [10] ) which uses answer set programming semantics (ASP), known also as the stable model semantics [11] . ...
doi:10.1007/978-3-319-01863-8_7
fatcat:zl5b4542lvbw3pryjjrsnj5utu
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The example that we choose is a resource exchange scenario. ...
Using social integrity constraints, it is possible to give a formal definition of concepts such as violation, fulfillment, and social expectation. ...
For example, a social integrity constraint could state that the manager of a resource should give an answer to whomever has made a request for that resource. ...
doi:10.1007/978-3-540-25932-9_13
fatcat:44o67l37rffptjtwp3v743orwq
Robust semantic text similarity using LSA, machine learning, and linguistic resources
2015
Language Resources and Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the SemEval-2014 task on Multilingual Semantic Textual Similarity, we ranked a close second in both the English and Spanish subtasks. ...
At the core of our system lies a robust distributional word similarity component that combines Latent Semantic Analysis and machine learning augmented with data from several linguistic resources. ...
We would like to thank the anonymous reviewers for their valuable comments on an earlier version of this paper. ...
doi:10.1007/s10579-015-9319-2
fatcat:dmd6bid5pvgvdha56llioi7lyu
Introduction to Cirquent Calculus and Abstract Resource Semantics
2006
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
A need for substantially new deductive tools came with the birth of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) - the semantically constructed formal theory of computational resources ...
To strengthen this claim, the paper further introduces an abstract resource semantics and shows the soundness and completeness of CL5 with respect to it. ...
Switching to a novel vision in semantics may require doing the same in syntax. ...
doi:10.1093/logcom/exl005
fatcat:nks2micq3fchpegnwbvbmpejru
Query Processing, Approximation, and Resource Management in a Data Stream Management System
2003
Conference on Innovative Data Systems Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The STREAM system supports a declarative query language, and it copes with high data rates and query workloads by providing approximate answers when resources are limited. ...
This paper describes specific contributions made so far and enumerates our next steps in developing a general-purpose Data Stream Management System. ...
Each operator reads a stream of tuples from a set of input queues, processes the tuples based on its semantics, and writes its output tuples into a single output queue. ...
dblp:conf/cidr/MotwaniWABBDMORV03
fatcat:wg6rzsl36bamng4mnvkoa7qcjm
« Previous
Showing results 1 — 15 out of 11,301 results