Search Sciweavers | Sciweavers

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 »

145

click to vote

NMR
2004
Springer

219views Automated Reasoning» more NMR 2004»

Qualitative and probabilistic uncertainty in reasoning about actions with sensing

15 years 11 months ago

Download www.dis.uniroma1.it

Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Ri...

claim paper

Read More »

150

click to vote

ECAI
2004
Springer

113views Artificial Intelligence» more ECAI 2004»

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty

15 years 11 months ago

Download tocl.acm.org

Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Ri...

claim paper

Read More »

120

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers