Search Sciweavers | Sciweavers

We present an approach to integrating rules and ontologies on the basis of the ﬁrst-order stable model semantics deﬁned by Ferraris, Lee and Lifschitz. We show that a few exist...

Joohyung Lee, Ravi Palla

claim paper

Read More »

125

click to vote

ECSQARU
2001
Springer

104views Automated Reasoning» more ECSQARU 2001»

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

15 years 10 months ago

Download www.kr.tuwien.ac.at

Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...

claim paper

Read More »

119

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

131

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers