Sciweavers

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

27

TARK
1998
Springer

favoriteEmaildiscussreport

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

14 years 3 months ago

Using Counterfactuals in Knowledge-Based Programming

Download www.cs.math.ist.utl.pt

Joseph Y. Halpern, Yoram Moses

Real-time Traffic

Automated Reasoning | TARK 1998 |

claim paper

Related Content

» Using the Probabilistic Logic Programming Language Plog for Causal and Counterfactual Reas...

» Dynamic updates of nonmonotonic knowledge bases

» Annotating Objects for Transport to Other Worlds

» Adequacy of Limited Testing for Knowledge Based Systems

» Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Prog...

» Epistemic Model Checking for KnowledgeBased Program Implementation an Application to Anony...

» Programmorphosis a KnowledgeBased Approach to EndUser Programming

» REVISE An Extended Logic Programming System for Revising Knowledge Bases

» Knowledge Base Compilation and the Language Design Game

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	TARK
Authors	Joseph Y. Halpern, Yoram Moses

Comments (0)