scientific article
From MaRDI portal
Publication:4028804
zbMath0765.68189MaRDI QIDQ4028804
Joseph Y. Halpern, Moshe Y. Vardi
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Off-line reasoning for on-line efficiency: knowledge bases ⋮ Preference reasoning with soft constraints in constraint-based recommender systems ⋮ Reasoning with minimal models: efficient algorithms and applications ⋮ Unnamed Item ⋮ Knowledge and communication: A first-order theory ⋮ Using temporal logics to express search control knowledge for planning ⋮ John McCarthy's legacy ⋮ Propositional default logics made easier: computational complexity of model checking.
This page was built for publication:
