Search Sciweavers | Sciweavers

4224 search results - page 9 / 845

» Reasoning about Choice

222

Voted

IAT
2009
IEEE

130views Intelligent Agents» more IAT 2009»

Strategic Ability Update: A Modal Logic Account

15 years 5 months ago

Download people.cs.uu.nl

We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...

claim paper

Read More »

193

Voted

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

16 years 6 days ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

168

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 12 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

176

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

15 years 12 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

145

Voted

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers