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
https://portal.mardi4nfdi.de/entity/Q28830712012-05-11Paper
https://portal.mardi4nfdi.de/entity/Q28830772012-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
https://portal.mardi4nfdi.de/entity/Q39206681981-01-01Paper
On Etol Systems with Finite Tree-Rank1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39025301980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39100221980-01-01Paper
On recursion in ETOL systems1979-01-01Paper
On ETOL systems with rank1979-01-01Paper
Persistent ETOL systems1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38516431979-01-01Paper
On acceptors of iteration languages1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30513961978-01-01Paper
On ETOL systems of finite index1978-01-01Paper
On the effect of the finite index restriction on several families of grammars1978-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Dirk Vermeir