Sciweavers

2585 search results - page 9 / 517

» Automating Coherent Logic

15

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

14 years 9 days ago

Separability, Expressiveness, and Decidability in the Ambient Logic

Download www-lipn.univ-paris13.fr

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

claim paper

Read More »

19

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

14 years 9 days ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

17

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

14 years 8 days ago

Tensed Ontology Based on Simple Partial Logic

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

Daisuke Kachi

claim paper

Read More »

19

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

14 years 8 days ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

20

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

13 years 12 months ago

Comparing different graph representations of logic programs under the Answer Set semantics

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

« Prev « First page 9 / 517 Last » Next »