Sciweavers

25 search results - page 1 / 5

» kr 2000

14

KR
2000
Springer

82views Automated Reasoning» more KR 2000»

Complexity Results for Default Reasoning from Conditional Knowledge Bases

13 years 8 months ago

Complexity Results for Default Reasoning from Conditional Knowledge Bases

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz

claim paper

Read More »

11

KR
2000
Springer

102views Automated Reasoning» more KR 2000»

BReLS: A System for the Integration of Knowledge Bases

13 years 8 months ago

BReLS: A System for the Integration of Knowledge Bases

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

7

KR
2000
Springer

92views Automated Reasoning» more KR 2000»

Ontology-Based Semantics

13 years 8 months ago

Ontology-Based Semantics

Download www.mel.nist.gov

Mihai Ciocoiu, Dana S. Nau

claim paper

Read More »

9

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

13 years 8 months ago

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

Download www.dis.uniroma1.it

Luca Iocchi, Daniele Nardi, Riccardo Rosati

claim paper

Read More »

9

KR
2000
Springer

109views Automated Reasoning» more KR 2000»

Containment of Conjunctive Regular Path Queries with Inverse

13 years 8 months ago

Containment of Conjunctive Regular Path Queries with Inverse

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »