Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540523376, 9783540469650

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sorts in qualitative reasoning

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_25 ◽

1990 ◽

pp. 190-207

Author(s):

Werner Dilger ◽

Hans Voß

Keyword(s):

Qualitative Reasoning

Download Full-text

A general characterization of term description languages

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_24 ◽

1990 ◽

pp. 183-189 ◽

Author(s):

Bernd Owsnicki-Klewe

Keyword(s):

General Characterization ◽

Description Languages

Download Full-text

Introduction

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_15 ◽

1990 ◽

pp. 1-6

Author(s):

K. H. Bläsius ◽

U. Hedtstück ◽

C. -R. Rollinger

Download Full-text

Structure and control of the L-LILOG Inference system

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_23 ◽

1990 ◽

pp. 165-182 ◽

Author(s):

K. H. Bläsius ◽

C. -R. Rollinger ◽

J. -H. Siekmann

Keyword(s):

Inference System ◽

Download Full-text

Types, modules and databases in the logic programming language PROTOS-L

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_20 ◽

1990 ◽

pp. 73-110 ◽

Author(s):

Christoph Beierle

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

A calculus for order-sorted predicate logic with sort literals

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_19 ◽

1990 ◽

pp. 61-72

Author(s):

U. Hedtstück ◽

P. H. Schmitt

Keyword(s):

Predicate Logic

Download Full-text

Representation and reasoning with attributive descriptions

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_21 ◽

1990 ◽

pp. 111-139 ◽

Author(s):

Bernhard Nebel ◽

Gert Smolka

Download Full-text

Order sorted predicate logic

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_16 ◽

1990 ◽

pp. 7-17 ◽

Author(s):

Arnold Oberschelp

Keyword(s):

Predicate Logic

Download Full-text

Functor-argument structures for the meaning of natural language sentences and their formal interpretation

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_28 ◽

1990 ◽

pp. 286-304

Author(s):

Bernd Mahr ◽

Carla Umbach

Keyword(s):

Natural Language

Download Full-text

Knowledge representation in LILOG

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_22 ◽

1990 ◽

pp. 140-164 ◽

Author(s):

Udo Pletat ◽

Kai von Luck

Keyword(s):

Knowledge Representation

Download Full-text