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

scholarly journals Constructing refinement operators by decomposing logical implication

1993 ◽  
pp. 178-189 ◽  
Author(s):  
Shan-Hwei Nienhuys-Cheng ◽  
Patrick R. J. Laag ◽  
Leendert W. N. Torre
Keyword(s):  
Logical Implication ◽  
Refinement Operators

Increasing cohesion in automatically generated natural language texts

1993 ◽  
pp. 242-253 ◽  
Author(s):  
Elisabeth A. Maier ◽  
Elena Not
Keyword(s):  
Natural Language

Characterizing prime implicants as projective spaces

1993 ◽  
pp. 41-46
Author(s):  
Fiora Pirri ◽  
Clara Pizzuti
Keyword(s):  
Projective Spaces ◽  
Prime Implicants

Proving formulas through reduction to decidable classes

1993 ◽  
pp. 1-10 ◽  
Author(s):  
Mauro Manzo ◽  
Enrico Giunchiglia ◽  
Alessandro Armando ◽  
Paolo Pecchiari
Keyword(s):  
Decidable Classes

A generative constraint formalism for configuration problems

1993 ◽  
pp. 302-313 ◽  
Author(s):  
Markus Stumptner ◽  
Alois Haselböck

Building and executing proof strategies in a formal metatheory

1993 ◽  
pp. 11-22 ◽  
Author(s):  
Alessandro Armando ◽  
Alessandro Cimatti ◽  
Luca Viganò

Spatial reasoning in a holey world

1993 ◽  
pp. 326-336 ◽  
Author(s):  
Achille C. Varzi
Keyword(s):  
Spatial Reasoning

Coping with modifiers in a restricted domain

1993 ◽  
pp. 266-271
Author(s):  
Fabio Ciravegna ◽  
Erica Giorda
Keyword(s):  
Restricted Domain
Load More ...
Sign in / Sign up

Export Citation Format

Share Document