๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Programming in temporal-nonmonotonic reasoning

โœ Scribed by Tong Gao Tang

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
916 KB
Volume
7
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Nonmonotonic reasoning in the framework
Nonmonotonic reasoning in the framework of situation calculus
โœ Andrew B. Baker ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 936 KB

Baker, A.B., Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23. Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally involving temporal priorities) or completely reformula

Fixed-parameter complexity in AI and non
Fixed-parameter complexity in AI and nonmonotonic reasoning
โœ Georg Gottlob; Francesco Scarcello; Martha Sideri ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 291 KB

Many relevant intractable problems become tractable if some problem parameter is fixed. However, various problems exhibit very different computational properties, depending on how the runtime required for solving them is related to the fixed parameter chosen. The theory of parameterized complexity d

Problems in formal temporal reasoning
Problems in formal temporal reasoning
โœ Yoav Shoham; Drew McDermott ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 736 KB
Conditional reasoning in logic programmi
Conditional reasoning in logic programming
โœ D. Gabbay; L. Giordano; A. Martelli; N. Olivetti; M.L. Sapino ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 286 KB

We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge