✦ LIBER ✦

A program logic for resources

✍ Scribed by David Aspinall; Lennart Beringer; Martin Hofmann; Hans-Wolfgang Loidl; Alberto Momigliano

Book ID: 108281357
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 610 KB
Volume: 389
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.09.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programming in groundwater resourc

Logic programming in groundwater resources management

✍ TANGORRA, F.; VURRO, M. 📂 Article 📅 1991 🏛 Taylor and Francis Group 🌐 English ⚖ 727 KB

Meta-logic programming for a synonymy lo

Meta-logic programming for a synonymy logic

✍ Daniele Genito; Giangiacomo Gerla; Alessandro Vignes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 402 KB

A Visual Syntax for Logic and Logic Prog

A Visual Syntax for Logic and Logic Programming

✍ JAUME AGUST Í; JORDI PUIGSEGUR; DAVE ROBERTSON 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 726 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

A spreadsheet interface for logic progra

A spreadsheet interface for logic programming

✍ Spenke, M.; Beilken, C. 📂 Article 📅 1989 🏛 Association for Computing Machinery ⚖ 581 KB

We present PERPLEX, a programming environment intended for the end-user. In its design, the concepts of logic programming and spreadsheets are combined. Thus, on the one hand, logic programming becomes an interactive, incremental task where the user gets direct visual feedback, on the other hand, fu

A nondeterministic program logic

✍ I. Kh. Musikaev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 541 KB