On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis
暂无分享,去创建一个
[1] Miguel Gómez-Zamalloa,et al. A Framework for Guided Test Case Generation in Constraint Logic Programming , 2012, LOPSTR.
[2] Rem W. Collier,et al. Evaluating Agent-Oriented Programs: Towards Multi-paradigm Metrics , 2010, ProMAS.
[3] J. Doyle,et al. IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming , 2003, PPPJ.
[4] Christophe Meudec. ATGen: automatic test data generation using constraint logic programming and symbolic execution † , 2001, Softw. Test. Verification Reliab..
[5] Maria Ganzha,et al. Software Metrics for Agent Technologies and Possible Educational Usage , 2016, SQAMIA.
[6] Costin Badica,et al. Integration of Jason Reinforcement Learning Agents into an Interactive Application , 2017, 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
[7] Yoav Shoham,et al. Essentials of Game Theory: A Concise Multidisciplinary Introduction , 2008, Essentials of Game Theory: A Concise Multidisciplinary Introduction.
[8] Hector J. Levesque,et al. Thinking as Computation: A First Course , 2012 .
[9] Costin Badica,et al. Modeling and Enactment of Business Agents Using Jason , 2016, SETN.
[10] Costin Badica,et al. A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason , 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
[11] Florin Leon,et al. Freight transportation broker agent based on constraint logic programming , 2018, Evol. Syst..
[12] Trevor T. Moores. Applying complexity measures to rule-based prolog programs , 1998, J. Syst. Softw..
[13] Kish Shen,et al. Under consideration for publication in Theory and Practice of Logic Programming , 2003 .
[14] Ching Y. Suen,et al. Measuring the complexity of rule-based expert systems , 1994 .
[15] Natarajan Shankar,et al. Software engineering and automated deduction , 2014, FOSE.
[16] Zoran Budimac,et al. Software agents: Languages, tools, platforms , 2011, Comput. Sci. Inf. Syst..
[17] Costin Badica,et al. An Approach of Temporal Difference Learning Using Agent-Oriented Programming , 2015, 2015 20th International Conference on Control Systems and Computer Science.
[18] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[19] Ricardo Aler,et al. SOFTWARE AND PERFORMANCE MEASURES FOR EVALUATING MULTI-AGENT FRAMEWORKS , 2005, Appl. Artif. Intell..
[20] James V. Hansen,et al. Model checking for E-business control and assurance , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[21] Costin Badica,et al. Multi‐agent modelling and simulation of graph‐based predator–prey dynamic systems: A BDI approach , 2018, Expert Syst. J. Knowl. Eng..
[22] Michael Wooldridge,et al. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .
[23] Kalliopi Kravari,et al. A Survey of Agent Platforms , 2015, J. Artif. Soc. Soc. Simul..
[24] Richard S. Sutton,et al. Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.