The SCEAS System
Navigation Menu

Conferences in DBLP

LILOG (lilog)
1989 (conf/lilog/89)

  1. Arnold Oberschelp
    Order Sorted Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:8-17 [Conf]
  2. Christoph Walther
    Many-Sorted Inferences in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:18-48 [Conf]
  3. Peter H. Schmitt, Wolfgang Wernecke
    Tableau Calculus for Order Sorted Logic. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:49-60 [Conf]
  4. Ulrich Hedtstück, Peter H. Schmitt
    A Calculus for Order-Sorted Predicate Logic with Sort Literals. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:61-72 [Conf]
  5. Christoph Beierle
    Types, Modules and Databases in the Logic Programming Language PROTOS-L. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:73-110 [Conf]
  6. Bernhard Nebel, Gert Smolka
    Representation and Reasoning with Attributive Descriptions. [Citation Graph (2, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:112-139 [Conf]
  7. Udo Pletat, Kai von Luck
    Knowledge Representation in LILOG. [Citation Graph (1, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:140-164 [Conf]
  8. Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann
    Structure and Control of the L-LILOG Inference System. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:165-182 [Conf]
  9. Bernd Owsnicki-Klewe
    A General Characterization of Term Description Languages. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:183-189 [Conf]
  10. Werner Dilger, Hans Voß
    Sorts in Qualitative Reasoning. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:190-207 [Conf]
  11. Kurt Eberle
    Eventualities in a Natural Language Understanding System. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:209-239 [Conf]
  12. Jürgen Allgayer, Carola Reddig-Siekmann
    What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:240-285 [Conf]
  13. Bernd Mahr, Carla Umbach
    Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:286-304 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002