Search Sciweavers | Sciweavers

17054 search results - page 214 / 3411

» Logics of Dynamical Systems

146

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 19 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

163

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

16 years 15 days ago

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

139

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

16 years 15 days ago

Download www.illc.uva.nl

Guillaume Aucher

claim paper

Read More »

192

click to vote

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

Query systems in similarity-based databases: logical foundations, expressive power, and completeness

16 years 13 days ago

Download vychodil.inf.upol.cz

Radim Belohlávek, Vilém Vychodil

claim paper

Read More »

183

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers