JANCL 2006 | Sciweavers

9

JANCL
2006

74views more JANCL 2006»

Linear-time temporal logics with Presburger constraints: an overview

13 years 4 months ago

We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...

Stéphane Demri

claim paper

Read More »

13

click to vote

JANCL
2006

100views more JANCL 2006»

An efficient relational deductive system for propositional non-classical logics

13 years 4 months ago

Download cilc2006.di.uniba.it

We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...

Andrea Formisano, Marianna Nicolosi Asmundo

claim paper

Read More »

11

click to vote

JANCL
2006

105views more JANCL 2006»

BDD-based decision procedures for the modal logic K

13 years 4 months ago

Download www.cs.rice.edu

We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

claim paper

Read More »

10

click to vote

JANCL
2006

65views more JANCL 2006»

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi

13 years 4 months ago

Download www.mat.unb.br

Flávio L. C. de Moura, Mauricio Ayala-Rinc&...

claim paper

Read More »

9

click to vote

JANCL
2006

123views more JANCL 2006»

Approximate databases: a support tool for approximate reasoning

13 years 4 months ago

Download www.martinmagnusson.com

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...

Patrick Doherty, Martin Magnusson, Andrzej Szalas

claim paper

Read More »

7

click to vote

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

13 years 4 months ago

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

13

click to vote

JANCL
2006

112views more JANCL 2006»

KAT-ML: an interactive theorem prover for Kleene algebra with tests

13 years 4 months ago

Download kamal.aboulhosn.org

We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...

Kamal Aboul-Hosn, Dexter Kozen

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers