Sciweavers

3973 search results - page 187 / 795

» Records for Logic Programming

145

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Cost Analysis of Games, Using Program Logic

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

139

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 10 months ago

On the Epistemological foundations of Logic Programming and its Extensions

Download www.aaai.org

Marc Denecker

claim paper

Read More »

163

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 10 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 »

140

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

15 years 10 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 »

188

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

15 years 10 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 »

« Prev « First page 187 / 795 Last » Next »