Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Weidenbach, Christoph
Wischnewski, Patrick

dblp
dblp



Editor(s):





BibTeX cite key*:

WeidenbachWischnewski2012

Title, Conference

Title*:

Satisfiability Checking and Query Answering for large Ontologies

Booktitle*:

PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning

Event Address*:

Manchester, UK

URL of the conference:


Event Date*:
(no longer used):


URL for downloading the paper:

http://www.eprover.org/EVENTS/PAAR-2012/PAAR2012.pdf

Event Start Date:

30 June 2012

Event End Date:

1 July 2012

Language:

English

Organization:


Publisher

Publisher's Name:

PAAR-2012

Publisher's URL:


Address*:

Manchester

Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages:

163-177



Sequence Number:


Year*:

2012

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:


URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Internal

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:
@INPROCEEDINGS{WeidenbachWischnewski2012,
AUTHOR = {Weidenbach, Christoph and Wischnewski, Patrick},
TITLE = {Satisfiability Checking and Query Answering for large Ontologies},
BOOKTITLE = {PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning},
PUBLISHER = {PAAR-2012},
YEAR = {2012},
PAGES = {163--177},
ADDRESS = {Manchester, UK},
}


Entry last modified by Anja Becker, 03/07/2013
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/11/2013 12:39:29 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Jennifer Müller
Jennifer Müller
Jennifer Müller
Edit Dates
07.03.2013 15:00:18
07.03.2013 14:59:00
14.01.2013 08:13:10
14.01.2013 08:12:28
01/11/2013 12:39:29 PM