Publication | Date of Publication | Type |
---|
Logic programming semantics made easy | 2019-12-04 | Paper |
Characterizing and extending answer set semantics using possibility theory | 2017-11-09 | Paper |
Open answer set programming with guarded programs | 2017-07-12 | Paper |
Fuzzy Equilibrium Logic | 2015-09-17 | Paper |
Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions | 2015-07-10 | Paper |
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming | 2015-06-24 | Paper |
Complexity of fuzzy answer set programming under Łukasiewicz semantics | 2014-10-23 | Paper |
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction | 2013-07-05 | Paper |
Expressiveness of communication in answer set programming | 2013-06-14 | Paper |
Reducing fuzzy answer set programming to model finding in fuzzy logics | 2012-12-27 | Paper |
A core language for fuzzy answer set programming | 2012-09-11 | Paper |
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach | 2012-06-14 | Paper |
COMMUNICATING ANSWER SET PROGRAMS | 2012-05-11 | Paper |
EFFICIENT SOLVING OF TIME-DEPENDENT ANSWER SET PROGRAMS | 2012-05-11 | Paper |
Aggregated fuzzy answer set programming | 2012-03-22 | Paper |
Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees | 2011-06-29 | Paper |
Communicating ASP and the Polynomial Hierarchy | 2011-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3408142 | 2010-02-24 | Paper |
Logic Programming | 2009-08-06 | Paper |
General Fuzzy Answer Set Programs | 2009-07-02 | Paper |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories | 2009-01-22 | Paper |
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming | 2009-01-20 | Paper |
Fuzzy Answer Set Programming | 2008-10-30 | Paper |
Cooperating Answer Set Programming | 2008-03-11 | Paper |
Conditional Planning with External Functions | 2007-11-13 | Paper |
An introduction to fuzzy answer set programming | 2007-10-23 | Paper |
Open answer set programming for the semantic web | 2007-05-18 | Paper |
Preferred answer sets for ordered logic programs | 2007-03-08 | Paper |
Foundations of Information and Knowledge Systems | 2007-02-12 | Paper |
Conceptual logic programs | 2006-12-20 | Paper |
Theoretical Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence | 2006-10-25 | Paper |
Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
Logic Programming | 2005-08-26 | Paper |
Extending answer sets for logic programming agents | 2005-01-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4811597 | 2004-09-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4472447 | 2004-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4415132 | 2003-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4411719 | 2003-07-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4708937 | 2003-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536339 | 2002-11-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4551034 | 2002-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2738291 | 2001-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4945230 | 2000-06-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4955338 | 2000-05-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4236378 | 1999-09-14 | Paper |
Robust semantics for argumentation frameworks | 1999-05-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4375821 | 1998-06-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4287504 | 1994-10-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4028793 | 1993-03-28 | Paper |
Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models | 1992-09-27 | Paper |
A Fixpoint Semantics for Ordered Logic | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3489485 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3309067 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3920668 | 1981-01-01 | Paper |
On Etol Systems with Finite Tree-Rank | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3902530 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3910022 | 1980-01-01 | Paper |
On recursion in ETOL systems | 1979-01-01 | Paper |
On ETOL systems with rank | 1979-01-01 | Paper |
Persistent ETOL systems | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3851643 | 1979-01-01 | Paper |
On acceptors of iteration languages | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3051396 | 1978-01-01 | Paper |
On ETOL systems of finite index | 1978-01-01 | Paper |
On the effect of the finite index restriction on several families of grammars | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4135009 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4162679 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4135010 | 1976-01-01 | Paper |