Sciweavers

2585 search results - page 9 / 517

» Automating Coherent Logic

105

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

15 years 10 months 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 »

135

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 10 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

123

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

15 years 10 months ago

Tensed Ontology Based on Simple Partial Logic

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

Daisuke Kachi

claim paper

Read More »

132

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

15 years 10 months ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

134

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

15 years 10 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 »