Search Sciweavers | Sciweavers

4573 search results - page 34 / 915

» Automated Reasoning

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 6 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

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

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

115

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 6 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

165

click to vote

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

15 years 6 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

101

click to vote

NMELP
1994

218views Automated Reasoning» more NMELP 1994»

From Disjunctive Programs to Abduction

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers