Artificial Intelligence - Nonmonotonic Logic
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662029084, 9783662029060

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modal nonmonotonic logics

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_9 ◽

1993 ◽

pp. 249-288 ◽

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Nonmonotonic Logics

Download Full-text

Modal logic

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_7 ◽

1993 ◽

pp. 189-222

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Download Full-text

Logic programming and nonmonotonic reasoning

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_6 ◽

1993 ◽

pp. 141-187 ◽

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Logic Programming ◽

Nonmonotonic Reasoning

Download Full-text

Normal default theories

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_4 ◽

1993 ◽

pp. 105-123

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Download Full-text

General default theories

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_3 ◽

1993 ◽

pp. 37-103

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Download Full-text

Rudiments of logic and set theory

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_2 ◽

1993 ◽

pp. 9-35

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Download Full-text

Relations among nonmonotonic formalisms

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_12 ◽

1993 ◽

pp. 351-382

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Download Full-text

Nonmonotonic logic of pure necessitation and autoepistemic logics

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_10 ◽

1993 ◽

pp. 289-316

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Nonmonotonic Logic

Download Full-text

Introduction

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_1 ◽

1993 ◽

pp. 1-8 ◽

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Download Full-text

Representation theory for default logic

Artificial Intelligence - Nonmonotonic Logic ◽

10.1007/978-3-662-02906-0_5 ◽

1993 ◽

pp. 125-139

Author(s):

V. Wiktor Marek ◽

Mirosław Truszczyński

Keyword(s):

Representation Theory ◽

Download Full-text