The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642781629, 9783642781605

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebraic Properties of Partial Information Ionic Logic

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_7 ◽

1995 ◽

pp. 172-216

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information ◽

Algebraic Properties

Download Full-text

Axiomatics and Proof Theory of First-Order Partial Information Ionic Logic

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_17 ◽

1995 ◽

pp. 500-505

Author(s):

Areski Nait Abdallah

Keyword(s):

Proof Theory ◽

Partial Information ◽

First Order

Download Full-text

Extension and Justification Closure Approach to Partial Information Ionic Logic

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_13 ◽

1995 ◽

pp. 389-424

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information

Download Full-text

Beth Tableaux for Propositional Partial Information Ionic Logic

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_8 ◽

1995 ◽

pp. 217-262

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information

Download Full-text

Reasoning About Actions: Projection Problem

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_21 ◽

1995 ◽

pp. 624-680

Author(s):

Areski Nait Abdallah

Keyword(s):

Reasoning About Actions ◽

Projection Problem

Download Full-text

Syntactic and Semantic Paths; Application to Defeasible Inheritance

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_19 ◽

1995 ◽

pp. 537-561

Author(s):

Areski Nait Abdallah

Download Full-text

Beth Tableaux for First-Order Partial Information Ions

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_16 ◽

1995 ◽

pp. 466-499

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information ◽

First Order

Download Full-text

Applications; the Statics of Logic Systems

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_9 ◽

1995 ◽

pp. 263-304

Author(s):

Areski Nait Abdallah

Keyword(s):

Logic Systems

Download Full-text

Semantics of Partial Information Logic of Infinite Rank

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_6 ◽

1995 ◽

pp. 158-171

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information ◽

Infinite Rank

Download Full-text

Reasoning with Partial Information Ions: An Overview

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-642-78160-5_4 ◽

1995 ◽

pp. 67-102

Author(s):

Areski Nait Abdallah

Keyword(s):

Partial Information

Download Full-text

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS SeriesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Algebraic Properties of Partial Information Ionic Logic

Axiomatics and Proof Theory of First-Order Partial Information Ionic Logic

Extension and Justification Closure Approach to Partial Information Ionic Logic

Beth Tableaux for Propositional Partial Information Ionic Logic

Reasoning About Actions: Projection Problem

Syntactic and Semantic Paths; Application to Defeasible Inheritance

Beth Tableaux for First-Order Partial Information Ions

Applications; the Statics of Logic Systems

Semantics of Partial Information Logic of Infinite Rank

Reasoning with Partial Information Ions: An Overview

The Logic of Partial Information - Monographs in Theoretical Computer Science An EATCS Series
Latest Publications