Search Sciweavers | Sciweavers

4573 search results - page 62 / 915

» Automated Reasoning

102

Voted

DLOG
1997

118views Automated Reasoning» more DLOG 1997»

Least Common Subsumption as a connective

15 years 4 months ago

Download www.inf.unibz.it

Véronique Ventos, Pierre Brézellec

claim paper

Read More »

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

15 years 4 months ago

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

Voted

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

15 years 4 months ago

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

click to vote

DLOG
1996

86views Automated Reasoning» more DLOG 1996»

Open Problems with Part-Whole Relations

15 years 4 months ago

Download www.loa-cnr.it

Alessandro Artale, Enrico Franconi, Nicola Guarino

claim paper

Read More »

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers