✦ LIBER ✦

Safe reasoning with Logic LTS

✍ Scribed by Gerald Lüttgen; Walter Vogler

Book ID: 108281752
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 714 KB
Volume: 412
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.03.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Legal reasoning with subjective logic

✍ Audun Jøsang; Viggo A. Bondi 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 128 KB

A logical reasoning with preference

✍ S.K. Das 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 525 KB

TEMPORAL REASONING WITH THE MODAL LOGIC

TEMPORAL REASONING WITH THE MODAL LOGIC Z

✍ David E. Leasure 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 999 KB

Reasoning with various kinds of preferen

Reasoning with various kinds of preferences: logic,

✍ Souhila Kaci; Leendert van der Torre 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 931 KB

Extending description logics with uncert

Extending description logics with uncertainty reasoning in possibilistic logic

✍ Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Possibilistic logic provides a convenient tool for dealing with uncertainty and handling inconsistency. In this paper, we propose possibilistic description logics as an extension of description logics, which are a family of well-known ontology languages. We first give the syntax and semantics of pos

Reasoning with Sets of Defaults in Defau

Reasoning with Sets of Defaults in Default Logic

✍ James P. Delgrande; Torsten Schaub 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 261 KB