Vivid Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540576044, 9783540482888

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Vivid reasoning on the basis of rules

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_15 ◽

1994 ◽

pp. 111-129

Download Full-text

Vivid knowledge representation and reasoning

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_10 ◽

1994 ◽

pp. 7-39

Keyword(s):

Knowledge Representation ◽

Knowledge Representation And Reasoning

Download Full-text

Further topics, open problems

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_16 ◽

1994 ◽

pp. 131-135

Keyword(s):

Open Problems

Download Full-text

Logic programming with strong negation and inexact predicates

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_14 ◽

1994 ◽

pp. 89-110 ◽

Cited By ~ 1

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

General introduction

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_9 ◽

1994 ◽

pp. 1-6

Keyword(s):

General Introduction

Download Full-text

Lindenbaum-algebraic semantics of logic programs

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_13 ◽

1994 ◽

pp. 75-87

Keyword(s):

Algebraic Semantics ◽

Logic Programs ◽

Semantics Of Logic Programs

Download Full-text

Vivid reasoning on the basis of facts

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_12 ◽

1994 ◽

pp. 63-74

Download Full-text

Partiality, paraconsistency and constructivity

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_11 ◽

1994 ◽

pp. 41-62

Download Full-text