The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540645153, 9783540697930

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adding specificity to default logics

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054970 ◽

1997 ◽

pp. 75-83

Keyword(s):

Default Logics

Download Full-text

A context-based framework for default logics

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054968 ◽

1997 ◽

pp. 53-62

Keyword(s):

Default Logics

Download Full-text

Conclusions and perspectives

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054974 ◽

1997 ◽

pp. 143-145

Download Full-text

A Prolog-technology compiler for query-answering

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054973 ◽

1997 ◽

pp. 135-142

Keyword(s):

Query Answering

Download Full-text

Introduction

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054964 ◽

1997 ◽

pp. 1-10

Download Full-text

An alternative approach: Constrained default logic

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054966 ◽

1997 ◽

pp. 23-32

Keyword(s):

Default Logic ◽

Alternative Approach

Download Full-text

Adding lemma handling to default logics

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054971 ◽

1997 ◽

pp. 85-91

Keyword(s):

Default Logics

Download Full-text

Query-answering in default logics

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054972 ◽

1997 ◽

pp. 93-134

Keyword(s):

Query Answering ◽

Default Logics

Download Full-text

Putting default logics into perspective

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054967 ◽

1997 ◽

pp. 33-51

Keyword(s):

Default Logics

Download Full-text

The original approach: Classical default logic

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science ◽

10.1007/bfb0054965 ◽

1997 ◽

pp. 11-21

Keyword(s):

Default Logic ◽

Original Approach

Download Full-text

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Adding specificity to default logics

A context-based framework for default logics

Conclusions and perspectives

A Prolog-technology compiler for query-answering

Introduction

An alternative approach: Constrained default logic

Adding lemma handling to default logics

Query-answering in default logics

Putting default logics into perspective

The original approach: Classical default logic

The Automation of Reasoning with Incomplete Information - Lecture Notes in Computer Science
Latest Publications