Sciweavers

3973 search results - page 187 / 795

» Records for Logic Programming

112

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 7 months ago

Cost Analysis of Games, Using Program Logic

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

108

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 7 months ago

On the Epistemological foundations of Logic Programming and its Extensions

Download www.aaai.org

Marc Denecker

claim paper

Read More »

132

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

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

110

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

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

140

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

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