Search Sciweavers | Sciweavers

4513 search results - page 15 / 903

» Logic programming with satisfiability

108

click to vote

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

16 years 5 hour ago

Download www.ulb.ac.be

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

claim paper

Read More »

123

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 11 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

138

Voted

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

15 years 10 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

151

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

A UML-Based Method for Deciding Finite Satisfiability in Description Logics

15 years 8 months ago

Download www.cs.bgu.ac.il

Mira Balaban, Azzam Maraee

claim paper

Read More »

click to vote

AAAI
1998

111views Intelligent Agents» more AAAI 1998»

Reducing Query Answering to Satisfiability in Nonmonotonic Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers