VSL 2014: VIENNA SUMMER OF LOGIC 2014

Model revision inference for extensions of first order logic

Author: Joachim Jansen

ICLP VolumesPapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Model revision inference for extensions of first order logic
Authors:Joachim Jansen
Proceedings:ICLP Doctoral Consortium 2014 Abstracts
Editors: Martin Gebser and Jael Kriener
Keywords:model revision, knowledge representation, idp, fodot
Abstract:

ABSTRACT. ICLP`14 DC application for Joachim Jansen

Pages:1
Talk:Jul 20 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program