LPNMR 2001 - Logic Programming and Nonmonotonic Reasoning. International Conference (6th) Held in Vienna, Austria on September 2001

Abstract

The Final Proceedings for LPNMR 2001 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning, 17 September 2001 - 19 September 2001. The conference goal is to highlight recent original research in design (theory) and implementation of logic based programming languages and database systems, and knowledge representation and nonmonotonic LPNMR seeks theoretical and experimental results leading to construction of practical systems for programming and knowledge representation. Specific topics include (1) development and mathematical studies of logical systems with non-monotonic entailment relations, (2) implementation of LPNMR systems, and (3) applications of LPNMR systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2001
Accession Number
ADA395766

Entities

Organizations

  • University of Vienna

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Artificial Intelligence Software
  • Automata Theory
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Information Systems
  • Language
  • Machine Learning
  • Network Science
  • Operating Systems
  • Reasoning

Readers

  • Academic Conference Management
  • Artificial Intelligence