Search Sciweavers | Sciweavers

3573 search results - page 48 / 715

» Reasoning about Codata

click to vote

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

15 years 5 months ago

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

click to vote

CP
2009
Springer

122views Artificial Intelligence» more CP 2009»

Reasoning about Optimal Collections of Solutions

15 years 5 months ago

Download 4c.ucc.ie

The problem of ﬁnding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...

Tarik Hadzic, Alan Holland, Barry O'Sullivan

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

84views Information Technology» more ICEIS 2009»

Reasoning about Customer Needs in Multi-supplier ICT Service Bundles using Decision Models

15 years 5 months ago

Download e3value.few.vu.nl

Sybren de Kinderen, Jaap Gordijn, Hans Akkermans

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

210views Artificial Intelligence» more WOLLIC 2009»

: An Action-Based Logic for Reasoning about Contracts

15 years 5 months ago

Download folk.uio.no

Abstract. This paper presents a new version of the CL contract speciﬁcation language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...

Cristian Prisacariu, Gerardo Schneider

claim paper

Read More »

click to vote

ATAL
2009
Springer

102views Intelligent Agents» more ATAL 2009»

Reasoning about multi-attribute preferences

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers