Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for model...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Janssen, Jeroen (Συγγραφέας), Schockaert, Steven (Συγγραφέας), Vermeir, Dirk (Συγγραφέας), de Cock, Martine (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Paris : Atlantis Press, 2012.
Σειρά:	Atlantis Computational Intelligence Systems, 5
Θέματα:	Computer science. Logic. Logic design. Computer logic. Computer simulation. Computer Science. Logics and Meanings of Programs. Logic Design. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Simulation Studies in Condensed-Matter Physics XVIII Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 /
Έκδοση: (2006)

Identification of Continuous-time Models from Sampled Data
Έκδοση: (2008)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)

Proceedings of the conference on European design automation
Έκδοση: (1994)

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /
Έκδοση: (2007)

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry /
ανά: Ferguson, Thomas Macaulay
Έκδοση: (2017)

Computational Intelligence in Fault Diagnosis
Έκδοση: (2006)

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings /
Έκδοση: (2005)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
Έκδοση: (2014)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Έκδοση: (2015)

Trust Networks for Recommender Systems
ανά: Victor, Patricia, κ.ά.
Έκδοση: (2011)

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Έκδοση: (2017)

Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /
Έκδοση: (2004)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /
Έκδοση: (2013)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Έκδοση: (2017)

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers
ανά: Cervantes, Leticia, κ.ά.
Έκδοση: (2016)

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Έκδοση: (2017)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
Έκδοση: (2016)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Έκδοση: (2017)

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Έκδοση: (2017)

Fundamentals of digital logic with VHDL design /
ανά: Brown, Stephen D.
Έκδοση: (2005)

Transactions on Computational Science XXIV Special Issue on Reversible Computing /
Έκδοση: (2014)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
Έκδοση: (2017)

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /
Έκδοση: (2016)

Design, Analysis and Test of Logic Circuits Under Uncertainty
ανά: Krishnaswamy, Smita, κ.ά.
Έκδοση: (2013)

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
ανά: Abe, Jair Minoro, κ.ά.
Έκδοση: (2015)

Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
Έκδοση: (2004)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
Έκδοση: (2007)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
ανά: Poernomo, Iman Hafiz, κ.ά.
Έκδοση: (2005)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Έκδοση: (2005)

Johan van Benthem on Logic and Information Dynamics
Έκδοση: (2014)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
Έκδοση: (2010)

Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers /
Έκδοση: (2009)

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
Έκδοση: (2011)

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
Έκδοση: (2007)

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Έκδοση: (2016)

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
Έκδοση: (2015)

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_66q6utrf61jemqs2aghcpf3udu