✦ LIBER ✦

Defeasible time-stepping

✍ Scribed by Roseli S. Wedemann; Valmir C. Barbosa; Raul Donangelo

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 341 KB
Volume: 25
Category: Article
ISSN: 0167-8191
DOI: 10.1016/s0167-8191(98)00117-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

“Defeasible time-stepping” by R.S. Wedem

“Defeasible time-stepping” by R.S. Wedemann, V.C. Barbosa and R. Donangelo: (Parallel Computing 25 (4) (April 1999) pp. 461–489)

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 26 KB

Defeasibility modified

✍ Terrence F. Ackerman 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

In a recent paper, Lehrer and Paxson suggest the following analysis of non-basic knowledge: S has non-basic knowledge that h if and only if (i) h is true, (ii) S believes that h, and (iii) there is some statement p that completely justifies S in believing that h and no other statement defeats this j

Time stepping for vectorial operator spl

Time stepping for vectorial operator splitting

✍ Rossitza S. Marinova; Raymond J. Spiteri; Eddy Essien 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 363 KB

We present a fully implicit finite difference method for the unsteady incompressible Navier-Stokes equations. It is based on the one-step θ-method for discretization in time and a special coordinate splitting (called vectorial operator splitting) for efficiently solving the nonlinear stationary prob

Temporal Defeasible Reasoning

✍ Juan C. Augusto; Guillermo R. Simari 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 264 KB

Knowledge and defeasibility

✍ David Annis 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Coupled problems—A simple time-stepping

Coupled problems—A simple time-stepping procedure

✍ Zienkiewicz, O. C. ;Taylor, R. L. 📂 Article 📅 1985 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 290 KB