Sciweavers

17 search results - page 1 / 4

» lfcs 2007

27

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

14 years 5 months ago

Multiplexor Categories and Models of Soft Linear Logic

Download www-lipn.univ-paris13.fr

Brian F. Redmond

claim paper

Read More »

22

LFCS
2007
Springer

89views Artificial Intelligence» more LFCS 2007»

Weighted Distributed Systems and Their Logics

14 years 5 months ago

Weighted Distributed Systems and Their Logics

Download tracetheory.elet.polimi.it

Benedikt Bollig, Ingmar Meinecke

claim paper

Read More »

24

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

14 years 5 months ago

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

27

LFCS
2007
Springer

115views Artificial Intelligence» more LFCS 2007»

Compactness Properties for Stable Semantics of Logic Programs

14 years 5 months ago

Compactness Properties for Stable Semantics of Logic Programs

Download www.cs.uky.edu

Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...

Victor W. Marek, Jeffrey B. Remmel

claim paper

Read More »

43

LFCS
2007
Springer

99views Artificial Intelligence» more LFCS 2007»

Total Public Announcements

14 years 5 months ago

Total Public Announcements

Download www.iam.unibe.ch

We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...

David Steiner, Thomas Studer

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »