Sciweavers

29 search results - page 2 / 6

» dlog 1996

11

DLOG
1996

103views Automated Reasoning» more DLOG 1996»

Knowledge Representation in Process Engineering

13 years 6 months ago

Knowledge Representation in Process Engineering

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

8

DLOG
1996

76views Automated Reasoning» more DLOG 1996»

An SAT-based Decision Procedure for ALC

13 years 6 months ago

An SAT-based Decision Procedure for ALC

Download www.aaai.org

Fausto Giunchiglia, Roberto Sebastiani

claim paper

Read More »

11

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

13 years 6 months ago

Subsumption-Based Matching: Bringing Semantics to Goals

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

10

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

13 years 6 months ago

Asking Queries about Frames

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

9

DLOG
1996

86views Automated Reasoning» more DLOG 1996»

Open Problems with Part-Whole Relations

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