11,301 Hits in 4.7 sec

Negation as a Resource: A Novel View on Answer Set Semantics [chapter]

Stefania Costantini, Andrea Formisano
2013 Lecture Notes in Computer Science  
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  
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

Maria Luisa Dalla Chiara, Roberto Giuntini, Antonio Ledda, Roberto Leporini, Giuseppe Sergioli
2010 Foundations of physics  
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

Chris Barker
2010 Semantics and Pragmatics  
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

C. Maria Keet, Langa Khumalo
2016 Language Resources and Evaluation  
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

Stefania Costantini, Andrea Formisano
2009 Journal of Algorithms  
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]

Daniel Elenius, David Martin, Reginald Ford, Grit Denker
2009 Lecture Notes in Computer Science  
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

Asad Khattak, Muhammad Zubair Asghar, Anam Saeed, Ibrahim A. Hameed, Syed Asif Hassan, Shakeel Ahmad
2020 Egyptian Informatics Journal  
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

Ronald P. Loui
1998 Computational intelligence  
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

Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio
2015 2015 IEEE International Conference on Mobile Services  
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]

Leonid Kalinichenko, Sergey Stupnikov, Alexey Vovchenko, Dmitry Kovalev
2014 Advances in Intelligent Systems and Computing  
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]

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2004 Lecture Notes in Computer Science  
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

Abhay Kashyap, Lushan Han, Roberto Yus, Jennifer Sleeman, Taneeya Satyapanich, Sunil Gandhi, Tim Finin
2015 Language Resources and Evaluation  
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

G. Japaridze
2006 Journal of Logic and Computation  
A need for substantially new deductive tools came with the birth of computability logic (see - 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

Rajeev Motwani, Jennifer Widom, Arvind Arasu, Brian Babcock, Shivnath Babu, Mayur Datar, Gurmeet Singh Manku, Chris Olston, Justin Rosenstein, Rohit Varma
2003 Conference on Innovative Data Systems Research  
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