Dirk Vermeir

From MaRDI portal
Person:352962

Available identifiers

zbMath Open vermeir.dirkMaRDI QIDQ352962

List of research outcomes





PublicationDate of PublicationType
Logic programming semantics made easy2019-12-04Paper
Characterizing and extending answer set semantics using possibility theory2017-11-09Paper
Open answer set programming with guarded programs2017-07-12Paper
Fuzzy Equilibrium Logic2015-09-17Paper
Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions2015-07-10Paper
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming2015-06-24Paper
Complexity of fuzzy answer set programming under Łukasiewicz semantics2014-10-23Paper
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction2013-07-05Paper
Expressiveness of communication in answer set programming2013-06-14Paper
Reducing fuzzy answer set programming to model finding in fuzzy logics2012-12-27Paper
A core language for fuzzy answer set programming2012-09-11Paper
Answer set programming for continuous domains: a fuzzy logic approach2012-06-14Paper
Efficient solving of time-dependent answer set programs2012-05-11Paper
Communicating answer set programs2012-05-11Paper
Aggregated fuzzy answer set programming2012-03-22Paper
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees2011-06-29Paper
Communicating ASP and the Polynomial Hierarchy2011-05-26Paper
https://portal.mardi4nfdi.de/entity/Q34081422010-02-24Paper
Logic Programming2009-08-06Paper
General Fuzzy Answer Set Programs2009-07-02Paper
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories2009-01-22Paper
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming2009-01-20Paper
Fuzzy Answer Set Programming2008-10-30Paper
Cooperating Answer Set Programming2008-03-11Paper
Conditional Planning with External Functions2007-11-13Paper
An introduction to fuzzy answer set programming2007-10-23Paper
Open answer set programming for the semantic web2007-05-18Paper
Preferred answer sets for ordered logic programs2007-03-08Paper
Foundations of Information and Knowledge Systems2007-02-12Paper
Conceptual logic programs2006-12-20Paper
Theoretical Computer Science2006-11-01Paper
Logics in Artificial Intelligence2006-10-25Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
Logic Programming2005-08-26Paper
Extending answer sets for logic programming agents2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q48115972004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q44724472004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44151322003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q44117192003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q47089372003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q45363392002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q45510342002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q27382912001-08-30Paper
https://portal.mardi4nfdi.de/entity/Q49452302000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q49553382000-05-25Paper
https://portal.mardi4nfdi.de/entity/Q42363781999-09-14Paper
Robust semantics for argumentation frameworks1999-05-11Paper
https://portal.mardi4nfdi.de/entity/Q43758211998-06-02Paper
https://portal.mardi4nfdi.de/entity/Q42875041994-10-17Paper
https://portal.mardi4nfdi.de/entity/Q40287931993-03-28Paper
Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models1992-09-27Paper
A Fixpoint Semantics for Ordered Logic1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34894851990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33090671981-01-01Paper
On Etol Systems with Finite Tree-Rank1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39206681981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39025301980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39100221980-01-01Paper
On acceptors of iteration languages1979-01-01Paper
On recursion in ETOL systems1979-01-01Paper
On ETOL systems with rank1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38516431979-01-01Paper
Persistent ETOL systems1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30513961978-01-01Paper
On the effect of the finite index restriction on several families of grammars1978-01-01Paper
On ETOL systems of finite index1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41350091977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41626791977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41350101976-01-01Paper

Research outcomes over time

This page was built for person: Dirk Vermeir