| Publication | Date of Publication | Type |
|---|
Logic programming semantics made easy
Automata, Languages and Programming | 2019-12-04 | Paper |
Characterizing and extending answer set semantics using possibility theory
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Open answer set programming with guarded programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Fuzzy equilibrium logic: declarative problem solving in continuous domains
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems | 2015-06-24 | Paper |
Complexity of fuzzy answer set programming under Łukasiewicz semantics
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
Journal of Automated Reasoning | 2013-07-05 | Paper |
Expressiveness of communication in answer set programming
Theory and Practice of Logic Programming | 2013-06-14 | Paper |
Reducing fuzzy answer set programming to model finding in fuzzy logics
Theory and Practice of Logic Programming | 2012-12-27 | Paper |
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning | 2012-09-11 | Paper |
Answer set programming for continuous domains: a fuzzy logic approach
Atlantis Computational Intelligence Systems | 2012-06-14 | Paper |
| Efficient solving of time-dependent answer set programs | 2012-05-11 | Paper |
| Communicating answer set programs | 2012-05-11 | Paper |
Aggregated fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence | 2012-03-22 | Paper |
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Communicating ASP and the polynomial hierarchy
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| Ordered diagnosis | 2010-02-24 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
General Fuzzy Answer Set Programs
Fuzzy Logic and Applications | 2009-07-02 | Paper |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
Logic Programming | 2009-01-22 | Paper |
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
Lecture Notes in Computer Science | 2009-01-20 | Paper |
Fuzzy Answer Set Programming
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Cooperating Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Conditional Planning with External Functions
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
Open answer set programming for the semantic web
Journal of Applied Logic | 2007-05-18 | Paper |
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Conceptual logic programs
Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Extending answer sets for logic programming agents
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
| scientific article; zbMATH DE number 2096829 (Why is no real title available?) | 2004-09-06 | Paper |
| scientific article; zbMATH DE number 2080205 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1954127 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1947734 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1931679 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1759391 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1795986 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1639448 (Why is no real title available?) | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1424040 (Why is no real title available?) | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1453065 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1269578 (Why is no real title available?) | 1999-09-14 | Paper |
Robust semantics for argumentation frameworks
Journal Of Logic And Computation | 1999-05-11 | Paper |
| scientific article; zbMATH DE number 1114052 (Why is no real title available?) | 1998-06-02 | Paper |
| scientific article; zbMATH DE number 549985 (Why is no real title available?) | 1994-10-17 | Paper |
| scientific article; zbMATH DE number 140386 (Why is no real title available?) | 1993-03-28 | Paper |
Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models
Journal Of Logic And Computation | 1992-09-27 | Paper |
A Fixpoint Semantics for Ordered Logic
Journal Of Logic And Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4162296 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3839323 (Why is no real title available?) | 1981-01-01 | Paper |
On Etol Systems with Finite Tree-Rank
SIAM Journal on Computing | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3733285 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3711430 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3720381 (Why is no real title available?) | 1980-01-01 | Paper |
On acceptors of iteration languages
International Journal of Computer Mathematics | 1979-01-01 | Paper |
On recursion in ETOL systems
Journal of Computer and System Sciences | 1979-01-01 | Paper |
On ETOL systems with rank
Journal of Computer and System Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651767 (Why is no real title available?) | 1979-01-01 | Paper |
Persistent ETOL systems
Information Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646304 (Why is no real title available?) | 1978-01-01 | Paper |
On the effect of the finite index restriction on several families of grammars
Information and Control | 1978-01-01 | Paper |
On ETOL systems of finite index
Information and Control | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3562550 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3596266 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3562551 (Why is no real title available?) | 1976-01-01 | Paper |
