Knowledge representation, reasoning, and the design of intelligent agents : the answer-set programming approach / by Gelfond, Michael, Kahl, Yulia, 1970-

CONNECT

Efficient computation of argumentation semantics / by Liao, Beishui

Table of Contents: “…2.3.2.1 Admissible Labelling2.3.2.2 Complete Labelling; 2.3.2.3 Grounded Labelling and Preferred Labelling; 2.3.2.4 Stable Labelling and Semi-Stable Labelling; 2.3.2.5 Ideal Labelling and Eager Labelling; 2.3.3 Relations Between the Two Approaches; 2.3.4 Relations Between Different Semantics; 2.3.5 Status of Arguments; 2.4 Conclusions; References; 3 Existing Approaches for Computing Argumentation Semantics; 3.1 Introduction; 3.2 Approaches Based on Answer Set Programming; 3.2.1 Answer Set Programming; 3.2.1.1 Syntax; 3.2.1.2 Answer Set Semantics; 3.2.2 ASP for Argumentation.…”
CONNECT
CONNECT

Knowledge-based configuration : from research to business cases /

Table of Contents: “…6.4 Logic-Based Knowledge Representation6.4.1 First Order Logic (FOL); Configuration Task and Solution; Semantics of UML Configuration Models; Computer Configuration (Solution) in FOL; 6.4.2 Logic-Based Configuration; Answer Set Programming; Description Logics; Hybrid Configuration; 6.5 Comparison of Knowledge Representations; 6.5.1 Evaluation Criteria; 6.5.2 Comparison of Knowledge Representations; 6.6 Conclusion; Acknowledgments; References; 7 Conflict Detection and Diagnosis in Configuration; 7.1 Introduction; 7.2 Example; 7.3 Determining Minimal Conflict Sets.…”
CONNECT

Logical modeling of biological systems /

Table of Contents: “…Introduction; 2.2. Answer set programming at a glance; 2.3. Learn and control logical networks with ASP; 2.3.1. …”
CONNECT

Knowledge-based configuration : from research to business cases /

Table of Contents: “…6.4 Logic-Based Knowledge Representation6.4.1 First Order Logic (FOL); Configuration Task and Solution; Semantics of UML Configuration Models; Computer Configuration (Solution) in FOL; 6.4.2 Logic-Based Configuration; Answer Set Programming; Description Logics; Hybrid Configuration; 6.5 Comparison of Knowledge Representations; 6.5.1 Evaluation Criteria; 6.5.2 Comparison of Knowledge Representations; 6.6 Conclusion; Acknowledgments; References; 7 Conflict Detection and Diagnosis in Configuration; 7.1 Introduction; 7.2 Example; 7.3 Determining Minimal Conflict Sets.…”
CONNECT

Logical modeling of biological systems /

Table of Contents: “…Introduction; 2.2. Answer set programming at a glance; 2.3. Learn and control logical networks with ASP; 2.3.1. …”
CONNECT

Symbolic approaches to modeling and analysis of biological systems /

Table of Contents: “…Solving gap-filling problems with answer set programming -- 2.7.1. Model the Boolean activation of a reaction in ASP -- 2.7.2. …”
CONNECT

Uncertainty modeling in knowledge engineering and decision making : proceedings of the 10th International FLINS Conference, Istanbul, Turkey, 26-29 August 2012 /

Table of Contents: “…Moraes -- A novel class-attribute interdependency discretization algorithm / Hongliang Zheng, Li Zou, Deqin Yan -- The task of minimum cost flow finding in transportation networks in fuzzy conditions / Alexandr Bozhenyuk, Evgeniya Gerasimenko, Igor Rozenberg -- Path identifying in points-to analysis for Java with answer set programming / Yang Bo, Zhang Ying, Zhang Ming-Yi -- A heuristic based on multi objective linear programming under fuzziness for the vehicle routing problem / Gulcin Dinc Yalcin, Nihal Erginel -- Rank reversals and testing of pairwise comparisons based non- numerical rankings / Ryszard Janicki, Yun Zhai -- Modeling a boiling process by means of a Takagi-Sugeno-fuzzy-model / Daniel Fiss, Michael Wagenknecht, Rainer Hampel -- A new improved bat algorithm for fuzzy interactive multi-objective economic/emission dispatch with load and wind power uncertainty / Rasoul Azizipanah-Abarghooee, Taher Niknam -- Handling nonlinear large-scale problems with modified firefly algorithm / Bahman Bahmanifirouzi, Abdollah Kavousi Fard, Taher Niknam -- An efficient fuzzy programming approach to the vehicle routing problem with soft time windows / Sezgin Kilic, Sezgin Kaplan -- Enhance green supply chain management capability to develop an eco-friendly enterprise: a fuzzy QFD approach / Ching-Torng Lin -- Agent-based modelling and simulation through video observation analysis / Shahrol Mohamaddan, Keith Case -- A Bayesian framework for uncertainty formulation of engineering design process / M. …”
CONNECT