BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
search:thau
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
thau
's BibTeX entry:
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.
KR,
: 33-43, 1989.
Authors:
Alexander
Borgida
and David W.
Etherington
URL:
http://dblp.uni-trier.de/db/conf/kr/kr89.html#BorgidaE89
Description:
dblp
Tags:
disjunctive
reasoning
|
URL
|
BibTeX
@inproceedings{borgida1989,
title = {Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.},
author = {Alexander Borgida and David W. Etherington},
booktitle = {KR},
pages = {33-43},
url = {http://dblp.uni-trier.de/db/conf/kr/kr89.html#BorgidaE89},
year = {1989},
description = {dblp},
date = {2002-01-03},
keywords = {disjunctive reasoning }
}
relations
tags
(reasoning)
4dave
aligning
alignment
applications
Automated
bayesian
belief-revision
category-theory
Classical
classification
comparison
complexity
composition
constraints
data
database
databases
deduction
description
description-logic
disjunctive
distributed
evolution
explai
explaining
explanation
Expressive
expressiveness
families
fca
First-order
first-order
fol
fold
folksonomy
functional-programming
fuzzy-logic
gene
grid
haskell
heterogeneity
inconsistency
information-flow
integration
kr
labeled-graphs
lattice
learning
logic
mapping
matching
mathematical-foundations
merge
merging
metadata
middleware
networks
ontologies
ontology
order
owl
owl-lite
p2p
partial
partonomy
PDDL
phylocode
phylogeny
planning
power
propositional-logic
protein
querying
rcc
rcc-5
reasoning
reduction
repair
sat
schema
semantic-web
service
sharing
similarity
software
spatial
structure
supertree
supertrees
systematics
Taxonomy
taxonomy
transformation
transitive
translation
tree
uncertainty
unstructured-data
visualization
web-pddl
workflow
xml