Search Sciweavers | Sciweavers

8232 search results - page 8 / 1647

» Dynamic Logic Programming

click to vote

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

13 years 11 months ago

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 »

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

13 years 11 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

13 years 11 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

click to vote

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

13 years 7 months ago

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

click to vote

CORR
2002
Springer

77views Education» more CORR 2002»

A Dynamic Approach to Characterizing Termination of General Logic Programs

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers