Ordered binary decision diagrams as knowledge-bases

&
Artificial Intelligence 136 (2):189-213 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00119-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
On the complexity of solving polytree-shaped limited memory influence diagrams with binary variables.Denis Deratani Mauá, Cassio Polpo de Campos & Marco Zaffalon - 2013 - Artificial Intelligence 205 (C):30-38.
Decision-theoretic planning with generalized first-order decision diagrams.Saket Joshi, Kristian Kersting & Roni Khardon - 2011 - Artificial Intelligence 175 (18):2198-2222.
Sequential decision making with partially ordered preferences.Daniel Kikuti, Fabio Gagliardi Cozman & Ricardo Shirota Filho - 2011 - Artificial Intelligence 175 (7-8):1346-1365.
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes.Eric A. Hansen - 2021 - Artificial Intelligence 294 (C):103431.
Integration of weighted knowledge bases.Jinxin Lin - 1996 - Artificial Intelligence 83 (2):363-378.
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams.Jan Krajíček - 2008 - Journal of Symbolic Logic 73 (1):227-237.
Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
Consistency-based diagnosis of configuration knowledge bases.Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach & Markus Stumptner - 2004 - Artificial Intelligence 152 (2):213-234.
From statistical knowledge bases to degrees of belief.Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Artificial Intelligence 87 (1-2):75-143.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,482,791)

6 months
5 (#837,836)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Structure identification in relational data.Rina Dechter & Judea Pearl - 1992 - Artificial Intelligence 58 (1-3):237-270.
Reasoning with models.Roni Khardon & Dan Roth - 1996 - Artificial Intelligence 87 (1-2):187-213.
Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.

Add more references