✦ LIBER ✦

Logic modeling with partially ordered preferences

✍ Scribed by George R. Widmeyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking games for fixpoint logics

✍ Julian Gutierrez; Julian Bradfield 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 510 KB

Categorical Abstract Algebraic Logic: Pa

✍ George Voutsadakis 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 379 KB

A Partial Order Approach to Branching Ti

✍ Rob Gerth; Ruurd Kuiper; Doron Peled; Wojciech Penczek 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Matching with partially ordered contract

✍ Farooq, Rashid; Fleiner, Tamás; Tamura, Akihisa 📂 Article 📅 2012 🏛 Japan Society for Industrial and Applied Mathemati 🌐 English ⚖ 212 KB

Logic programming with solution preferen

✍ Hai-Feng Guo; Bharat Jayaraman 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Logic Programs with Ordered Disjunction

✍ Gerhard Brewka; Ilkka Niemelä; Tommi Syrjänen 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB