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:
Spatial Reasoning with Propositional Logics
{KR}'94: Principles of Knowledge Representation and Reasoning,
: 51--62, 1994.
Authors:
Brandon
Bennett
Editors:
Jon
Doyle
and Erik
Sandewall
and Pietro
Torasso
URL:
http://citeseer.ist.psu.edu/bennett94spatial.html
Tags:
propositional-logic
rcc
|
URL
|
BibTeX
@incollection{Bennett94spatial,
title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
address = {San Francisco, California},
author = {Brandon Bennett},
booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
pages = {51--62},
publisher = {Morgan Kaufmann},
url = {http://citeseer.ist.psu.edu/bennett94spatial.html},
year = {1994},
keywords = {propositional-logic rcc }
}
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