✦ LIBER ✦

Reasoning about Solids Using Constraint Logic Programming

✍ Scribed by Gilles Pesant; Michel Boyer

Book ID: 110231907
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 183 KB
Volume: 22
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1006080931326

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending constraint logic programming f

Extending constraint logic programming for temporal reasoning

✍ Evelina Lamma; Michela Milano; Paola Mello 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 200 KB

Reasoning about protein topology using t

Reasoning about protein topology using the logic programming language PROLOG

✍ C J Rawlings; W R Taylor; J Nyakairu; J Fox; M J.E. Sternberg 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 745 KB

Scheduling Sport Tournaments using Const

Scheduling Sport Tournaments using Constraint Logic Programming

✍ Andrea Schaerf 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 128 KB

Introduction: Logic programming, non-mon

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

✍ Chitta Baral; Vladik Kreinovich; Vladimir Lifschitz 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 32 KB

A framework to incorporate non-monotonic

A framework to incorporate non-monotonic reasoning into constraint logic programming

✍ Jürgen Dix; Frieder Stolzenburg 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 230 KB

Impressive work has been done in the last years concerning the meaning of negation and disjunction in logic programs, but most of this research concentrated on propositional programs only. While it suces to consider the propositional case for investigating general properties and the overall behavior

Reasoning about probabilistic sequential

Reasoning about probabilistic sequential programs in a probabilistic logic

✍ M. Ying 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 450 KB