default search action

combined dblp search
author search
venue search
publication search

ask others

LILOG: Sorts and Types in Artificial Intelligence 1989

> Home > Conferences and Workshops > LILOG:

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lilog/89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/89
Karl-Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger:
Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings. Lecture Notes in Computer Science 418, Springer 1989, ISBN 3-540-52337-5

Sorts and Types in Logic, Theorem Proving and Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/lilog/Oberschelp89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/Oberschelp89
Arnold Oberschelp:
Order Sorted Predicate Logic. 8-17
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/Walther89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/Walther89
Christoph Walther:
Many-Sorted Inferences in Automated Theorem Proving. 18-48
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/SchmittW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/SchmittW89
Peter H. Schmitt, Wolfgang Wernecke:
Tableau Calculus for Order Sorted Logic. 49-60
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/HedtstuckS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/HedtstuckS89
Ulrich Hedtstück, Peter H. Schmitt:
A Calculus for Order-Sorted Predicate Logic with Sort Literals. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/Beierle89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/Beierle89
Christoph Beierle:
Types, Modules and Databases in the Logic Programming Language PROTOS-L. 73-110

Sorte and Types in Knowledge Representation Including Qualitative Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/lilog/NebelS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/NebelS89
Bernhard Nebel, Gert Smolka:
Representation and Reasoning with Attributive Descriptions. 112-139
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/PletatL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/PletatL89
Udo Pletat, Kai von Luck:
Knowledge Representation in LILOG. 140-164
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/BlasiusRS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/BlasiusRS89
Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann:
Structure and Control of the L-LILOG Inference System. 165-182
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/Owsnicki-Klewe89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/Owsnicki-Klewe89
Bernd Owsnicki-Klewe:
A General Characterization of Term Description Languages. 183-189
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/DilgerV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/DilgerV89
Werner Dilger, Hans Voß:
Sorts in Qualitative Reasoning. 190-207

Sorts and Types in Natural Language (Understanding) Systems

- view
  authority control:
- export record
  dblp key:
  - conf/lilog/Eberle89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/Eberle89
Kurt Eberle:
Eventualities in a Natural Language Understanding System. 209-239
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/AllgayerR89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/AllgayerR89
Jürgen Allgayer, Carola Reddig-Siekmann:
What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. 240-285
- view
  authority control:
- export record
  dblp key:
  - conf/lilog/MahrU89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lilog/MahrU89
Bernd Mahr, Carla Umbach:
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. 286-304

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.