Search Sciweavers | Sciweavers

4513 search results - page 15 / 903

» Logic programming with satisfiability

click to vote

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

15 years 9 months ago

Download www.ulb.ac.be

Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison

claim paper

Read More »

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 8 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

114

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

15 years 8 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

124

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

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

15 years 5 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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers