Sciweavers

5243 search results - page 78 / 1049

» Reasoning About Strategies

72

JOT
2006

46views more JOT 2006»

Reasoning About Method Calls in Interface Specifications

15 years 6 months ago

Reasoning About Method Calls in Interface Specifications

Download www.jot.fm

Ádám Darvas, Peter Müller

claim paper

Read More »

124

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

15 years 6 months ago

A logic for reasoning about the probability of fuzzy events

Download www.iiia.csic.es

Tommaso Flaminio, Lluis Godo

claim paper

Read More »

101

JACM
2007

46views more JACM 2007»

Characterizing and reasoning about probabilistic and non-probabilistic expectation

15 years 6 months ago

Characterizing and reasoning about probabilistic and non-probabilistic expectation

Download www.cs.cornell.edu

Joseph Y. Halpern, Riccardo Pucella

claim paper

Read More »

116

AIM
2004

68views Software Engineering» more AIM 2004»

Qualitative Reasoning about Population and Community Ecology

15 years 6 months ago

Qualitative Reasoning about Population and Community Ecology

Download staff.science.uva.nl

Paulo Salles, Bert Bredeweg

claim paper

Read More »

182

CI
2004

125views more CI 2004»

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

15 years 6 months ago

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

Download www.cs.nmsu.edu

This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

« Prev « First page 78 / 1049 Last » Next »