Search Sciweavers | Sciweavers

17054 search results - page 213 / 3411

» Logics of Dynamical Systems

121

click to vote

ATAL
2007
Springer

124views Intelligent Agents» more ATAL 2007»

Reducing the complexity of logics for multiagent systems

16 years 1 months ago

Download www.aamas-conference.org

Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...

claim paper

Read More »

142

click to vote

LFCS
2007
Springer

89views Artificial Intelligence» more LFCS 2007»

Weighted Distributed Systems and Their Logics

16 years 1 months ago

Download tracetheory.elet.polimi.it

Benedikt Bollig, Ingmar Meinecke

claim paper

Read More »

154

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 20 days ago

Download www.irisa.fr

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

claim paper

Read More »

172

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

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

139

click to vote

VLDB
2005
ACM

142views Database» more VLDB 2005»

PrediCalc: A Logical Spreadsheet Management System

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers