Sciweavers

1916 search results - page 18 / 384

» Reasoning with class algebra

39

RSCTC
2004
Springer

134views Fuzzy Logic» more RSCTC 2004»

Belief Reasoning, Revision and Fusion by Matrix Algebra

14 years 3 months ago

Belief Reasoning, Revision and Fusion by Matrix Algebra

Download aao.sinica.edu.tw

Churn-Jung Liau

claim paper

Read More »

13

AMAST
1993
Springer

87views Software Engineering» more AMAST 1993»

Relation Algebras for Reasoning about Time and Space

14 years 1 months ago

Relation Algebras for Reasoning about Time and Space

Download orion.math.iastate.edu

Roger D. Maddux

claim paper

Read More »

22

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

13 years 11 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 »

26

IJCAI
1989

68views Artificial Intelligence» more IJCAI 1989»

Using a Feature Algebra for Reasoning about Geometric Feature Interactions

13 years 11 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 »

22

ACTA
2008

90views more ACTA 2008»

Algebraic reasoning for probabilistic action systems and while-loops

13 years 10 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 »