Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

61

Voted

AIIA
1995
Springer

favoriteEmaildiscussreport

94views Artificial Intelligence» more AIIA 1995»

PDL-based framework for reasoning about actions

15 years 1 months ago

PDL-based framework for reasoning about actions

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Maurizio Lenzerini

Real-time Traffic

AIIA 1995 | Artificial Intelligence |

claim paper

Related Content

» Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

» A Syntaxbased Approach to Reasoning about Action and Belief Update

» Reasoning About Web Services in a Temporal Action Logic

» Reasoning about interaction protocols for customizing web service selection and compositio...

» A logical framework for modeling and reasoning about semantic web services contract

» Formalizing Reasoning About Change A Temporal Diagnosis Approach

» Forming Beliefs about a Changing World

» An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

» Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1995
Where	AIIA
Authors	Giuseppe De Giacomo, Maurizio Lenzerini

Comments (0)