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

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540572923, 9783540480389

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructing refinement operators by decomposing logical implication

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_56 ◽

1993 ◽

pp. 178-189 ◽

Author(s):

Shan-Hwei Nienhuys-Cheng ◽

Patrick R. J. Laag ◽

Leendert W. N. Torre

Keyword(s):

Logical Implication ◽

Refinement Operators

Download Full-text

Increasing cohesion in automatically generated natural language texts

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_62 ◽

1993 ◽

pp. 242-253 ◽

Author(s):

Elisabeth A. Maier ◽

Elena Not

Keyword(s):

Natural Language

Download Full-text

Reasoning with individuals in concept languages

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_49 ◽

1993 ◽

pp. 108-119 ◽

Author(s):

Andrea Schaerf

Keyword(s):

Concept Languages

Download Full-text

Characterizing prime implicants as projective spaces

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_40 ◽

1993 ◽

pp. 41-46

Author(s):

Fiora Pirri ◽

Clara Pizzuti

Keyword(s):

Projective Spaces ◽

Prime Implicants

Download Full-text

Abstract properties for the choice provability relation in nonmonotonic logics

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_39 ◽

1993 ◽

pp. 35-40

Author(s):

Grigoris Antoniou

Keyword(s):

Nonmonotonic Logics

Download Full-text

Proving formulas through reduction to decidable classes

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_36 ◽

1993 ◽

pp. 1-10 ◽

Author(s):

Mauro Manzo ◽

Enrico Giunchiglia ◽

Alessandro Armando ◽

Paolo Pecchiari

Keyword(s):

Decidable Classes

Download Full-text

A generative constraint formalism for configuration problems

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_68 ◽

1993 ◽

pp. 302-313 ◽

Author(s):

Markus Stumptner ◽

Alois Haselböck

Download Full-text

Building and executing proof strategies in a formal metatheory

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_37 ◽

1993 ◽

pp. 11-22 ◽

Author(s):

Alessandro Armando ◽

Alessandro Cimatti ◽

Luca Viganò

Download Full-text

Spatial reasoning in a holey world

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_70 ◽

1993 ◽

pp. 326-336 ◽

Author(s):

Achille C. Varzi

Keyword(s):

Spatial Reasoning

Download Full-text

Coping with modifiers in a restricted domain

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57292-9_64 ◽

1993 ◽

pp. 266-271

Author(s):

Fabio Ciravegna ◽

Erica Giorda

Keyword(s):

Restricted Domain

Download Full-text