Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions. | 6 | 0.48 | 2014 |
Complexity of fuzzy answer set programming under Łukasiewicz semantics. | 8 | 0.52 | 2014 |
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming | 2 | 0.40 | 2014 |
Characterizing and extending answer set semantics using possibility theory. | 5 | 0.42 | 2013 |
Towards a deeper understanding of nonmonotonic reasoning with degrees | 0 | 0.34 | 2013 |
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains | 8 | 0.49 | 2012 |
Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. | 6 | 0.58 | 2012 |
A core language for fuzzy answer set programming | 5 | 0.40 | 2012 |
Weak and strong disjunction in possibilistic ASP | 7 | 0.48 | 2011 |
Expressiveness of communication in answer set programming. | 1 | 0.34 | 2011 |
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees | 2 | 0.35 | 2011 |
Modelling gene and protein regulatory networks with answer set programming. | 7 | 0.63 | 2011 |
Communicating ASP and the polynomial hierarchy | 2 | 0.37 | 2011 |
Aggregated Fuzzy Answer Set Programming | 2 | 0.36 | 2011 |
Reducing fuzzy answer set programming to model finding in fuzzy logics | 6 | 0.43 | 2011 |
Communicating Answer Set Programs | 3 | 0.37 | 2010 |
Efficient Solving of Time-dependent Answer Set Programs | 1 | 0.38 | 2010 |
Possibilistic Answer Set Programming Revisited | 1 | 0.36 | 2010 |
Answer Sets in a Fuzzy Equilibrium Logic | 6 | 0.40 | 2009 |
General Fuzzy Answer Set Programs | 15 | 0.58 | 2009 |
Fuzzy Answer Set Programming With Literal Preferences | 1 | 0.34 | 2009 |
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic | 1 | 0.38 | 2009 |
Modeling Protein Interaction Networks with Answer Set Programming | 11 | 0.67 | 2009 |
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories | 9 | 0.49 | 2008 |
Computing fuzzy answer sets using DLVHEX | 7 | 0.43 | 2007 |
Open answer set programming for the semantic web | 18 | 0.66 | 2007 |
Conditional planning with external functions | 12 | 0.52 | 2007 |
An introduction to fuzzy answer set programming | 32 | 0.99 | 2007 |
Open answer set programming with guarded programs | 19 | 0.77 | 2006 |
Fuzzy Answer Set Programming | 1 | 0.35 | 2006 |
Conceptual logic programs | 10 | 0.73 | 2006 |
Hierarchical decision making in multi-agent systems using answer set programming | 8 | 0.47 | 2006 |
Guarded open answer set programming with generalized literals | 3 | 0.41 | 2006 |
Intelligence Analysis Using Quantitative Preferences | 0 | 0.34 | 2005 |
Preferential reasoning on a web of trust | 3 | 0.60 | 2005 |
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs | 25 | 1.17 | 2005 |
Synthesis from temporal specifications using preferred answer set programming | 1 | 0.35 | 2005 |
An ordered logic program solver | 2 | 0.38 | 2005 |
Extending Conceptual Logic Programs with Arbitrary Rules | 1 | 0.37 | 2005 |
Guarded open answer set programming | 14 | 0.75 | 2005 |
Semantic Web Reasoning with Conceptual Logic Programs | 15 | 0.83 | 2004 |
Weighted Answer Sets and Applications in Intelligence Analysis. | 1 | 0.36 | 2004 |
On Programs with Linearly Ordered Multiple Preferences | 10 | 0.47 | 2004 |
Hierarchical Decision Making by Autonomous Agents | 1 | 0.35 | 2004 |
Integrating Semantic Web Reasoning and Answer Set Programming | 15 | 1.23 | 2003 |
Ordered Programs as Abductive Systems | 3 | 0.41 | 2003 |
Integrating Description Logics and Answer Set Programming | 7 | 0.64 | 2003 |
Order and Negation as Failure | 6 | 0.43 | 2003 |
Ordered Diagnosis | 5 | 0.44 | 2003 |
Using Preference Order in Ontologies | 2 | 0.52 | 2002 |