Sciweavers

4573 search results - page 44 / 915

» Automated Reasoning

81

ILP
2000
Springer

98views Automated Reasoning» more ILP 2000»

Bottom-Up Propositionalization

15 years 6 months ago

Bottom-Up Propositionalization

Download www.cs.waikato.ac.nz

Stefan Kramer, Eibe Frank

claim paper

Read More »

80

KR
2000
Springer

92views Automated Reasoning» more KR 2000»

Ontology-Based Semantics

15 years 6 months ago

Ontology-Based Semantics

Download www.mel.nist.gov

Mihai Ciocoiu, Dana S. Nau

claim paper

Read More »

77

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

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

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

100

KR
2000
Springer

102views Automated Reasoning» more KR 2000»

BReLS: A System for the Integration of Knowledge Bases

15 years 6 months ago

BReLS: A System for the Integration of Knowledge Bases

Download www.dis.uniroma1.it

Paolo Liberatore, Marco Schaerf

claim paper

Read More »

82

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 6 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

« Prev « First page 44 / 915 Last » Next »