Search Sciweavers | Sciweavers

2911 search results - page 50 / 583

» A Logic of Graph Constraints

113

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 8 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

15 years 6 months ago

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

click to vote

CPAIOR
2008
Springer

117views Operations Research» more CPAIOR 2008»

Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints

15 years 6 months ago

Download ceprofs.civil.tamu.edu

Luca Quadrifoglio, Maged M. Dessouky, Fernando Ord...

claim paper

Read More »

120

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

15 years 6 months ago

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

click to vote

IJCAI
2001

66views Artificial Intelligence» more IJCAI 2001»

Identification Constraints and Functional Dependencies in Description Logics

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers