Sciweavers

29 search results - page 2 / 6

» dlog 1996

51

DLOG
1996

103views Automated Reasoning» more DLOG 1996»

Knowledge Representation in Process Engineering

14 years 10 months ago

Knowledge Representation in Process Engineering

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

37

DLOG
1996

76views Automated Reasoning» more DLOG 1996»

An SAT-based Decision Procedure for ALC

14 years 10 months ago

An SAT-based Decision Procedure for ALC

Download www.aaai.org

Fausto Giunchiglia, Roberto Sebastiani

claim paper

Read More »

41

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

14 years 10 months ago

Subsumption-Based Matching: Bringing Semantics to Goals

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

51

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

14 years 10 months ago

Asking Queries about Frames

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

45

DLOG
1996

86views Automated Reasoning» more DLOG 1996»

Open Problems with Part-Whole Relations

14 years 10 months ago

Open Problems with Part-Whole Relations

Download www.loa-cnr.it

Alessandro Artale, Enrico Franconi, Nicola Guarino

claim paper

Read More »

« Prev « First page 2 / 6 Last » Next »