✦ LIBER ✦

A ‘Natural Logic’ inference system using the Lambek calculus

✍ Scribed by Anna Zamansky; Nissim Francez; Yoad Winter

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 725 KB
Volume: 15
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-006-9018-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Labelled Deductive System for Relation

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.

A Deep Inference System for the Modal Lo

A Deep Inference System for the Modal Logic S5

✍ Phiniki Stouppa 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 626 KB

A logical encoding of the π-calculus: mo

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB

Forecasting short-term power prices in t

Forecasting short-term power prices in the Ontario Electricity Market (OEM) with a fuzzy logic based inference system

✍ Alvaro I. Arciniegas; Ismael E. Arciniegas Rueda 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 525 KB

A novel fuzzy-logic inference system for

A novel fuzzy-logic inference system for predicting trauma-related mortality: emphasis on the impact of response to resuscitation

✍ Yusuf Alper Kilic; Ali Konan; Kaya Yorganci; Iskender Sayek 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 385 KB

Managing the tabu list length using a fu

Managing the tabu list length using a fuzzy inference system: an application to examination timetabling

✍ Tiago Cardal Pais; Paula Amaral 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 888 KB