Search Sciweavers | Sciweavers

15754 search results - page 4 / 3151

» Programs are Knowledge Bases

175

click to vote

ASP
2001
Springer

160views Automated Reasoning» more ASP 2001»

Effect of knowledge representation on model based planning: experiments using logic programming encodings

15 years 10 months ago

Download www.aaai.org

In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...

Le-Chi Tuan, Chitta Baral

claim paper

Read More »

127

Voted

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 8 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

click to vote

ALPUK
1990

86views more ALPUK 1990»

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming

15 years 7 months ago

Download www.macs.hw.ac.uk

Hamish Taylor

claim paper

Read More »

125

Voted

IAAI
1990

50views Artificial Intelligence» more IAAI 1990»

Putting Knowledge-Based Concepts to Work for Generic PLC Programming

15 years 7 months ago

Download www.aaai.org

Ian C. Campbell, Izrail Bukshteyn

claim paper

Read More »

120

click to vote

TARK
1998
Springer

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers