Inproceedings,
DatalogMTL with Negation Under Stable Models Semantics.
P. Walega, D. Cucala, E. Kostylev, and B. Grau.KR, page 609-618. (2021)
Meta data
- BibTeX key
- conf/kr/WalegaCKG21
- entry type
- inproceedings
- booktitle
- KR
- year
- 2021
- pages
- 609-618
- crossref
- conf/kr/2021
- ee
- https://doi.org/10.24963/kr.2021/58
- isbn
- 978-1-956792-99-7
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2021.html#WalegaCKG21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/WalegaCKG21
%A Walega, Przemyslaw Andrzej
%A Cucala, David J. Tena
%A Kostylev, Egor V.
%A Grau, Bernardo Cuenca
%B KR
%D 2021
%E Bienvenu, Meghyn
%E Lakemeyer, Gerhard
%E Erdem, Esra
%K dblp
%P 609-618
%T DatalogMTL with Negation Under Stable Models Semantics.
%U http://dblp.uni-trier.de/db/conf/kr/kr2021.html#WalegaCKG21
%@ 978-1-956792-99-7
@inproceedings{conf/kr/WalegaCKG21,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Walega, Przemyslaw Andrzej and Cucala, David J. Tena and Kostylev, Egor V. and Grau, Bernardo Cuenca},
biburl = {https://www.bibsonomy.org/bibtex/2d17eaac2f8daec033b43484ffcee9ff2/dblp},
booktitle = {KR},
crossref = {conf/kr/2021},
editor = {Bienvenu, Meghyn and Lakemeyer, Gerhard and Erdem, Esra},
ee = {https://doi.org/10.24963/kr.2021/58},
interhash = {255d146db1c2447db536a8daebbb6aa3},
intrahash = {d17eaac2f8daec033b43484ffcee9ff2},
isbn = {978-1-956792-99-7},
keywords = {dblp},
pages = {609-618},
timestamp = {2024-04-09T23:54:05.000+0200},
title = {DatalogMTL with Negation Under Stable Models Semantics.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2021.html#WalegaCKG21},
year = 2021
}