Search Sciweavers | Sciweavers

622 search results - page 9 / 125

» Answer Set Programming and Bounded Model Checking

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

13 years 8 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

click to vote

FLOPS
2008
Springer

120views Automated Reasoning» more FLOPS 2008»

Integrating Answer Set Reasoning with Constraint Solving Techniques

13 years 8 months ago

Download www.krlab.cs.ttu.edu

Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...

Veena S. Mellarkod, Michael Gelfond

claim paper

Read More »

click to vote

CORR
2008
Springer

110views Education» more CORR 2008»

Justifications for Logic Programs under Answer Set Semantics

13 years 7 months ago

Download www.cs.nmsu.edu

The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...

Enrico Pontelli, Tran Cao Son, Omar El-Khatib

claim paper

Read More »

click to vote

AAAI
2008

124views Intelligent Agents» more AAAI 2008»

Efficient Haplotype Inference with Answer Set Programming

13 years 9 months ago

Download www.aaai.org

Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (gene...

Esra Erdem, Ferhan Türe

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers