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

BDS: a BDD-based logic optimization system

โœ Scribed by Congguang Yang; Ciesielski, M.

Book ID
118698272
Publisher
IEEE
Year
2002
Tongue
English
Weight
444 KB
Volume
21
Category
Article
ISSN
0278-0070

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

BDD-based heuristics for binary optimiza
BDD-based heuristics for binary optimization
โœ Bergman, David; Cire, Andre A.; Hoeve, Willem-Jan; Yunes, Tallys ๐Ÿ“‚ Article ๐Ÿ“… 2014 ๐Ÿ› Springer US ๐ŸŒ English โš– 508 KB
A Logic Based Asynchronous Multi-Agent S
A Logic Based Asynchronous Multi-Agent System
โœ Pierangelo Dell'Acqua; Ulf Nilsson; Luรญs Moniz Pereira ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 200 KB

We present a logic programming based asynchronous multi-agent system in which agents can communicate with one another; update themselves and each other; abduce hypotheses to explain observations, and use them to generate actions. The knowledge base of the agents is comprised of generalized logic pro