AIEDAM 1999 | Sciweavers

19

click to vote

AIEDAM
1999

58views more AIEDAM 1999»

Interactive generative systems for conceptual design: An empirical perspective

13 years 11 months ago

Download www.cse.dmu.ac.uk

Claudia Eckert, Ian Kelly, Martin Stacey

claim paper

Read More »

24

click to vote

AIEDAM
1999

79views more AIEDAM 1999»

An algorithmic approach to knowledge evolution

13 years 11 months ago

Download www.cs.bham.ac.uk

Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...

Alessio Lomuscio, Mark Ryan

claim paper

Read More »

18

click to vote

AIEDAM
1999

62views more AIEDAM 1999»

Temporal reasoning in process planning

13 years 11 months ago

Download necsi.org

Mira Balaban, Dan Braha

claim paper

Read More »

48

click to vote

AIEDAM
1999

157views more AIEDAM 1999»

Representing a robotic domain using temporal description logics

13 years 11 months ago

Download www.dbnet.ece.ntua.gr

A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...

Alessandro Artale, Enrico Franconi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers