Search Sciweavers | Sciweavers

4738 search results - page 16 / 948

» Past, Present, and Future

click to vote

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

15 years 1 months ago

Download www.computational-logic.org

John Alan Robinson

claim paper

Read More »

click to vote

LPAR
1992
Springer

119views Automated Reasoning» more LPAR 1992»

From the Past to the Future: Executing Temporal Logic Programs

15 years 1 months ago

Download reference.kfupm.edu.sa

We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...

Michael Fisher, Richard Owens

claim paper

Read More »

click to vote

AAAI
2010

175views Intelligent Agents» more AAAI 2010»

Past and Future of DL-Lite

14 years 11 months ago

Download www.dcs.bbk.ac.uk

We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

claim paper

Read More »

click to vote

COMPUTER
2006

120views more COMPUTER 2006»

Celebrating the Past, Looking to the Future

14 years 9 months ago