Search Sciweavers | Sciweavers

6554 search results - page 141 / 1311

» Constraint Logic Programming

120

click to vote

IJCAI
1993

98views Artificial Intelligence» more IJCAI 1993»

Constraint Deduction in an Interval-based Temporal Logic

15 years 7 months ago

Download www.aaai.org

Jana Koehler, Ralf Treinen

claim paper

Read More »

157

click to vote

TOCL
2008

86views more TOCL 2008»

Conjunctive query containment and answering under description logic constraints

15 years 6 months ago

Download tocl.acm.org

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

144

click to vote

CI
2005

46views more CI 2005»

XML Declarative Description with First-Order Logical Constraints

15 years 6 months ago

Download assam.cims.hokudai.ac.jp

Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

15 years 4 months ago

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze...

claim paper

Read More »

144

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers