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: 91,928

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

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.
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.
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.Robin Hirsch - 2005 - Logic Journal of the IGPL 13 (2):159-171.
Stationarily ordered types and the number of countable models.Slavko Moconja & Predrag Tanović - 2020 - Annals of Pure and Applied Logic 171 (3):102765.
Ordered sets R and Q as bases of Kripke models.Mitio Takano - 1987 - Studia Logica 46 (2):137 - 148.
A fuzzy neuron based upon maximum entropy ordered weighted averaging.Michael O'Hagan - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 598--609.
Binary Relations: Finite Characterizations and Computational Complexity. [REVIEW]Vicki Knoblauch - 2008 - Theory and Decision 65 (1):27-44.
The Epistemological Import of Euclidean Diagrams.Daniele Molinini - 2016 - Kairos 16 (1):124-141.
Rethinking our understanding of diagrams.Kamaran Fathulla - 2011 - Semiotica 2011 (184):123-137.
Ethical and methodological aspects of medical computer data bases and knowledge bases.Jan Doroszewski - 1988 - Theoretical Medicine and Bioethics 9 (2).
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Answer Sets and Qualitative Decision Making.Gerhard Brewka - 2005 - Synthese 146 (1-2):171-187.
Science in the age of mechanical reproduction: Moral and epistemic relations between diagrams and photographs. [REVIEW]Michael Lynch - 1991 - Biology and Philosophy 6 (2):205-226.
Simple methods for evaluating and comparing binary experiments.Thomas A. Weber - 2010 - Theory and Decision 69 (2):257-288.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,461,457)

6 months
6 (#520,776)

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