Concepedia

Maarten Mariën

MM

Statistics

Publications

6

Citations

148

H-Index

6

Active since

2006

Affiliations

KU Leuven(Current)

Maarten Mariën is an author at KU Leuven specializing in formal methods, automated reasoning, and computer science.

Top concepts

SemanticsEngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal VerificationNon-monotonic Logic

Publications per year

2006–2008

6

Publications

6

The IDP system: A model expansion system for an extension of classical logic

Johan Wittocx, Maarten Mariën, Marc Denecker · Lirias (KU Leuven) · 2008 · 69 citations · Full text

The IDP framework for declarative problem solving

Maarten Mariën, Johan Wittocx, Marc Denecker · Lirias (KU Leuven) · 2006 · 27 citations · Full text

Grounding with bounds

Johan Wittocx, Maarten Mariën, Marc Denecker · National Conference on Artificial Intelligence · 2008 · 16 citations · Full text

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Joost Vennekens, Johan Wittocx, Maarten Mariën et al. · Fundamenta Informaticae · 2007 · 13 citations

Applied Logic, Computational Logic, Non-classical Logic +15

GidL: A grounder for FO+

Johan Wittocx, Maarten Mariën, Marc Denecker · Lirias (KU Leuven) · 2008 · 12 citations · Full text

1–5 of 6