Search Sciweavers | Sciweavers

12993 search results - page 269 / 2599

» Artificial Intelligence in China

148

click to vote

ISMIS
2000
Springer

68views Artificial Intelligence» more ISMIS 2000»

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

15 years 10 months ago

Download www.irit.fr

Robert Demolombe, Maria del Pilar Pozos Parra

claim paper

Read More »

157

Voted

MICAI
2000
Springer

120views Artificial Intelligence» more MICAI 2000»

Dynamic Fuzzy Logic

15 years 10 months ago

Download web.cecs.pdx.edu

José Luis Pérez-Silva, Felipe Lara-R...

claim paper

Read More »

129

click to vote

AGP
1995
IEEE

107views Artificial Intelligence» more AGP 1995»

A Tabulation Transformation Tactic Using Haskell Arrays

15 years 10 months ago

Download dalila.sip.ucm.es

Cristóbal Pareja, Ricardo Pena, J. Á...

claim paper

Read More »

129

click to vote

SARA
2000
Springer

95views Artificial Intelligence» more SARA 2000»

On Reformulating Planning as Dynamic Constraint Satisfaction

15 years 10 months ago

Download ti.arc.nasa.gov

Jeremy Frank, Ari K. Jónsson, Paul H. Morri...

claim paper

Read More »

135

click to vote

SBIA
2000
Springer

103views Artificial Intelligence» more SBIA 2000»

A New Measure for the Bandwidth Minimization Problem

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers