Sciweavers

1916 search results - page 18 / 384

» Reasoning with class algebra

124

Voted

RSCTC
2004
Springer

134views Fuzzy Logic» more RSCTC 2004»

Belief Reasoning, Revision and Fusion by Matrix Algebra

15 years 9 months ago

Belief Reasoning, Revision and Fusion by Matrix Algebra

Download aao.sinica.edu.tw

Churn-Jung Liau

claim paper

Read More »

81

Voted

AMAST
1993
Springer

87views Software Engineering» more AMAST 1993»

Relation Algebras for Reasoning about Time and Space

15 years 8 months ago

Relation Algebras for Reasoning about Time and Space

Download orion.math.iastate.edu

Roger D. Maddux

claim paper

Read More »

108

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

15 years 5 months ago

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

Download www.aaai.org

Giuseppe De Giacomo, Xiao Jun Chen

claim paper

Read More »

113

Voted

IJCAI
1989

68views Artificial Intelligence» more IJCAI 1989»

Using a Feature Algebra for Reasoning about Geometric Feature Interactions

15 years 5 months ago

Using a Feature Algebra for Reasoning about Geometric Feature Interactions

Download dli.iiit.ac.in

Raghu Karinthi, Dana S. Nau

claim paper

Read More »

87

Voted

ACTA
2008

90views more ACTA 2008»

Algebraic reasoning for probabilistic action systems and while-loops

15 years 4 months ago

Algebraic reasoning for probabilistic action systems and while-loops

Download espace.library.uq.edu.au

Larissa Meinicke, Ian J. Hayes

claim paper

Read More »

« Prev « First page 18 / 384 Last » Next »