Search Sciweavers | Sciweavers

658 search results - page 33 / 132

» A Logic for Graphs with QoS

136

click to vote

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

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

129

click to vote

ICCS
1995
Springer

178views Applied Computing» more ICCS 1995»

Conceptual Graphs and First-Order Logic

15 years 9 months ago

Download www.dcs.gla.ac.uk

Michel Wermelinger

claim paper

Read More »

125

click to vote

GG
2008
Springer

75views Theoretical Computer Science» more GG 2008»

A Modal-Logic Based Graph Abstraction

15 years 7 months ago

Download www7.in.tum.de

Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...

claim paper

Read More »

123

click to vote

CJ
2000

79views more CJ 2000»

Conceptual Graphs and First Order Logic

15 years 5 months ago

Download www.dcs.gla.ac.uk

Gianni Amati, Iadh Ounis

claim paper

Read More »

134

click to vote

LPAR
2010
Springer

139views Automated Reasoning» more LPAR 2010»

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers