Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540616306, 9783540706434

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

McCarthy's idea

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_9 ◽

1996 ◽

pp. 134-142

Author(s):

Michael R. Genesereth

Download Full-text

What you always wanted to know about rigid E-unification

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_4 ◽

1996 ◽

pp. 50-69 ◽

Cited By ~ 4

Author(s):

Anatoli Degtyarev ◽

Andrei Voronkov

Download Full-text

A simple signed system for paraconsistent reasoning

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_28 ◽

1996 ◽

pp. 404-416 ◽

Cited By ~ 5

Author(s):

Philippe Besnard ◽

Torsten Schaub

Keyword(s):

Paraconsistent Reasoning

Download Full-text

Revising and updating using a back-up semantics

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_27 ◽

1996 ◽

pp. 388-403

Author(s):

Cees Witteveen ◽

Wiebe Hoek

Download Full-text

An abductive framework for negation in disjunctive logic programming

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_18 ◽

1996 ◽

pp. 252-267 ◽

Cited By ~ 8

Author(s):

Chandrabose Aravindan

Keyword(s):

Logic Programming

Download Full-text

Similarity saturation for first order linear temporal logic with UNLESS

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_23 ◽

1996 ◽

pp. 320-336

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Order Linear ◽

First Order

Download Full-text

A modal action logic based framework for organization specification and analysis

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_8 ◽

1996 ◽

pp. 119-133 ◽

Cited By ~ 1

Author(s):

Filipe Santos ◽

José Carmo

Keyword(s):

Action Logic

Download Full-text

Informational logic for automated reasoning

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_25 ◽

1996 ◽

pp. 354-372

Author(s):

Paola Forcheri ◽

Paolo Gentilini ◽

Maria Teresa Molfino

Keyword(s):

Automated Reasoning

Download Full-text

Temporal reasoning over linear discrete time

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_22 ◽

1996 ◽

pp. 303-319 ◽

Cited By ~ 3

Author(s):

Manuel Enciso ◽

Inma P. Guzmán ◽

Carlos Rossi

Keyword(s):

Discrete Time ◽

Temporal Reasoning

Download Full-text

Semi-representability of default theories in rational default logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-61630-6_13 ◽

1996 ◽

pp. 192-207 ◽

Cited By ~ 1

Author(s):

Artur Mikitiuk

Keyword(s):

Default Logic

Download Full-text

Logics in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

McCarthy's idea

What you always wanted to know about rigid E-unification

A simple signed system for paraconsistent reasoning

Revising and updating using a back-up semantics

An abductive framework for negation in disjunctive logic programming

Similarity saturation for first order linear temporal logic with UNLESS

A modal action logic based framework for organization specification and analysis

Informational logic for automated reasoning

Temporal reasoning over linear discrete time

Semi-representability of default theories in rational default logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications