Search Sciweavers | Sciweavers

1313 search results - page 8 / 263

» Prioritized Reasoning in Logic Programming

104

click to vote

ASP
2001
Springer

215views Automated Reasoning» more ASP 2001»

Learning by Answer Sets

15 years 1 months ago

Download www.aaai.org

This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...

Chiaki Sakama

claim paper

Read More »

click to vote

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 1 months ago

Download www-ls.informatik.uni-tuebingen.de

Peter Schroeder-Heister

claim paper

Read More »

113

Voted

ENTCS
2006

117views more ENTCS 2006»

Reasoning About Imperative Quantum Programs

14 years 9 months ago

Download wslc.math.ist.utl.pt

A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...

Rohit Chadha, Paulo Mateus, Amílcar Sernada...

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 2 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »