✦ LIBER ✦

On the Hybrid Propositional Encodings of Planning

✍ Scribed by Amol Dattatraya Mali

Book ID: 108507904
Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 241 KB
Volume: 18
Category: Article
ISSN: 0824-7935
DOI: 10.1111/0824-7935.00195

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the structure of anagrammatic encodin

On the structure of anagrammatic encodings

✍ Larry E. Stanfel 📂 Article 📅 1969 🏛 Elsevier Science ⚖ 287 KB

Strong bounds on the approximability of

Strong bounds on the approximability of two Pspace-hard problems in propositional planning

✍ Peter Jonsson 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 118 KB

On the Decidability of Propositional Alg

On the Decidability of Propositional Algorithmic Logic

✍ Bogdan S. Chlebus 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 802 KB

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGIC by BOGDAN S. CHLEBIJS in Warsaw (Po1and)l) 0. Introduction Let PAL be a n abbreviation for propositional algorithmic logic. The investigation of PAL is a continuation of earlier works on algorithmic logic (GRABOWSKI [3], KRECZMAR [5], SALWICKI [

A Note on the Existence of Tautologies i

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables

✍ Alan Rose 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

On the Logic of Chronological Propositio

On the Logic of Chronological Propositions

✍ Rescher, Nicholas 📂 Fiction 📅 0 🌐 English ⚖ 2 MB

Propositions on ‘the end of socialism?’

✍ Lovell, David W. 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 477 KB