LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "answer set" as a keyword



Photo from archive.org

Analyzing XACML policies using answer set programming

Sign Up to like & get
recommendations! Published in 2018 at "International Journal of Information Security"

DOI: 10.1007/s10207-018-0421-5

Abstract: With the tremendous growth of Web applications and services, eXtensible Access Control Markup Language (XACML) has been broadly adopted to specify Web access control policies. However, when the policies are large or defined by multiple… read more here.

Keywords: policy; set programming; answer set; xacml policies ... See more keywords
Photo by benofthenorth from unsplash

Applications of non-monotonic reasoning to automotive product configuration using answer set programming

Sign Up to like & get
recommendations! Published in 2019 at "Journal of Intelligent Manufacturing"

DOI: 10.1007/s10845-017-1333-3

Abstract: In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration… read more here.

Keywords: non monotonic; set programming; answer set; product configuration ... See more keywords
Photo by imonnet from unsplash

ASPeRiX, a first-order forward chaining approach for answer set computing*

Sign Up to like & get
recommendations! Published in 2017 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068416000569

Abstract: Abstract The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first-order logic program with default negation. In a preliminary… read more here.

Keywords: first order; answer set; answer; approach answer ... See more keywords
Photo from academic.microsoft.com

Achievements in answer set programming*

Sign Up to like & get
recommendations! Published in 2017 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068417000345

Abstract: Abstract This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule… read more here.

Keywords: methodology; set programming; answer set; achievements answer ... See more keywords
Photo by onelast from unsplash

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP

Sign Up to like & get
recommendations! Published in 2018 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068418000170

Abstract: Abstract Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures expose their datapaths so that the compiler (1) can… read more here.

Keywords: processing units; answer set; exposed datapath; optimal scheduling ... See more keywords
Photo from wikipedia

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Sign Up to like & get
recommendations! Published in 2018 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068418000182

Abstract: Abstract Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations.… read more here.

Keywords: production; set programming; answer set; car assembly ... See more keywords
Photo from academic.microsoft.com

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

Sign Up to like & get
recommendations! Published in 2018 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068418000248

Abstract: Abstract Over the years the Artificial Intelligence (AI) community has produced several datasets which have given the machine learning algorithms the opportunity to learn various skills across various domains. However, a subclass of these machine… read more here.

Keywords: incremental iterative; machine learning; learning answer; answer set ... See more keywords
Photo from academic.microsoft.com

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

Sign Up to like & get
recommendations! Published in 2018 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068418000261

Abstract: Abstract Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing… read more here.

Keywords: set programming; answer set; interpretive learning; exploiting answer ... See more keywords
Photo by erol from unsplash

Specifying and Verbalising Answer Set Programs in Controlled Natural Language

Sign Up to like & get
recommendations! Published in 2018 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068418000327

Abstract: Abstract We show how a bi-directional grammar can be used to specify and verbalise answer set programs in controlled natural language. We start from a program specification in controlled natural language and translate this specification… read more here.

Keywords: controlled natural; answer set; natural language; grammar ... See more keywords
Photo by onelast from unsplash

Inconsistency Proofs for ASP: The ASP - DRUPE Format

Sign Up to like & get
recommendations! Published in 2019 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068419000255

Abstract: Abstract Answer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer set. Verifying whether a claimed answer set is formally… read more here.

Keywords: answer set; inconsistency proofs; asp; format ... See more keywords
Photo by onelast from unsplash

Omission-Based Abstraction for Answer Set Programs

Sign Up to like & get
recommendations! Published in 2020 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068420000095

Abstract: Abstract Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Programming (ASP), a convenient tool for… read more here.

Keywords: answer set; omission based; answer; based abstraction ... See more keywords