Search Sciweavers | Sciweavers

9145 search results - page 357 / 1829

» Description Logic Systems

146

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 8 days ago

Download www.irisa.fr

Sébastien Ferré, Olivier Ridoux, Ben...

claim paper

Read More »

157

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

16 years 8 days ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

130

click to vote

VLDB
2005
ACM

142views Database» more VLDB 2005»

PrediCalc: A Logical Spreadsheet Management System

16 years 7 days ago

Download logic.stanford.edu

Michael Kassoff, Lee-Ming Zen, Ankit Garg, Michael...

claim paper

Read More »

137

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 7 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

128

click to vote

PRIMA
2004
Springer

88views Intelligent Agents» more PRIMA 2004»

A Combined System for Update Logic and Belief Revision

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers