Search Sciweavers | Sciweavers

468 search results - page 5 / 94

» Reasoning about action and cooperation

click to vote

LPNMR
2005
Springer

87views Automated Reasoning» more LPNMR 2005»

Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories

14 years 1 months ago

Download www.kr.tuwien.ac.at

Alberto Finzi, Thomas Lukasiewicz

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

210views Artificial Intelligence» more WOLLIC 2009»

: An Action-Based Logic for Reasoning about Contracts

14 years 2 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

NMR
2004
Springer

219views Automated Reasoning» more NMR 2004»

Qualitative and probabilistic uncertainty in reasoning about actions with sensing

14 years 1 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

click to vote

ECAI
2004
Springer

113views Artificial Intelligence» more ECAI 2004»

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty

14 years 1 months ago

Download tocl.acm.org

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

claim paper

Read More »

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers