Search Sciweavers | Sciweavers

2911 search results - page 89 / 583

» A Logic of Graph Constraints

137

click to vote

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

15 years 10 months ago

Download disi.unitn.it

Boris Motik

claim paper

Read More »

111

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

15 years 10 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

107

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 9 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

109

click to vote

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

15 years 9 months ago

Download sbml.org

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...

claim paper

Read More »

115

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers