Sciweavers

17 search results - page 1 / 4

» lfcs 2007

9

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

13 years 11 months ago

Multiplexor Categories and Models of Soft Linear Logic

Download www-lipn.univ-paris13.fr

Brian F. Redmond

claim paper

Read More »

7

LFCS
2007
Springer

89views Artificial Intelligence» more LFCS 2007»

Weighted Distributed Systems and Their Logics

13 years 11 months ago

Weighted Distributed Systems and Their Logics

Download tracetheory.elet.polimi.it

Benedikt Bollig, Ingmar Meinecke

claim paper

Read More »

6

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

13 years 11 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 »

11

LFCS
2007
Springer

115views Artificial Intelligence» more LFCS 2007»

Compactness Properties for Stable Semantics of Logic Programs

13 years 11 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 »

15

LFCS
2007
Springer

99views Artificial Intelligence» more LFCS 2007»

Total Public Announcements

13 years 11 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 »