Nonclassical Logics and Information Processing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540557458

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A logic for memory

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031921 ◽

2005 ◽

pp. 23-45

Author(s):

Christian Schumacher

Download Full-text

Conditional logics and cumulative logics

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031926 ◽

2005 ◽

pp. 92-103

Author(s):

André Fuhrmann

Download Full-text

Semantics of nonmonotonic reasoning in logic programming

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031927 ◽

2005 ◽

pp. 104-124

Author(s):

Heinrich Herbe

Keyword(s):

Logic Programming ◽

Nonmonotonic Reasoning

Download Full-text

Testclasses and closed world assumptions for non-horn theories

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031923 ◽

2005 ◽

pp. 56-62

Author(s):

Jürgen Gehne

Keyword(s):

World Assumptions ◽

Closed World ◽

Horn Theories

Download Full-text

Actions with preconditions and postconditions

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031922 ◽

2005 ◽

pp. 46-55

Author(s):

Michael Morreau

Download Full-text

Lindenbaum-algebraic semantics of logic programs

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031925 ◽

2005 ◽

pp. 80-91

Author(s):

Gerd Wagner

Keyword(s):

Algebraic Semantics ◽

Logic Programs ◽

Semantics Of Logic Programs

Download Full-text

Algebraic aspects of the relational knowledge representation: Modal relation algebras

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031920 ◽

2005 ◽

pp. 1-22 ◽

Cited By ~ 1

Author(s):

Ewa Orlowska

Keyword(s):

Knowledge Representation ◽

Relation Algebras ◽

Relational Knowledge

Download Full-text

Cut-elimination in logics with definitional reflection

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031929 ◽

2005 ◽

pp. 146-171 ◽

Cited By ~ 16

Author(s):

Peter Schroeder-Heister

Keyword(s):

Cut Elimination

Download Full-text

Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031928 ◽

2005 ◽

pp. 125-145 ◽

Cited By ~ 6

Author(s):

Heinrich Wansing

Keyword(s):

Propositional Logic ◽

Intuitionistic Propositional Logic

Download Full-text

Reasoning with negative information, II: Hard negation, strong negation and logic programs

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0031924 ◽

2005 ◽

pp. 63-79 ◽

Cited By ~ 9

Author(s):

David Pearce

Keyword(s):

Negative Information ◽

Logic Programs ◽

Strong Negation

Download Full-text

Nonclassical Logics and Information Processing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

A logic for memory

Conditional logics and cumulative logics

Semantics of nonmonotonic reasoning in logic programming

Testclasses and closed world assumptions for non-horn theories

Actions with preconditions and postconditions

Lindenbaum-algebraic semantics of logic programs

Algebraic aspects of the relational knowledge representation: Modal relation algebras

Cut-elimination in logics with definitional reflection

Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic

Reasoning with negative information, II: Hard negation, strong negation and logic programs

Nonclassical Logics and Information Processing - Lecture Notes in Computer Science
Latest Publications