Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Maarten Mariën
@article{DBLP:journals/corr/WittocxMD14,
author = {Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Grounding {FO} and {FO(ID)} with Bounds},
journal = {CoRR},
volume = {abs/1401.3840},
year = {2014},
url = {http://arxiv.org/abs/1401.3840},
eprinttype = {arXiv},
eprint = {1401.3840},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WittocxMD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1317,
author = {Pashootan Vaezipoor and
David G. Mitchell and
Maarten Mari{\"{e}}n},
title = {Lifted Unit Propagation for Effective Grounding},
journal = {CoRR},
volume = {abs/1109.1317},
year = {2011},
url = {http://arxiv.org/abs/1109.1317},
eprinttype = {arXiv},
eprint = {1109.1317},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WittocxMD10,
author = {Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Grounding {FO} and {FO(ID)} with Bounds},
journal = {J. Artif. Intell. Res.},
volume = {38},
pages = {223--269},
year = {2010},
url = {https://doi.org/10.1613/jair.2980},
doi = {10.1613/JAIR.2980},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/WittocxMD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Marien09,
author = {Maarten Mari{\"{e}}n},
title = {Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model
Generation for ID-Logic},
school = {Katholieke Universiteit Leuven, Belgium},
year = {2009},
url = {https://lirias.kuleuven.be/handle/1979/2094},
timestamp = {Wed, 05 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Marien09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WittocxMD08,
author = {Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Grounding with Bounds},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {572--577},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-091.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WittocxMD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WittocxMD08,
author = {Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Approximate Reasoning in First-Order Logic Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {103--112},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-011.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WittocxMD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MarienWDB08,
author = {Maarten Mari{\"{e}}n and
Johan Wittocx and
Marc Denecker and
Maurice Bruynooghe},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {{SAT(ID):} Satisfiability of Propositional Logic Extended with Inductive
Definitions},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4996},
pages = {211--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_20},
doi = {10.1007/978-3-540-79719-7\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/MarienWDB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VennekensWMD07,
author = {Joost Vennekens and
Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Predicate Introduction for Logics with a Fixpoint Semantics. Part
{I:} Logic Programming},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {187--208},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VennekensWMD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VennekensWMD07a,
author = {Joost Vennekens and
Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
title = {Predicate Introduction for Logics with Fixpoint Semantics. Part {II:}
Autoepistemic Logic},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {209--227},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VennekensWMD07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MarienWD07,
author = {Maarten Mari{\"{e}}n and
Johan Wittocx and
Marc Denecker},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Integrating Inductive Definitions in {SAT}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {378--392},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_28},
doi = {10.1007/978-3-540-75560-9\_28},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MarienWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WittocxVMDB06,
author = {Johan Wittocx and
Joost Vennekens and
Maarten Mari{\"{e}}n and
Marc Denecker and
Maurice Bruynooghe},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Predicate Introduction Under Stable and Well-Founded Semantics},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_19},
doi = {10.1007/11799573\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WittocxVMDB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MarienMDB05,
author = {Maarten Mari{\"{e}}n and
Rudradeb Mitra and
Marc Denecker and
Maurice Bruynooghe},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Satisfiability Checking for {PC(ID)}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {565--579},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_39},
doi = {10.1007/11591191\_39},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MarienMDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarienGD04,
author = {Maarten Mari{\"{e}}n and
David Gilis and
Marc Denecker},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {On the Relation Between ID-Logic and Answer Set Programming},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {108--120},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_12},
doi = {10.1007/978-3-540-30227-8\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MarienGD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
