Search Sciweavers | Sciweavers

12993 search results - page 261 / 2599

» Artificial Intelligence in China

151

click to vote

ISMIS
1997
Springer

107views Artificial Intelligence» more ISMIS 1997»

Representing and Reasoning on SGML Documents

15 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

139

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

15 years 11 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

129

Voted

ICTAI
1993
IEEE

89views Artificial Intelligence» more ICTAI 1993»

Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems

15 years 11 months ago

Download www.ai.soc.i.kyoto-u.ac.jp

Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi ...

claim paper

Read More »

129

click to vote

APN
1993
Springer

82views Artificial Intelligence» more APN 1993»

Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations

15 years 10 months ago

Download iaaa.cps.unizar.es

José A. Bañares, Pedro R. Muro-Medra...

claim paper

Read More »

125

click to vote

EPIA
1993
Springer

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers