Sciweavers

3738 search results - page 203 / 748

» Parametrized Logic Programming

20

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

13 years 12 months ago

On the Epistemological foundations of Logic Programming and its Extensions

Download www.aaai.org

Marc Denecker

claim paper

Read More »

31

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

13 years 12 months ago

MINERVA - A Dynamic Logic Programming Agent Architecture

Download centria.di.fct.unl.pt

João Alexandre Leite, José Jú...

claim paper

Read More »

20

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

13 years 12 months ago

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

27

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

13 years 12 months ago

Dynamically Ordered Probabilistic Choice Logic Programming

Download www.cs.bath.ac.uk

We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

28

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

13 years 12 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

« Prev « First page 203 / 748 Last » Next »