Information and Software Technologies
暂无分享,去创建一个
Xiaoyong Du | Simone Diniz Junqueira Barbosa | Xiaokang Yang | Robertas Damaševičius | Dominik Ślęzak | Alfredo Cuzzocrea | Ting Liu | Orhun Kara | Vilma Mikašytė
[1] Pierre Marquis,et al. Reasoning under inconsistency: A forgetting-based approach , 2010, Artif. Intell..
[2] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[3] Sebastian Herkel,et al. Grid-interactivity of a Solar Combined Heat and Power District Heating System , 2015 .
[4] Agostino Poggi,et al. Developing Multi-agent Systems with JADE , 2007, ATAL.
[5] Michele Zorzi,et al. The internet of energy: a web-enabled smart grid system , 2012, IEEE Network.
[6] Sang Joon Kim,et al. A Mathematical Theory of Communication , 2006 .
[7] Jürgen Gausemeier,et al. Design Methodology for Intelligent Technical Systems, Develop Intelligent Technical Systems of the Future , 2014, Design Methodology for Intelligent Technical Systems.
[8] Divyakant Agrawal,et al. Big data and cloud computing: current state and future opportunities , 2011, EDBT/ICDT '11.
[9] Guilin Qi,et al. Computing inconsistency measure based on paraconsistent semantics , 2011, J. Log. Comput..
[10] Lars K. Knutzen,et al. Conversion of Conventional District Heating Systems in the Ruhr-Metropolitan Area, Western Germany, by Stepwise Integration of Geothermal Sources , 2015 .
[11] Matthias Thimm,et al. On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture , 2017, KI - Künstliche Intelligenz.
[12] Vincent Lemort,et al. Techno-economic survey of Organic Rankine Cycle (ORC) systems , 2013 .
[13] N. Nakicenovic,et al. Long-term strategies for mitigating global warming☆ , 1993 .
[14] G. Ropohl. Allgemeine Technologie : Eine Systemtheorie der Technik , 2009 .
[15] E. Stefanakos,et al. A REVIEW OF THERMODYNAMIC CYCLES AND WORKING FLUIDS FOR THE CONVERSION OF LOW-GRADE HEAT , 2010 .
[16] Holger Giese,et al. Structured Information Processing for Self-Optimizing Mechatronic Systems , 2004, ICINCO.
[17] J. Luckel,et al. Generalization of the cascade principle in view of a structured form of mechatronic systems , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).
[18] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[19] Anthony Hunter,et al. On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..
[20] Jürgen Gausemeier,et al. Conceptual Design of Modularized Advanced Mechatronic Systems , 2009 .
[21] Steffen Stadtmüller,et al. Inconsistency-Tolerant Reasoning with Networked Ontologies , 2009 .
[22] Peter Friess,et al. Internet of Things Strategic Research Roadmap , 2011 .
[23] Teodor C. Przymusinski. Perfect Model Semantics , 1988, ICLP/SLP.
[24] Jürgen Gausemeier,et al. Architecture and Design Methodology of Self-Optimizing Mechatronic Systems , 2010 .
[25] Matthias Thimm,et al. Some Complexity Results on Inconsistency Measurement , 2016, KR.
[26] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[27] Jadran Vrabec,et al. THERMODYNAMIC SIMULATION AND EXPERIMENTAL VALDIATION OF A CASCADED TWO-STAGE ORGANIC RANKINE CYCLE , 2015 .
[28] Kevin Knight,et al. Measuring Inconsistency , 2002, J. Philos. Log..
[29] Benjamin Klöpper,et al. Selbstoptimierende Systeme des Maschinenbaus – Definitionen, Anwendungen, Konzepte. , 2008 .
[30] K. Popper. Objective Knowledge: An Evolutionary Approach , 1972 .
[31] David Ripley,et al. Paraconsistent Logic , 2015, J. Philos. Log..
[32] R. Reiter. On Closed World Data Bases , 1987, Logic and Data Bases.
[33] Jérôme Lang,et al. Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.
[34] Carsten Wolff,et al. Flexible and controllable ORC turbine for smart energy systems , 2016, 2016 IEEE International Energy Conference (ENERGYCON).
[35] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[36] Eliezer L. Lozinskii,et al. Information and evidence in logic systems , 1994, J. Exp. Theor. Artif. Intell..
[37] Matthias Neef,et al. Systematic Fluid Selection for Organic Rankine Cycles (ORC) and Performance Analysis for a Combined High and Low Temperature Cycle , 2015 .