Search Sciweavers | Sciweavers

4573 search results - page 34 / 915

» Automated Reasoning

119

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

144

click to vote

KR
1994
Springer

113views Automated Reasoning» more KR 1994»

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update

15 years 10 months ago

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

155

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 10 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

215

click to vote

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

15 years 10 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Luís Moni...

claim paper

Read More »

139

click to vote

NMELP
1994

218views Automated Reasoning» more NMELP 1994»

From Disjunctive Programs to Abduction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers