Implementation of belief change operators using BDDs

Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark D. (2002) Implementation of belief change operators using BDDs. Studia Logica, 70 (1) . pp. 131-156. ISSN 00393215 [Article] (doi:10.1023/A:1014610426691)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only
Download (428kB)
Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Artificial Intelligence group
Item ID: 15916
Notes on copyright: Access to full text restricted pending copyright check.
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 12:05
Last Modified: 30 Nov 2022 02:49
URI: https://eprints.mdx.ac.uk/id/eprint/15916

Actions (login required)

View Item View Item

Statistics

DownloadsShow export options
Activity Overview
6 month trend
9Downloads
6 month trend
336Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)