✦ LIBER ✦

PROLOG: A programming tool for logical domain modeling

✍ Scribed by Helder Coelho

Publisher: Elsevier Science
Year: 1983
Weight: 128 KB
Volume: 1
Category: Article
ISSN: 0167-7136
DOI: 10.1016/0167-7136(83)90156-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programming and knowledge represen

Logic programming and knowledge representation—The A-Prolog perspective

✍ Michael Gelfond; Nicola Leone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 262 KB

In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer

Logic programming: a computing tool for

Logic programming: a computing tool for the architect of the future

✍ Peter S.G. Swinson 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 862 KB

Simlog: A prolog-based simulator for ind

Simlog: A prolog-based simulator for industrial logic control systems

✍ C.Ray Asfahl; Ashfaq Balagamwala 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 258 KB

A note on the stable model semantics for

A note on the stable model semantics for logic programs

✍ Michael Kaminski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @

Tools for reformulating logical forms in

Tools for reformulating logical forms into zero-one mixed integer programs

✍ G. Mitra; C. Lucas; S. Moody; E. Hadjiconstantinou 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 862 KB

A tool for network modeling

✍ M. Forster; P. Mevert 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 731 KB