Sciweavers

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

64

TARK
1998
Springer

favoriteEmaildiscussreport

104views Automated Reasoning» more TARK 1998»

Logic and Choice

15 years 1 months ago

Logic and Choice

Download www.uni-regensburg.de

Hans Rott

Real-time Traffic

Automated Reasoning | TARK 1998 |

claim paper

Related Content

» Qualitative choice logic

» Abducing through negation as failure stable models within the independent choice logic

» Independent Choices and the Interpretation of IF Logic

» A logic of propositional control for truthful implementations

» The Logic of Choice

» Translation of Resolution Proofs into Short FirstOrder Proofs without Choice Axioms

» An Ordered Choice Logic Programming FrontEnd for Answer Set Solvers

» Dynamic restriction of choices a preliminary logical report

» Implementing Ordered Choice Logic Programming using Answer Set Solvers

» Analytic Tableaux for HigherOrder Logic with Choice

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	TARK
Authors	Hans Rott

Comments (0)