Search Sciweavers | Sciweavers

3891 search results - page 39 / 779

» A logic for strategic reasoning

click to vote

DLOG
2000

124views Automated Reasoning» more DLOG 2000»

Optimizing TBox and ABox Reasoning with Pseudo Models

13 years 9 months ago

Download kogs-www.informatik.uni-hamburg.de

This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...

Volker Haarslev, Ralf Möller

claim paper

Read More »

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

14 years 17 days ago

Download www-lipn.univ-paris13.fr

Daniel Hirschkoff, Étienne Lozes, Davide Sa...

claim paper

Read More »

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

14 years 17 days ago

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

14 years 17 days ago

Download www.kyy.saitama-u.ac.jp

Daisuke Kachi

claim paper

Read More »

click to vote

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

14 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers