Deduction Systems for BDI Logics with Mental State Consistency

Towards an automated deduction system fo

Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

✍ Teresa Alsinet; Lluís Godo 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (ϕ, α), in which ϕ is a first-order Horn clause or a query with fuzzy constants and regular predicates, and α ∈ [0

Thirty years of relativistic self-consis

Thirty years of relativistic self-consistent field theory for molecules: relativistic and electron correlation effects for atomic and molecular systems of transactinide superheavy elements up to ekaplutonium E126 with g-atomic spinors in the ground state configuration

✍ Gulzari L. Malli 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 50 KB

Thirty years of relativistic self-consis

Thirty years of relativistic self-consistent field theory for molecules: relativistic and electron correlation effects for atomic and molecular systems of transactinide superheavy elements up to ekaplutonium E126 with g-atomic spinors in the ground state configuration

✍ Gulzari L. Malli 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 237 KB