Sciweavers

1943 search results - page 24 / 389

» Ordering Default Theories

105

AISC
2006
Springer

105views Artificial Intelligence» more AISC 2006»

Extension of First-Order Theories into Trees

15 years 6 months ago

Extension of First-Order Theories into Trees

Download www.univ-orleans.fr

Khalil Djelloul, Thi-Bich-Hanh Dao

claim paper

Read More »

105

AAAI
1994

90views Intelligent Agents» more AAAI 1994»

A Theory for Qualitative Spatial Reasoning Based on Order Relations

15 years 5 months ago

A Theory for Qualitative Spatial Reasoning Based on Order Relations

Download www.aaai.org

Ralf Röhrig

claim paper

Read More »

90

Voted

SLP
1993

45views more SLP 1993»

Order-Sorted Feature Theory Unification

15 years 5 months ago

Order-Sorted Feature Theory Unification

Download www.hpl.hp.com

Hassan Aït-Kaci, Andreas Podelski, Seth Copen...

claim paper

Read More »

104

Voted

ITA
2006

102views Communications» more ITA 2006»

Theories of orders on the set of words

15 years 4 months ago

Theories of orders on the set of words

Download www.labri.fr

Dietrich Kuske

claim paper

Read More »

122

JSYML
2006

79views more JSYML 2006»

Local-global properties of positive primitive formulas in the theory of spaces of orderings

15 years 4 months ago

Local-global properties of positive primitive formulas in the theory of spaces of orderings

Download math.usask.ca

f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...

M. Marshall

claim paper

Read More »

« Prev « First page 24 / 389 Last » Next »