✦ LIBER ✦

A Logical Framework for Convention

✍ Scribed by Giacomo Sillari

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 127 KB
Volume: 147
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-005-1352-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A logical framework for default reasonin

A logical framework for default reasoning

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB

A logical framework for large file infor

A logical framework for large file information handling

✍ G. Coray; W.S. Hatcher 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 846 KB

Brave induction: a logical framework for

Brave induction: a logical framework for learning from

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 563 KB

A framework for linguistic logic program

A framework for linguistic logic programming

✍ Tru H. Cao; Nguyen V. Noi 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 181 KB

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been de

ENDL: A Logical Framework for Verifying

ENDL: A Logical Framework for Verifying Secure Transaction Protocols

✍ Qingfeng Chen; Chengqi Zhang; Shichao Zhang 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

A Generic Framework for Adaptive Vague L

A Generic Framework for Adaptive Vague Logics

✍ Peter Verdée; Stephan van der Waart van Gulik 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 301 KB