892 search results - page 75 / 179 » Strategies in sentential reasoning |
127
click to vote
EWCBR
2000
Springer
15 years 8 months ago
2000
Springer
An important focus of recent CBR research is on how to develop strategies for achieving compact, competent case-bases, as a way to improve the performance of CBR systems. However, ...
147
click to vote
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
138
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
137
Voted
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistingu...
196
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
There are several useful guides available for how to review a paper in Computer Science [10, 6, 12, 7, 2]. These are soberly presented, carefully reasoned and sensibly argued. As ...