Sciweavers

2585 search results - page 9 / 517

» Automating Coherent Logic

75

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

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

94

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Semantics and Logic of Object Calculi

15 years 6 months ago

Semantics and Logic of Object Calculi

Download www.cogs.susx.ac.uk

Bernhard Reus, Thomas Streicher

claim paper

Read More »

88

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

15 years 6 months ago

Tensed Ontology Based on Simple Partial Logic

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

Daisuke Kachi

claim paper

Read More »

90

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

15 years 6 months ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

93

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

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