VSL 2014: VIENNA SUMMER OF LOGIC 2014

Model Revision Inference for Extensions of First Order Logic

Author: Joachim Jansen

ICLP VolumesPapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Model Revision Inference for Extensions of First Order Logic
Authors:Joachim Jansen
Proceedings:ICLP 2014 VSL proceedings
Editors: Michael Leuschel, Tom Schrijvers and Martin Gebser
Keywords:
Abstract:
Pages:7
Paper:
Disclaimer | Powered by EasyChair Smart Program