Quantitative deduction and its fixpoint theory
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Stable semantics for probabilistic deductive databases
Information and Computation
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
Annotated nonmonotonic rule systems
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Uncertain deductive databases: a hybrid approach
Information Systems
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
On the Semantics of Rule-Based Expert Systems with Uncertainty
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Coherent Well-founded Annotated Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Modeling Uncertainty in Deductive Databases
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
A new approach to hybrid probabilistic logic programs
Annals of Mathematics and Artificial Intelligence
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
General Fuzzy Answer Set Programs
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Logic programs with uncertainties: a tool for implementing rule-based systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Incomplete knowledge in hybrid probabilistic logic programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Towards a more practical hybrid probabilistic logic programming framework
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
| Hi-index | 0.00 |
This paper extends fuzzy logic programs [12, 24] to allow the explicit representation of classical negation as well as non-monotonic negation, by introducing the notion of extended fuzzy logic programs. We present the fuzzy answer set semantics for the extended fuzzy logic programs, which is based on the classical answer set semantics of classical extended logic programs [7]. We show that the proposed semantics is a natural extension to the classical answer set semantics of classical extended logic programs [7]. Furthermore, we define fixpoint semantics for extended fuzzy logic programs with and without non-monotonic negation, and study their relationship to the fuzzy answer set semantics. In addition, we show that the fuzzy answer set semantics is reduced to the stable fuzzy model semantics for normal fuzzy logic programs introduced in [42]. The importance of that is computational methods developed for normal fuzzy logic programs can be applied to the extended fuzzy logic programs. Moreover, we show that extended fuzzy logic programs can be intuitively used for representing and reasoning about actions in fuzzy environment.